Formal verification an essential toolkit for modern VLSI design

Formal verification an essential toolkit for modern VLSI design

Weitere Versionen anzeigen (5)
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Seligman, Erik (VerfasserIn), Schubert, E. Thomas 1959- (VerfasserIn), Kumar, M. V. Achutha Kiran (VerfasserIn)
Format: Elektronisch E-Book
Sprache:English
Veröffentlicht: Waltham, MA Elsevier Science [2015]
Schlagworte:
Electronic circuits > Testing
Integrated circuits > Very large scale integration > Design and construction
Verilog (Computer hardware description language)
Verilog (Langage de description de matériel informatique)
Electronic circuits ; Testing
Integrated circuits ; Very large scale integration ; Design and construction
Online-Zugang:lizenzpflichtig
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Online

lizenzpflichtig

Ähnliche Einträge