Logic Synthesis and Verification Using Testing Techniques
Artikelnummer: 978-1-4757-2572-8
Einband: PDF
Verfügbarkeit: Download, sofort verfügbar (Link per E-Mail)
1 Preliminaries.- 2 Combinational Atpg.- 3 Recursive Learning.- 4 AND/OR Reasoning Graphs.- 5 Logic Optimization.- 6 Logic Verification.- 7 Conclusions and Future Work.- References.