"Functional Verification for SystemC Descriptions Using Constraint Solving."

Fabrizio Ferrandi, Michele Rendine, Donatella Sciuto (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics