163
Voted
VLSID
2010
IEEE
15 years 19 days ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...