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

Exploiting PSL standard assertions in a theorem-proving-based verification environment. - Youngsik Kim; Parija Sule; Nazanin Mansouri (ACM Great Lakes Symposium on VLSI, 2005)