Advanced Formal Verification by Drechsler

Advanced Formal Verification by Rolf Drechsler (English) Hardcover Book

Advanced Formal Verification by Rolf Drechsler: New

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

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

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

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

Formal System Verification: State-Of The-Art and Future Trends by Rolf Drechsler