Verifying SystemC using an intermediate verification language and symbolic simulation.

Hoang Minh Le, Daniel Groe, Vladimir Herdt, Rolf Drechsler

Browse the full DAC paper archive.