Interactive presentation: Implementation of a transaction level assertion framework in SystemC.

Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Michael Hull

Browse the full DATE paper archive.