dummies
 

Suchen und Finden

Titel

Autor/Verlag

Inhaltsverzeichnis

Nur ebooks mit Firmenlizenz anzeigen:

 

Creating Assertion-Based IP

Creating Assertion-Based IP

Harry D. Foster, Adam C. Krolnik

 

Verlag Springer-Verlag, 2007

ISBN 9780387683980 , 318 Seiten

Format PDF

Kopierschutz Wasserzeichen

Geräte

106,99 EUR

  • Rhythm and Transforms
    A History of Thermodynamics - The Doctrine of Energy and Entropy
    Progress in Ultrafast Intense Laser Science I
    Physics of Classical Electromagnetism
    Advances in Solid State Physics 46
    Micromachined Thin-Film Sensors for SOI-CMOS Co-Integration
    Constructal Theory of Social Dynamics
    Tensors - The Mathematics of Relativity Theory and Continuum Mechanics
  • Next Generation Intelligent Optical Networks - From Access to Backbone
    Econophysics of Markets and Business Networks
    Time-Resolved Spectroscopy in Complex Liquids - An Experimental Perspective
    Physics of Automatic Target Recognition
    Phase Transitions of Simple Systems
    Quantum Theory of Conducting Matter - Newtonian Equations of Motion for a Bloch Electron
    Mechatronics and Machine Vision in Practice
    Semiclassical Dynamics and Relaxation
 

 

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.