Rolf Drechsler Books
Evolutionary Algorithms for VLSI CAD
In VLSI CAD, difficult optimization problems have to be solved on a constant basis. Various optimization techniques have been proposed in the past. While some of these methods have been shown to wo...
Read More
Towards One Pass Synthesis
The design process of digital circuits is often carried out in individual steps, like logic synthesis, mapping, and routing. Since originally the complete process was too complex, it has been split...
Read More
Evolutionary Algorithms for VLSI CAD
In VLSI CAD, difficult optimization problems have to be solved on a constant basis. Various optimization techniques have been proposed in the past. While some of these methods have been shown to wo...
Read More
Formal Verification of Circuits
Formal verification has become one of the most important steps in circuit design. Since circuits can contain several million transistors, verification of such large designs becomes more and more di...
Read More
Towards One-Pass Synthesis
The design process of digital circuits is often carried out in individual steps, like logic synthesis, mapping, and routing. Since originally the complete process was too complex, it has been split...
Read More
