High Quality Test Pattern Generation and Boolean Satisfiability by Rolf Drechsle
115,73 €
Part I: Preliminaries and Previous Work. - Circuits and Testing. - Boolean Satisfiability. - ATPG Based on Boolean Satisfiability. - Part II: New SAT Techniques and their Application in ATPG. - Circuit-based Dynamic Learning.
Jetzt bei Ebay: