- 5 resultaten
laagste prijs: € 78,91, hoogste prijs: € 120,31, gemiddelde prijs: € 101,13
1
Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Pos - Boule, Marc und Zeljko Zilic
bestellen
bij ebay.de
€ 120,31
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Boule, Marc und Zeljko Zilic:

Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Pos - gebruikt boek

2008, ISBN: 1402085850

2008, Umschlag leicht zerkratzt 4393607/12. Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring von Boule, Marc … Meer...

98.5, Zahlungsarten: Paypal, APPLE_PAY, Google Pay, Visa, Mastercard, American Express, Priority Listing. Verzendingskosten:Versandkostenfrei, Versand zum Fixpreis, [SHT: Expressversand], 14*** Trebbin, [TO: Deutschland, Großbritannien, Frankreich, Italien, Spanien, Österreich, Polen, Schweiz, Belgien] (EUR 0.00) buchpark
dichtslaan (X)
2
Generating Hardware Assertion Checkers: For Hardware Verification Emulation Post-Fabrication Debugging and On-Line Monitoring - 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: For Hardware Verification Emulation Post-Fabrication Debugging and On-Line Monitoring - pocketboek

2008, ISBN: 9781402085857

*Generating Hardware Assertion Checkers: For Hardware Verification Emulation Post-Fabrication Debugging and On-Line Monitoring* - For Hardware Verification Emulation Post-Fabrication Debu… Meer...

1402085850. Verzendingskosten:Shipping in 7 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
dichtslaan (X)
3
Generating Hardware Assertion Checkers - Marc Boulé Zeljko Zilic
bestellen
bij booklooker.de
€ 92,45
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Marc Boulé Zeljko Zilic:
Generating Hardware Assertion Checkers - eerste uitgave

2008

ISBN: 9781402085857

gebonden uitgave

[ED: Gebunden], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Efficient synthesis of assertion checkers for … Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
dichtslaan (X)
4
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: 9781402085857

*Generating Hardware Assertion Checkers* - For Hardware Verification Emulation Post-Fabrication Debugging and On-Line Monitoring. 2008 edition / gebundene Ausgabe für 106.99 € / Aus dem B… Meer...

Verzendingskosten:Shipping in 7 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
dichtslaan (X)
5
Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring 2008 - Marc Boule, Zeljko Zilic
bestellen
bij buchfreund.de
€ 78,91
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Marc Boule, Zeljko Zilic:
Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring 2008 - gebruikt boek

2008, ISBN: 9781402085857

2008 2008, Umschlag leicht zerkratzt 4393607/12 Versandkostenfreie Lieferung assertion-based, verification, Hardware, Emulator, hardware, silicon, debugging, assertion, checkers, integr… Meer...

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
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
auteur:
Titel:
ISBN:

9781402085857


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


EAN (ISBN-13): 9781402085857
ISBN (ISBN-10): 1402085850
Gebonden uitgave
pocket book
Verschijningsjaar: 2008
Uitgever: SPRINGER NATURE
280 Bladzijden
Gewicht: 0,567 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2008-05-26T22:38:05+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-03-09T00:53:49+01:00 (Amsterdam)
ISBN/EAN: 9781402085857

ISBN - alternatieve schrijfwijzen:
1-4020-8585-0, 978-1-4020-8585-7
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: boule, boul, zeljko
Titel van het boek: hard, line, hardware, debugging, emulation, émulation, asser, checker check check, assertiones, 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: 2008-07-03
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
XX, 280 p.

BB; 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; BC

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...