Search results for ‘Daniel Grosse,Rolf Drechsler’

Filter & Refine

      Cover image for Quality-Driven SystemC Design
      Paperback
      Add to list Added to list

      Quality-Driven SystemC Design

      Daniel Grosse,Rolf Drechsler

      A quality-driven design and verification flow for digital systems is developed and presented in Quality-Driven SystemC Design. The new flow distinguishes three levels of abstraction (namely system level, top level…

      $276.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Quality-Driven SystemC Design
      Hardback
      Add to list Added to list

      Quality-Driven SystemC Design

      Daniel Grosse,Rolf Drechsler

      A quality-driven design and verification flow for digital systems is developed and presented in Quality-Driven SystemC Design. The new flow distinguishes three levels of abstraction (namely system level, top level…

      $276.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems
      Hardback
      Add to list Added to list

      Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems

      This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical…

      $276.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
      Paperback
      Add to list Added to list

      Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test

      Arun Chandrasekharan,Daniel Grosse,Rolf Drechsler

      This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The authors address the important facets of approximate computing hardware design…

      $138.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
      Hardback
      Add to list Added to list

      Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test

      Arun Chandrasekharan,Daniel Grosse,Rolf Drechsler

      This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The authors address the important facets of approximate computing hardware design…

      $138.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
      Hardback
      Add to list Added to list

      Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

      Vladimir Herdt,Daniel Grosse,Rolf Drechsler

      This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow.

      $325.99

      Available to order, ships in 7-14 daysAvailable to order

      Paperback
      Add to list Added to list

      Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

      Vladimir Herdt,Daniel Grosse,Rolf Drechsler

      This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow.

      $214.99

      Available to order, ships in 7-14 daysAvailable to order

      Hardback
      Add to list Added to list

      Enhanced Virtual Prototyping for Heterogeneous Systems

      Muhammad Hassan,Daniel Grosse,Rolf Drechsler

      This book describes a comprehensive combination of methodologies that enhance strongly the modern Virtual Prototype (VP)-based verification flow for heterogeneous systems-on-chip (SOCs).

      $276.99

      Available to order, ships in 7-14 daysAvailable to order

      Hardback
      Add to list Added to list

      Verbessertes virtuelles Prototyping: Mit RISC-V-Fallstudien

      Vladimir Herdt,Daniel Grosse,Rolf Drechsler

      Die Autoren legen den Schwerpunkt auf automatisierte formale Verifikationsmethoden sowie auf fortgeschrittene, abdeckungsgeleitete Analyse- und Testtechniken, die auf SystemC-basierte VP und die zugehoerige Software (SW) zugeschnitten sind.

      $227.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Information Storage: A Multidisciplinary Perspective
      Hardback
      Add to list Added to list

      Information Storage: A Multidisciplinary Perspective

      This book examines some of the underlying processes behind different forms of information management, including how we store information in our brains, the impact of new technologies such as computers…

      $276.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Information Storage: A Multidisciplinary Perspective
      Paperback
      Add to list Added to list

      Information Storage: A Multidisciplinary Perspective

      This book examines some of the underlying processes behind different forms of information management, including how we store information in our brains, the impact of new technologies such as computers…

      $276.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Test Pattern Generation using Boolean Proof Engines
      Paperback
      Add to list Added to list

      Test Pattern Generation using Boolean Proof Engines

      Rolf Drechsler,Stephan Eggersgluss,Goerschwin Fey,Daniel Tille

      In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The chapters of the book cover efficient instance generation, encoding of multiple-valued logic, usage of various…

      $276.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Test Pattern Generation using Boolean Proof Engines
      Hardback
      Add to list Added to list

      Test Pattern Generation using Boolean Proof Engines

      Rolf Drechsler,Stephan Eggersgluss,Goerschwin Fey,Daniel Tille

      In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The chapters of the book cover efficient instance generation, encoding of multiple-valued logic, usage of various…

      $276.99

      Available to order, ships in 7-14 daysAvailable to order