- 5 resultaten
laagste prijs: € 100,92, hoogste prijs: € 117,43, gemiddelde prijs: € 108,83
1
Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring - Zeljko Zilic, Marc Boulé
bestellen
bij buchfreund.de
€ 117,43
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Zeljko Zilic, Marc Boulé:

Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring - nieuw boek

2010, ISBN: 9789048179220

Kartoniert, 300 Seiten, 235mm x 155mm x 17mm, Sprache(n): eng Efficient synthesis of assertion checkers for the main assertion languages (PSL and SVA) Applications in verification, emula… Meer...

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES Buch- und Medienhandel, 14621 Schönwalde-Glien
dichtslaan (X)
2
Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring - Boulé, Marc
bestellen
bij Amazon.de (Intern. Bücher)
€ 107,61
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link

Boulé, Marc:

Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring - pocketboek

2010, ISBN: 9789048179220

Mitwirkende: Zilic, Zeljko, Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2008, 300 Seiten, Publiziert: 2010-10-19T00:00:01Z, Produktgruppe: Buch, 0.94 kg, Inform… Meer...

Verzendingskosten:Auf Lager, Lieferung von Amazon. (EUR 0.00) Amazon.de
dichtslaan (X)
3
Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring - Boulé, Marc
bestellen
bij Amazon.de (Intern. Bücher)
€ 100,92
verzending: € 3,001
bestellen
Details aangeboden
Gesponsorde link
Boulé, Marc:
Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring - pocketboek

2010

ISBN: 9789048179220

Mitwirkende: Zilic, Zeljko, Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2008, 300 Seiten, Publiziert: 2010-10-19T00:00:01Z, Produktgruppe: Buch, 0.94 kg, Inform… Meer...

Verzendingskosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
dichtslaan (X)
4
Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring - Zilic, Zeljko; Boulé, Marc
bestellen
bij Achtung-Buecher.de
€ 111,22
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Zilic, Zeljko; Boulé, Marc:
Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring - pocketboek

2010, ISBN: 904817922X

gebonden uitgave

Softcover reprint of hardcover 1st ed. 2008 Kartoniert / Broschiert Compiler und Übersetzer, Theoretische Informatik, Emulator; assertioncheckers; assertion-basedautomata; hardwareverif… Meer...

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
dichtslaan (X)
5
Generating Hardware Assertion Checkers - Marc Boulé/ Zeljko Zilic
bestellen
bij Hugendubel.de
€ 106,99
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Marc Boulé/ Zeljko Zilic:
Generating Hardware Assertion Checkers - pocketboek

2008, ISBN: 9789048179220

*Generating Hardware Assertion Checkers* - For Hardware Verification Emulation Post-Fabrication Debugging and On-Line Monitoring. Softcover reprint of hardcover 1st ed. 2008 / Taschenbuch… Meer...

Verzendingskosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
dichtslaan (X)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
auteur:
Titel:
ISBN:

9789048179220


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.

Gedetalleerde informatie over het boek. - Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring


EAN (ISBN-13): 9789048179220
ISBN (ISBN-10): 904817922X
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer
300 Bladzijden
Gewicht: 0,456 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2011-02-03T20:03:28+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-01-22T01:41:10+01:00 (Amsterdam)
ISBN/EAN: 9789048179220

ISBN - alternatieve schrijfwijzen:
90-481-7922-X, 978-90-481-7922-0
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: boule, zeljko
Titel van het boek: hardware, asser, checker check check, checkers

Gegevens van de uitgever

Auteur: Marc Boulé; Zeljko Zilic
Titel: Generating Hardware Assertion Checkers - For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
Uitgeverij: Springer; Springer Netherland
280 Bladzijden
Verschijningsjaar: 2010-10-19
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
XX, 280 p.

BC; Hardcover, Softcover / Technik/Elektronik, Elektrotechnik, Nachrichtentechnik; Schaltkreise und Komponenten (Bauteile); Verstehen; Emulator; Hardware; assertion checkers; assertion-based verification; automata; hardware verification; integrated circuit; silicon debugging; verification; Electronic Circuits and Systems; Theory of Computation; Compilers and Interpreters; Theoretische Informatik; Compiler und Übersetzer; BB; EA

Assertions and the Verification Landscape.- Basic Techniques Behind Assertion Checkers.- PSL and SVA Assertion Languages.- Automata for Assertion Checkers.- Construction of PSL Assertion Checkers.- Enhanced Features and Uses of PSL Checkers.- Evaluating and Verifying PSL Assertion Checkers.- Checkers for SystemVerilog Assertions.- Conclusions and Future Work.
Efficient synthesis of assertion checkers for the main assertion languages (PSL and SVA) Applications in verification, emulation, post-fabrication debugging, on-line monitoring, with a unique “under-the-hood” view A missing link between the literature on assertion languages and pre-made checker libraries Extensive benchmarks and verification of assertion checkers, with examples of real-world circuit checkers Comprehensive background on hardware assertion languages, temporal logic and finite automata

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9789048117611 Generating Hardware Assertion Checkers (Boul, Marc; Zilic, Zeljko)

< naar Archief...