Grid   List

  1. High Quality Test Pattern Generation and Boolean Satisfiability
    -0 %

    High Quality Test Pattern Generation and Boolean Satisfiability

    Ebook
    Sofort lieferbar

    This book provides an overview of automatic test pattern generation (ATPG) and introduces novel t...

    Unser bisheriger Preis:ORGPRICE: 111,56 €

    Jetzt 96,28 €
    Alle Preise inkl. MwSt
  2. Robustness and Usability in Modern Design Flows
    -0 %

    Robustness and Usability in Modern Design Flows

    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 111,41 €

    Jetzt 96,28 €
    Alle Preise inkl. MwSt
  3. Quality-Driven SystemC Design
    -0 %

    Quality-Driven SystemC Design

    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 112,18 €

    Jetzt 96,28 €
    Alle Preise inkl. MwSt
  4. Towards a Design Flow for Reversible Logic
    -0 %

    Towards a Design Flow for Reversible Logic

    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 111,41 €

    Jetzt 96,28 €
    Alle Preise inkl. MwSt
  5. Advanced BDD Optimization
    -0 %

    Advanced BDD Optimization

    Ebook
    Sofort lieferbar

    VLSI CADhas greatly bene?ted from the use of reduced ordered Binary Decision Diagrams (BDDs) and ...

    Unser bisheriger Preis:ORGPRICE: 161,96 €

    Jetzt 149,78 €
    Alle Preise inkl. MwSt
  6. Test Pattern Generation using Boolean Proof Engines
    -0 %

    Test Pattern Generation using Boolean Proof Engines

    Ebook
    Sofort lieferbar

    In Test Pattern Generation using Boolean Proof Engines, we give an introduction to AT...

    Unser bisheriger Preis:ORGPRICE: 111,93 €

    Jetzt 96,28 €
    Alle Preise inkl. MwSt
  7. Formal Specification Level
    -0 %

    Formal Specification Level

    Ebook
    Sofort lieferbar

    This book introduces a new level of abstraction that closes the gap between the textual specif...

    Unser bisheriger Preis:ORGPRICE: 111,56 €

    Jetzt 96,28 €
    Alle Preise inkl. MwSt
  8. Applications of Evolutionary Computing
    -0 %

    Applications of Evolutionary Computing

    Ebook
    Sofort lieferbar

    Evolutionary computation (EC) techniques are e?cient, nature-inspired pl- ning and optimization m...

    Unser bisheriger Preis:ORGPRICE: 118,99 €

    Jetzt 118,98 €
    Alle Preise inkl. MwSt
  9. Debugging at the Electronic System Level
    -0 %

    Debugging at the Electronic System Level

    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 112,18 €

    Jetzt 96,28 €
    Alle Preise inkl. MwSt
  10. Formal Modeling and Verification of Cyber-Physical Systems
    -0 %

    Formal Modeling and Verification of Cyber-Physical Systems

    Ebook
    Sofort lieferbar

    This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design...

    Unser bisheriger Preis:ORGPRICE: 56,18 €

    Jetzt 53,48 €
    Alle Preise inkl. MwSt
  11. Binary Decision Diagrams
    -0 %

    Binary Decision Diagrams

    Ebook
    Sofort lieferbar

    For someone with a hammer the whole world looks like a nail. Within the last 10-13 years Binar*y ...

    Unser bisheriger Preis:ORGPRICE: 161,42 €

    Jetzt 161,41 €
    Alle Preise inkl. MwSt
  12. Evolutionary Algorithms for Embedded System Design
    -0 %

    Evolutionary Algorithms for Embedded System Design

    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 111,64 €

    Jetzt 111,63 €
    Alle Preise inkl. MwSt