Filtern nach
Filtern nach
Für die Filterung wurden keine Ergebnisse gefunden!
frontend/listing/product-box/box-basic.tpl
- Gebunden
- 200 Seiten
- Erschienen 1998
- -
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
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 work well in applications and have become...
160,49 €
frontend/listing/product-box/box-basic.tpl
- Gebunden
- 280 Seiten
- Erschienen 2004
- -
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today's verification tools and describe...
106,99 €
- Handgeprüft
- Schnelle Lieferung
- Günstig
frontend/listing/product-box/box-basic.tpl
- Gebunden
- 192 Seiten
- Erschienen 2009
- Springer-Verlag GmbH
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The basic concept and classical ATPG algorithms are reviewed. Then, the formulation as a SAT problem is considered. As the underlying engine, modern...
149,99 €
frontend/listing/product-box/box-basic.tpl
- Gebunden
- 182 Seiten
- Erschienen 2017
- Springer-Verlag GmbH
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic...
128,39 €