A framework for embedded system specification under different models of computation in SystemC.

Fernando Herrera, Eugenio Villar

Browse the full DAC paper archive.