| |
| 2005 | ||
|---|---|---|
| 2 | EE | 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 | |
| 1 | Anli He | [1] |
| 2 | Youngsik Kim | [1] [2] |
| 3 | Nazanin Mansouri | [1] [2] |