Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Generating Hardware Assertion Checkers

Name: Generating Hardware Assertion Checkers
Brand: Springer-Verlag New York Inc.
SKU: 01418451
Price: 109.29 EUR
Availability: InStock
Author: Marc Boule
ISBN: 9781402085857

For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring

Marc Boule

Zeljko Zilic

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01418451

Verlag Springer-Verlag New York Inc., Juni 2008

Assertion-based design is a powerful new paradigm that is facilitating quality improvement in electr... Vollständige Beschreibung

Libristo-Code: 01418451

267 b

109.29 € inkl. MwSt.

Externes Lager Wir versenden in 10-16 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

La bonne soupe L. Roberts

Broschur

19.59 €

Maľuj a strihaj Dopravné prostriedky

Broschur

5.49 €

Elektronische Zahlungssysteme - Verbreitung und Akzeptanz im B2C Bereich Stephanie Kretschmar

Broschur

47.95 €

En Equipo.es 2 Intermedio B1 Libro del profesor Ana Zaragoza

Broschur

25.89 €

Problemfelder bei der Gestaltung von internationalen Forschungs- und Entwicklungsverträgen

Broschur

47.95 €

Rainer Maria Rilke, Gesammelte Werke Rainer Maria Rilke

Hardcover

12.95 €

Die Gitarre, m. Audio-CD Stefan Sell

Hardcover

19.95 €

Brown Bear, Brown Bear, What Do You See? (Hindi & English) Bill Martin

Broschur

13.99 €

333 Origami - Farbenfeuerwerk: Alcohol Ink

Broschur

12.00 €

Mapy sensu Peterson Jordan B.

Hardcover

21.99 €

Dynamite Trails - Vom Ortler zum Pasubio Ralf Glaser

Broschur

29.80 €

Lune Seule Le Sait Johan Heliot

Broschur

9.79 €

Trompe-L'Oeil Patricia Cornwell

Broschur

9.49 €

MOSAICOS DISNEY

Hardcover

10.49 €

Padiatrie Christian P. Speer

Hardcover

159.99 €

Rudolf Steiner als Architekt von Wohn- und Zweckbauten Erich Zimmer

Hardcover

29.00 €

Daily Hassles und Daily Uplifts von Schülerinnen und Schülern im Primarbereich Olga Ritter

Broschur

47.95 €

Assertion-based design is a powerful new paradigm that is facilitating quality improvement in electronic design. Assertions are statements used to describe properties of the design (I.e., design intent), that can be included to actively check correctness throughout the design cycle and even the lifecycle of the product. With the appearance of two new languages, PSL and SVA, assertions have already started to improve verification quality and productivity.§This is the first book that presents an under-the-hood view of generating assertion checkers, and as such provides a unique and consistent perspective on employing assertions in major areas, such as: specification, verification, debugging, on-line monitoring and design quality improvement.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Generating Hardware Assertion Checkers

Autor Marc Boule, Zeljko Zilic

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2008

Anzahl der Seiten 280

EAN 9781402085857

ISBN 1402085850

Libristo-Code 01418451

Verlag Springer-Verlag New York Inc.

Gewicht 1320

Abmessungen 155 x 235 x 21

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Schaltkreise und Komponenten (Bauteile)

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Technologie, allgemein > Ingenieurswesen, Maschinenbau allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Informatik > Theoretische Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert