Кхм... Он как раз очень эффективное описание поведенческой логики и позволяет делать. Именно поведенческой. Отдельные любители тестируют (симуляция) RTOS под управлением SystemC - там удается полностью описать поведение системы с привязкой к "реальному времени".