Anli He

Publication Activity (10 Years)

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

Publications

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