Nazanin Mansouri, Ranga Vemuri. Automated Correctness Condition Generation for Formal Verification of Synthesized RTL Designs. Formal Methods in System Design, 16(1):59-91, 2000.
No references recorded for this publication.
No citations of this publication recorded.