Exploiting OVL standard assertions in a theorem-proving-based verification environment. - Anli He; Parija Sule; Youngsik Kim; Nazanin Mansouri (Circuits, Signals, and Systems, 2004)