Advanced Formal Verification by Drechsler

Advanced Formal Verification by Rolf Drechsler: New

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

Advanced Formal Verification 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

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

Neural Computers by Rolf Eckmiller (English) Paperback Book