Exploiting PSL standard assertions in a theorem-proving-based verification environment.

Youngsik Kim Parija Sule Nazanin Mansouri Exploiting PSL standard assertions in a theorem-proving-based verification environment. 400-403 2005 conf/glvlsi/2005 ACM Great Lakes Symposium on VLSI http://doi.acm.org/10.1145/1057661.1057756 db/conf/glvlsi/glvlsi2005.html#KimSM05