SMT-based stimuli generation in the SystemC Verification library.

Robert Wille, Daniel Groe, Finn Haedicke, Rolf Drechsler

Browse the full FDL paper archive.