5 works on record
Robustness and Usability in Modern Design Flows
Advanced BDD Optimization
Debug Automation from Pre-Silicon to Post-Silicon
Test Pattern Generation using Boolean Proof Engines
Test Digitaler Schaltkreise