Logging utilities for SystemC