• Produktbild: Equivalence Checking of Digital Circuits
  • Produktbild: Equivalence Checking of Digital Circuits

Equivalence Checking of Digital Circuits Fundamentals, Principles, Methods

Fr. 192.00

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.12.2010

Abbildungen

XIII, 263 p.

Verlag

Springer Us

Seitenzahl

263

Maße (L/B/H)

23.5/15.5/1.6 cm

Gewicht

429 g

Auflage

Softcover reprint of the original 1st ed. 2004

Sprache

Englisch

ISBN

978-1-4419-5423-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.12.2010

Abbildungen

XIII, 263 p.

Verlag

Springer Us

Seitenzahl

263

Maße (L/B/H)

23.5/15.5/1.6 cm

Gewicht

429 g

Auflage

Softcover reprint of the original 1st ed. 2004

Sprache

Englisch

ISBN

978-1-4419-5423-7

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: Equivalence Checking of Digital Circuits
  • Produktbild: Equivalence Checking of Digital Circuits
  • Fundamentals.- Preliminaries.- Representation of Boolean and Pseudo Boolean Functions.- Equivalence Checking of Combinational Circuits.- Use of Canonical Data Structures.- SAT and ATPG Based Equivalence Checking.- Exploiting Similarities.- Checking Equivalence for Partial Implementations.- Permutation Independent Boolean Comparison.- Equivalence Checking of Sequential Circuits.- Formal Basics.- The Latch Correspondence Problem.