An efficient and portable scheduler for RTOS simulation and its certified integration to SystemC.

Hiroaki Nakamura, Naoto Sato, Naoshi Tabuchi

Browse the full DATE paper archive.