1
Advanced BDD Optimization [E-Book] /
2
Test Pattern Generation using Boolean Proof Engines [E-Book] /
3
Robustness and Usability in Modern Design Flows [E-Book] /