Академический Документы
Профессиональный Документы
Культура Документы
Introduction to ABV
Harry Foster
Chief Scientist Verification
info@verificationacademy.com | www.verificationacademy.com
Session Overview
Assertion-Based Verification
Conclusions
8.4 Verification
7.6
4.8 Engineers
4% 5%
47%
46%
Source: Wilson Research Group and Mentor Graphics, 2012 Functional Verification Study
Assertion-Based Verification
Conclusions
DUT
1. Activate
Stimulus
DUT
1. Activate
Stimulus 2. Propagate
A
DUT
0111010100111010101010000000001110101101101111011
1. Activate
A
A 3. Detect
Stimulus A 2. Propagate
Checkers
A = Assertions
bug
0
1 0
1
0
bug
A 0
1 0
1
0
Assertion-Based Verification
Conclusions
DUT
A
Trace from
simulation DUT
High-level
Architectural focused A
Can be part of testbench
// Assert that the FIFO controller
Low-level // cannot overflow nor underflow
Implementation focused
Embedded in or bind to the RTL
2014 Mentor Graphics Corporation, all rights reserved.
Who should create the assertions?
37%
Assertions 68%
40%
Functional coverage 71%
41%
Constrained-Random Simulation 62%
clk
grant0
reset_n
Arbiter grant1
req0
req1
// Assert that the grants for our simple arbiter are mutually exclusive
clk
grant0
reset_n
Arbiter grant1
req0
req1
Next Year
40%
20%
0%
OVL SVA PSL Synopsys OVA OTHER
Assertion Languages and Libraries
Wilson Research Group and Mentor Graphics, 2012 Functional Verification Study, Used with permission * Multiple answers possible
clk
grant0
grant1
error
assert property ( @(posedge clk) disable iff (rst_n) !(grant0 & grant1));
clk
grant0
grant1
error
clk
grant0
grant1
error
Assertion-Based Verification
Conclusions
Low-level
Form al Interface
Sim ulation
High-level
8 Sim + Assert
6 Sim + None
4
2
0
Formal Sim + Assert Sim + None
2014 Mentor Graphics Corporation, all rights reserved.
Outline
Assertion-Based Verification
Conclusions
Assertion-Based Design
Harry Foster, Adam Krolnik, David Lacey
Springer, 2004
Creating Assertion-Based IP
Harry Foster, Adam Krolnik
Springer, 2008
info@verificationacademy.com | www.verificationacademy.com