5 books • 1 series
Debug Automation from Pre-Silicon to Post-Silicon
Test digitaler Schaltkreise
Test Pattern Generation using Boolean Proof Engines
Robustness and Usability in Modern Design Flows
Advanced BDD Optimization (Springer Series in Soviet Mathematics)