Reasoning in Boolean Networks (eBook)

Logic Synthesis and Verification Using Testing Techniques
Artikelnummer: 978-1-4757-2572-8
Einband: PDF
Verfügbarkeit: Download, sofort verfügbar (Link per E-Mail)
CHF 177.00
decrease increase

1 Preliminaries.- 2 Combinational Atpg.- 3 Recursive Learning.- 4 AND/OR Reasoning Graphs.- 5 Logic Optimization.- 6 Logic Verification.- 7 Conclusions and Future Work.- References.

1 Preliminaries.- 2 Combinational Atpg.- 3 Recursive Learning.- 4 AND/OR Reasoning Graphs.- 5 Logic Optimization.- 6 Logic Verification.- 7 Conclusions and Future Work.- References.

Schreiben Sie Ihre eigene Bewertung
  • Nur registrierte Benutzer können Produkte bewerten
*
*
Schlecht
Sehr gut
*
*
*
*
VerlagSpringer US
EinbandPDF
Erscheinungsjahr2013
Seitenangabe230 S.
AusgabekennzeichenEnglisch
AbbildungenXVI, 230 p.
Masse19'047 KB
PlattformPDF
ReiheFrontiers in Electronic Testing
AutorKunz, Wolfgang / Stoffel, Dominik

Alle Bände der Reihe "Frontiers in Electronic Testing"

Weitere Titel von Wolfgang Kunz

Produktbewertungen
Nur registrierte Benutzer können Produkte bewerten