KI-Beratung Beta

  • Produktbild: Verification by Error Modeling
  • Produktbild: Verification by Error Modeling
Band 25

Verification by Error Modeling Using Testing Techniques in Hardware Verification

97,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.12.2010

Abbildungen

XV, 216 p.

Verlag

Springer Us

Seitenzahl

216

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

365 g

Auflage

2003

Sprache

Englisch

ISBN

978-1-4419-5402-2

Beschreibung

Rezension

From the reviews:



"This monograph presents, as its main contribution, methods to gain more confidence in verification by simulation. … The methods presented in this book may be suitable to verify gate level circuits which may have small modifications after automatic optimization or some manual interaction." (Reiner Kolla, Zentralblatt MATH, Vol. 1049 (24), 2004)

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.12.2010

Abbildungen

XV, 216 p.

Verlag

Springer Us

Seitenzahl

216

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

365 g

Auflage

2003

Sprache

Englisch

ISBN

978-1-4419-5402-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Verification by Error Modeling
  • Produktbild: Verification by Error Modeling
  • Boolean Function Representations.- Don’t Cares and Their Calculation.- Testing.- Design Error Models.- Design Verification by At.- Identifying Redundant Gate and Wire Replacements.- Conclusions and Future Work.