5 books • 2 series
Secure Processors Part I (Foundations and Trends in Electronic Design Automation)
Secure Processors Part II (Foundations and Trends in Electronic Design Automation)
Computer-Aided Design Techniques for Low Power Sequential Logic Circuits (The Springer International Series in Engineering and Computer Science, #387)
Logic Synthesis
Sequential Logic Testing and Verification (The Springer International Series in Engineering and Computer Science, #163)