rolf drechsler

Grid   List

  1. Computer
    Computer
    Rolf Drechsler
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Sofort lieferbar
    Computer umgeben uns heute in fast allen Lebensbereichen. Sie erleichtern uns nicht nur als PC oder Laptop die Arbeit, sondern sind auch eingebettet in zahlreiche Objekte unseres täglichen Lebens -...
    19,99 €
    Alle Preise inkl. MwSt |ggf. zzgl. Versand
    In den Warenkorb Zum Merkzettel
  2. High Quality Test Pattern Generation and Boolean Satisfiability
    High Quality Test Pattern Generation and Boolean Satisfiability
    Stephan Eggersglüß
    Springer New York
    Ebook
    Sofort lieferbar
    This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT).  A fast and highly fa...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. 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
  4. Quality-Driven SystemC Design
    Quality-Driven SystemC Design
    Daniel Große
    Springer Netherlands
    Ebook
    Sofort lieferbar
    Faced with the steadily increasing complexity and rapidly shortening time-to-market requirements designing electronic systems is a very challenging task. To manage this situation effectively the le...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Towards a Design Flow for Reversible Logic
    Towards a Design Flow for Reversible Logic
    Robert Wille
    Springer Netherlands
    Ebook
    Sofort lieferbar
    The development of computing machines found great success in the last decades. But the ongoing miniaturization of integrated circuits will reach its limits in the near future. Shrinking transistor ...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. 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
  7. 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
  8. Debugging at the Electronic System Level
    Debugging at the Electronic System Level
    Frank Rogin
    Springer Netherlands
    Ebook
    Sofort lieferbar
    Debugging becomes more and more the bottleneck to chip design productivity, especially while developing modern complex integrated circuits and systems at the Electronic System Level (ESL). Today, d...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Formal Specification Level
    Formal Specification Level
    Mathias Soeken
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. Formal Modeling and Verification of Cyber-Physical Systems
    Formal Modeling and Verification of Cyber-Physical Systems
    Rolf Drechsler
    Springer Fachmedien Wiesbaden
    Ebook
    Sofort lieferbar
    This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to mo...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  11. Reversible and Quantum Circuits
    Reversible and Quantum Circuits
    Nabila Abdessaied
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This bookpresents a new optimization flow for quantum circuits realization. At thereversible level, optimization algorithms are presented to reduce the quantumcost. Then, new mapping approaches to ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  12. Automatic Methods for the Refinement of System Models
    Automatic Methods for the Refinement of System Models
    Julia Seiter
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
    9. ... >>>
<%--for search--%>