[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 4762 || Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL Descriptions

✍ Scribed by Namjoshi, Kedar S.; Yoneda, Tomohiro; Higashino, Teruo; Okamura, Yoshio

• Book ID: 120259226
• Publisher: Springer Berlin Heidelberg
• Year: 2007
• Weight: 305 KB
• Category: Article
• ISBN: 3540755950
• DOI: 10.1007/978-3-540-75596-8_11