Improving simulation-based verification by means of formal methods.

Grschwin Fey, Rolf Drechsler

Browse the full ASPDAC paper archive.