๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[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

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES