165
click to vote
GLVLSI
2009
IEEE
15 years 20 days ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...