✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 411.512 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Creating Assertion-Based IP

Creating Assertion-Based IP

von Adam C. Krolnik und Harry D. Foster
Hardcover - 9780387366418
117,69 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 7 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Weitere Formate

Softcover - 9781441942180
117,69 €

Autorenfreundlich Bücher kaufen?!

Weitere Formate

Softcover - 9781441942180
117,69 €

Beschreibung

This book presents formal testplanning guidelines with examples focused on creating assertion-based verification IP. It demonstrates a systematic process for formal specification and formal testplanning, and also demonstrates effective use of assertions languages beyond the traditional language construct discussions

Note that there many books published on assertion languages (such as SystemVerilog assertions and PSL). Yet, none of them discuss the important process of testplanning and using these languages to create verification IP. This is the first book published on this subject.

Details

Verlag Springer US
Ersterscheinung 26. November 2007
Maße 23.5 cm x 15.5 cm
Gewicht 670 Gramm
Format Hardcover
ISBN-13 9780387366418
Auflage 2008
Seiten 318

Schlagwörter

Circuits and Systems, Computer-Aided Design (CAD), Computer-Aided Engineering (CAD - CAE) and Design, Electrical and Electronic Engineering, Electrical Engineering, Electronic Circuits and Systems, Elektrotechnik, Schaltkreise und Komponenten (Bauteile)