Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
    See More
  • General Material Designation
    See More
  • Location
    See More
  • Language
    See More
Found 2 from your keywords: author=Große, Daniel
cover
Enhanced Virtual Prototyping
Comment Share
Drechsler, RolfHerdt, VladimirGroße, Daniel

This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques, tailored for SystemC-based VPs and also the associated Software (SW). Coverage also includes VP modeling techniques that handle fun…

Edition
1
ISBN/ISSN
978-3-030-54828-5
Collation
xxi, 247p.:Ill.
Series Title
-
Call Number
005.3 Her e
cover
Design Automation Techniques for Approximation Circuits
Comment Share
Drechsler, RolfGroße, DanielChandrasekharan,Arun

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 - from formal verification and error guarantees to synthesis and test of approximation systems. They provide algorithms and methodologies based on classical formal verificat…

Edition
1
ISBN/ISSN
978-3-319-98965-5
Collation
XIX, 130p.:Ill
Series Title
-
Call Number
004.21 Cha d