A Temporal Language for SystemC.

Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman

Browse the full FMCAD paper archive.