Parija Sule

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

2 Youngsik Kim, Parija Sule, Nazanin Mansouri: Exploiting PSL standard assertions in a theorem-proving-based verification environment. ACM Great Lakes Symposium on VLSI 2005: 400-403

2004

1 Anli He, Parija Sule, Youngsik Kim, Nazanin Mansouri: Exploiting OVL standard assertions in a theorem-proving-based verification environment. Circuits, Signals, and Systems 2004: 249-254

	2005
2		Youngsik Kim, Parija Sule, Nazanin Mansouri: Exploiting PSL standard assertions in a theorem-proving-based verification environment. ACM Great Lakes Symposium on VLSI 2005: 400-403
	2004
1		Anli He, Parija Sule, Youngsik Kim, Nazanin Mansouri: Exploiting OVL standard assertions in a theorem-proving-based verification environment. Circuits, Signals, and Systems 2004: 249-254

Coauthor Index