2004
Exploiting OVL standard assertions in a theorem-proving-based verification environment.
Anli He
,
Parija Sule
,
Youngsik Kim
,
Nazanin Mansouri
Proceedings of the Second IASTED International Conference on Circuits, 2004