görschwin fey

Grid   List

  1. Test digitaler Schaltkreise
    Test digitaler Schaltkreise
    Stephan Eggersglüß
    De Gruyter Oldenbourg, De Gruyter Oldenbourg
    Taschenbuch
    Sofort lieferbar
    Eingebettete Systeme übernehmen zentrale Steueraufgaben im täglichen Leben. In der Energieversorgung oder im Transportwesen würde ein Ausfall der Systeme fatale Auswirkungen haben. Der Nutzer ve...
    89,95 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  2. Robustness and Usability in Modern Design Flows
    Robustness and Usability in Modern Design Flows
    Görschwin Fey
    Springer Netherlands
    Ebook
    Sofort lieferbar
    The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up with this development. Therefore today's design f...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Advanced BDD Optimization
    Advanced BDD Optimization
    Rudiger Ebendt
    Springer US
    Ebook
    Sofort lieferbar
    VLSI CADhas greatly bene?ted from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of Boolean Satis?ability (SAT), e.g. in logic synthesis, ver...
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Test Pattern Generation using Boolean Proof Engines
    Test Pattern Generation using Boolean Proof Engines
    Rolf Drechsler
    Springer Netherlands
    Ebook
    Sofort lieferbar
    After producing a chip, the functional correctness of the integrated circuit has to be checked. Otherwise products with malfunctions would be delivered to customers, which is not acceptable for any...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Test digitaler Schaltkreise
    Test digitaler Schaltkreise
    Stephan Eggersglüß
    De Gruyter
    Ebook
    Sofort lieferbar
    Eingebettete Systeme übernehmen zentrale Steueraufgaben im täglichen Leben. In der Energieversorgung oder im Transportwesen würde ein Ausfall der Systeme fatale Auswirkungen haben. Der Nutzer verlä...
    89,95 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Test digitaler Schaltkreise
    Test digitaler Schaltkreise
    Stephan Eggersglüß
    De Gruyter
    Ebook
    Sofort lieferbar
    Eingebettete Systeme übernehmen zentrale Steueraufgaben im täglichen Leben. In der Energieversorgung oder im Transportwesen würde ein Ausfall der Systeme fatale Auswirkungen haben. Der Nutzer verlä...
    89,95 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Debug Automation from Pre-Silicon to Post-Silicon
    Debug Automation from Pre-Silicon to Post-Silicon
    Mehdi Dehbashi
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book describes automated debugging approaches for the bugs and the faults which appear in different abstraction levels of a hardware system. The authors employ a transaction-based debug approa...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Test Pattern Generation Using Boolean Proof Engines
    Test Pattern Generation Using Boolean Proof Engines
    Rolf Drechsler
    Springer
    Buch
    Bezug 11-15
    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 pro...
    125,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Robustness and Usability in Modern Design Flows
    Robustness and Usability in Modern Design Flows
    Rolf Drechsler
    Springer Netherlands, Springer Netherlands
    Taschenbuch
    Bezug 11-15
    The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up with this development. Therefore, today's design ...
    125,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Robustness and Usability in Modern Design Flows
    Robustness and Usability in Modern Design Flows
    Görschwin Fey
    Springer
    Buch
    Bezug 11-15
    The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up with this development. Therefore, today's design ...
    125,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Test Pattern Generation using Boolean Proof Engines
    Test Pattern Generation using Boolean Proof Engines
    Rolf Drechsler
    Springer Netherlands, Springer Netherlands
    Taschenbuch
    Bezug 11-15
    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 pro...
    125,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Advanced BDD Optimization
    Advanced BDD Optimization
    Rudiger Ebendt
    Springer US, Springer US
    Taschenbuch
    Bezug 11-15
    VLSI CADhas greatly bene?ted from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of Boolean Satis?ability (SAT), e.g. in logic synthesis, ver...
    184,13 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>