Advanced Formal Verification by Rolf Drechsler (English) Paperback Book

Advanced Formal Verification by Drechsler

Towards One-Pass Synthesis by Rolf Drechsler (English) Hardcover Book

Advanced Formal Verification by Rolf Drechsler: New

Evolutionary Algorithms for VLSI CAD by Rolf Drechsler (English) Hardcover Book

Quality-Driven SystemC Design by Rolf Drechsler (English) Hardcover Book

Formal Verification of Circuits by Rolf Drechsler (English) Hardcover Book

Formal System Verification: State-of the-Art and Future Trends by Rolf Drechsler