1 - 20 of 33 results for "Rolf Drechsler"

Title: Spectral Techniques in VLSI CAD / Edition 1, Author: Mitchell Aaron Thornton
Title: Test Pattern Generation using Boolean Proof Engines, Author: Rolf Drechsler
Title: Formal Verification of Circuits, Author: Rolf Drechsler
Title: Towards a Design Flow for Reversible Logic / Edition 1, Author: Robert Wille
Title: Evolutionary Algorithms for Embedded System Design / Edition 1, Author: Rolf Drechsler
Title: Debugging at the Electronic System Level, Author: Frank Rogin
Title: Test Pattern Generation using Boolean Proof Engines / Edition 1, Author: Rolf Drechsler
Title: High Quality Test Pattern Generation and Boolean Satisfiability, Author: Stephan Eggersgluss
Online Only
Reward Card: Get
$15
For Every $100 You Spend
Hurry, Offer Ends 8/27/17
See Details
Title: Formal Specification Level: Concepts, Methods, and Algorithms, Author: Mathias Soeken
Title: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015, Author: Rolf Drechsler
Title: Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015, Author: Rolf Drechsler
Title: Evolutionary Algorithms for VLSI CAD / Edition 1, Author: Rolf Drechsler
Title: Towards One-Pass Synthesis, Author: Rolf Drechsler
Title: High Quality Test Pattern Generation and Boolean Satisfiability, Author: Stephan Eggersgluss
Title: Binary Decision Diagrams: Theory and Implementation / Edition 1, Author: Rolf Drechsler
Title: Formal Verification of Circuits / Edition 1, Author: Rolf Drechsler
Title: Spectral Techniques in VLSI CAD, Author: Mitchell Aaron Thornton
Title: Advanced BDD Optimization, Author: Rudiger Ebendt
Title: Computer: Wie funktionieren Smartphone, Tablet & Co.?, Author: Rolf Drechsler
Title: Towards a Design Flow for Reversible Logic, Author: Robert Wille

Pagination Links