Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Creating Assertion-Based IP

Creating Assertion-Based IP

Foster, Harry D.
Krolnik, Adam C.

Hardcover

Series: Integrated Circuits and Systems

Technology & Engineering

ISBN10: 0387366415
ISBN13: 9780387366418
Publisher: Springer Nature
Published: Nov 26 2007
Pages: 318
Weight: 1.51
Height: 1.04 Width: 6.08 Depth: 9.46
Language: English

A project's functional verification testplan is the specification for the verification process. Developing this testplan usually involves the entire engineering team (architects, designers, and verification engineers). This book presents formal testplanning guidelines with examples focused on creating assertion-based verification IP. This is the first book published on this subject. 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.

Also in

Technology & Engineering

View All