Sciweavers

ICCAD
2007
IEEE
86views Hardware» more  ICCAD 2007»
14 years 8 months ago
Stimulus generation for constrained random simulation
Constrained random simulation is the main workhorse in today’s hardware verification flows. It requires the random generation of input stimuli that obey a set of declaratively...
Nathan Kitchen, Andreas Kuehlmann