Parija Sule

According to our database, Parija Sule authored at least 2 papers between 2004 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

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

Youngsik Kim, Parija Sule, Nazanin Mansouri

Proceedings of the 15th ACM Great Lakes Symposium on VLSI 2005, 2005

2004

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

Anli He, Parija Sule, Youngsik Kim, Nazanin Mansouri

Proceedings of the Second IASTED International Conference on Circuits, 2004