| |
| 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 | Youngsik Kim | [1] |
| 2 | Nazanin Mansouri | [1] |
| 3 | Parija Sule | [1] |