Creating Assertion-Based IP

Creating Assertion-Based IP

von: Harry D. Foster, Adam C. Krolnik

Springer-Verlag, 2007

ISBN: 9780387683980 , 318 Seiten

Format: PDF

Kopierschutz: Wasserzeichen

Windows PC,Mac OSX Apple iPad, Android Tablet PC's

Preis: 130,89 EUR

  • Adaptive and Integrated Water Management - Coping with Complexity and Uncertainty
    Superplumes: Beyond Plate Tectonics
    Sediment Dynamics and Pollutant Mobility in Rivers - An Interdisciplinary Approach
    Particle-Laden Flow - From Geophysical to Kolmogorov Scales
    Submarine Mass Movements and Their Consequences - 3rd International Symposium
    Acid Rain - Deposition to Recovery
  • Assessing and Managing Earthquake Risk - Geo-scientific and Engineering Knowledge for Earthquake Risk Mitigation: developments, tools, techniques
    Advanced Air and Noise Pollution Control - Volume 2
    Contaminated Soils, Sediments and Water Volume 10 - Successes and Challenges
    Environmental Policy Analyses - Learning from the Past for the Future - 25 Years of Research
    The European Information Society - Leading the Way with Geo-information
    Handbook of Transdisciplinary Research
 

Mehr zum Inhalt

Creating Assertion-Based IP


 

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.