Minimal Stimuli Generation in Simulation-Based Verification.

Shuo Yang, Robert Wille, Daniel Groe, Rolf Drechsler

Browse the full DSD paper archive.