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

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.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: 97.89 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

240 b

97.89 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Mapy sensu Peterson Jordan B.

Hardcover

20.59 €

Elektronische Zahlungssysteme - Verbreitung und Akzeptanz im B2C Bereich Stephanie Kretschmar

Broschur

47.95 €

Maľuj a strihaj Dopravné prostriedky

Broschur

4.49 €

Die Gitarre, m. Audio-CD Stefan Sell

Hardcover

19.95 €

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

Broschur

24.59 €

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

Broschur

47.95 €

Rudolf Steiner als Architekt von Wohn- und Zweckbauten Erich Zimmer

Hardcover

29.00 €

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

Broschur

14.79 €

333 Origami - Farbenfeuerwerk: Alcohol Ink

Broschur

12.00 €

La bonne soupe L. Roberts

Broschur

23.49 €

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

Broschur

47.95 €

MOSAICOS DISNEY

Hardcover

10.49 €

Lune Seule Le Sait Johan Heliot

Broschur

9.79 €

Trompe-L'Oeil Patricia Cornwell

Broschur

11.99 €

Dynamite Trails - Vom Ortler zum Pasubio Ralf Glaser

Broschur

29.80 €

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