Parija Sule

Publication Activity (10 Years)

Years Active: 2004-2005
Publications (10 Years): 0

Publications

Youngsik Kim, Parija Sule, Nazanin Mansouri
Exploiting PSL standard assertions in a theorem-proving-based verification environment. ACM Great Lakes Symposium on VLSI (2005)
Anli He, Parija Sule, Youngsik Kim, Nazanin Mansouri
Exploiting OVL standard assertions in a theorem-proving-based verification environment. Circuits, Signals, and Systems (2004)