109
Voted
DSN
2006
IEEE
15 years 8 months ago
2006
IEEE
One of the main reasons for the difficulty of hardware verification is that hardware platforms are typically nondeterministic at clock-cycle granularity. Uninitialized state ele...