Constraint-Based Random Stimuli Generation for Hardware Verification.

Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek

Browse the full AAAI paper archive.