Random Stimuli Generation for Functional Hardware Verification as a CP Application.

Yehuda Naveh, Roy Emek

Browse the full CP paper archive.