1-5 of 5 Books

Higher-Level Hardware Synthesis
By Richard Sharp

Hardware and software
By International Haifa Verification Conference (4th 2008 Haifa, Israel)

Test pattern generation using Boolean proof engines
By Rolf Drechsler

Hardware and Software: Verification and Testing
By Kedar S. Namjoshi