Computer umgeben uns heute in fast allen Lebensbereichen. Sie erleichtern uns nicht nur als PC od...

Dieses Buch beschreibt einen umfassenden Ansatz für die Synthese und Optimierung von Logic-in-Mem...

In diesem Buch werden mehrere neue Ansätze vorgestellt, die den Weg für die nächste Generation in...

Dieses Buch beschreibt eine umfassende Kombination von Methoden, die den modernen Virtual Prototy...

In VLSI CAD, difficult optimization problems have to be solvedon a constant basis. Various opti...

Debugging becomes more and more the bottleneck to chip design productivity, especially while deve...

Spectral Techniques in VLSI CAD have become a subject ofrenewed interest in the design automati...

Evolutionary Algorithms for Embedded System Design describes how Evolutionary Algorithm (EA) conc...

A quality-driven design and verification flow for digital systems is developed and presented in Q...

The size of technically producible integrated circuits increases continuously. But the ability to...

The development of computing machines found great success in the last decades. But the ongoing mi...

In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The basi...