Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Generating Hardware Assertion Checkers

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

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Generating Hardware Assertion Checkers Marc Boule
Libristo-code: 01418451
Uitgeverij Springer-Verlag New York Inc., juni 2008
Assertion-based design is a powerful new paradigm that is facilitating quality improvement in electr... Volledige beschrijving
? points 290 b
119.78 €
In extern magazijn in kleine hoeveelheid Wordt binnen 13-18 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Brown Bear, Brown Bear, What Do You See? (Hindi & English) Bill Martin / Boek Gebonden (paperback)
common.buy 15.08 €
Problemfelder bei der Gestaltung von internationalen Forschungs- und Entwicklungsverträgen / Boek Gebonden (paperback)
common.buy 42.82 €
En Equipo.es 2 Intermedio B1 Libro del profesor Ana Zaragoza / Boek Gebonden (paperback)
common.buy 26.22 €
Maľuj a strihaj Dopravné prostriedky / Boek Gebonden (paperback)
common.buy 5.15 €
333 Origami - Farbenfeuerwerk: Alcohol Ink / Boek Gebonden (paperback)
common.buy 10.32 €
MOSAICOS DISNEY / Boek Gebonden (harde band)
common.buy 11.94 €
Mapy sensu Peterson Jordan B. / Boek Gebonden (harde band)
common.buy 27.94 €
La bonne soupe L. Roberts / Boek Gebonden (paperback)
common.buy 22.98 €
Trompe-L'Oeil Patricia Cornwell / Boek Gebonden (paperback)
common.buy 11.74 €
Lune Seule Le Sait Johan Heliot / Boek Gebonden (paperback)
common.buy 11.13 €
Dynamite Trails - Vom Ortler zum Pasubio Ralf Glaser / Boek Gebonden (paperback)
common.buy 32.09 €
Daily Hassles und Daily Uplifts von Schülerinnen und Schülern im Primarbereich Olga Ritter / Boek Gebonden (paperback)
common.buy 42.82 €
Die Gitarre, m. Audio-CD Stefan Sell / Boek Gebonden (harde band)
common.buy 11.94 €
Elektronische Zahlungssysteme - Verbreitung und Akzeptanz im B2C Bereich Stephanie Kretschmar / Boek Gebonden (paperback)
common.buy 42.82 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Generating Hardware Assertion Checkers
Auteur Marc Boule, Zeljko Zilic
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2008
Aantal pagina's 280
EAN 9781402085857
ISBN 1402085850
Libristo-code 01418451
Uitgeverij Springer-Verlag New York Inc.
Gewicht 1320
Afmetingen 155 x 235 x 21

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Elektronica: stroomketens en componenten
Technologie, techniek, landbouw, industriële processen > Technologie: algemene onderwerpen > Techniek: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Introduction to Fuzzy Logic using MATLAB S.N. Sivanandam / Boek Gebonden (paperback)
common.buy 208.59 €
Arts and Crafts Objects Imogen Hart / Boek Gebonden (paperback)
common.buy 31.18 €
Contre-Jour Gabriel Josipovici / Boek Gebonden (paperback)
common.buy 14.88 €
Contesting Secularism Anders Berg-Sorensen / Boek Gebonden (harde band)
common.buy 235.22 €
The Silver Spoon Quick and Easy Italian Recipes Silver Spoon / Boek Gebonden (harde band)
common.buy 27.13 €
The Collected Prose: 1948-1998 Zbigniew Herbert / Boek Gebonden (harde band)
common.buy 28.85 €
Consent and Control in the Authoritarian Workplace Martin Krzywdzinski / Boek Gebonden (harde band)
common.buy 131.73 €
Earthwork and Retaining Walls Horace R Thayer / Boek Gebonden (paperback)
common.buy 27.84 €
Foresters Tennyson Alfred Tennyson / Boek Gebonden (paperback)
common.buy 16.19 €
TOP
That Time I Got Reincarnated as a Slime, Vol. 2 (light novel) Fuse / Boek Gebonden (paperback)
common.buy 11.33 €
Imagined Mobility Michiel Baas / Boek Gebonden (harde band)
common.buy 126.36 €
Overstory Richard Powers / Boek Gebonden (paperback)
common.buy 19.23 €
TOP
The Star Tarot Cathy McClelland / Drukwerk Speelkaarten
common.buy 26.82 €
The Other Fellow F. Hopkinson Smith / Boek Gebonden (paperback)
common.buy 22.67 €
Last Revolutionaries Laura Mason / Boek Gebonden (harde band)
common.buy 30.87 €
The Chemical Elements in Nature Frank Henry Day / Boek Gebonden (paperback)
common.buy 25.10 €
TOP
Japan's Holocaust: History of Imperial Japan's Mass Murder and Rape During World War II Richard Frank / Boek Gebonden (harde band)
common.buy 17.31 €
Offa's Dyke Path Keith Carter / Boek Gebonden (paperback)
common.buy 17.10 €
Revolt in Athens John O. Iatrides / Boek Gebonden (harde band)
common.buy 133.05 €
Diving into the Wreck Adrienne Rich / Boek Gebonden (paperback)
common.buy 12.85 €
Applying Complexity Theory Aaron Pycroft / Boek Gebonden (harde band)
common.buy 117.15 €
British Gothic Cinema Barry Forshaw / Boek Gebonden (paperback)
common.buy 55.79 €
TOP
The Dream Thieves Maggie Stiefvater / Boek Gebonden (paperback)
common.buy 8.60 €
Girl Behind the Curtain Stella Knightley / Boek Gebonden (paperback)
common.buy 12.65 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?