【sv】assert-2

assert相关，过程记录，持续更新

---

• 用途

• 类型

• 优势

• property的控制

• property defines position

• property exp and operator

• sequences overview

• sequences operater

• repeat operations

•  composition operators

• ##0

•  or

• and

•  intersect

•  within 

•  throughout

•  methods

•   ended

• matched 

•  trigger

•  sequence events

•  clocking event

•  $sampled

• $past

• clock sequence & multi-clocking

• multi-clocking

•  rules in multi-clocked sequence

•  multiple-clocked properties

•  clock flow

• assertion clock rules

•  single clocked assertions

•  sequence and properties in clocking blocks

•  multiple-clocked assertions

• SYSTEMVERILOG SCHEDULING SEMANTICS FOR ASSERTIONS

• data type

附：代码示例

1. use local var

2. if expr

3. local var

4. region

5. recursion

6. $  (unbounded)

7. sva in if

 

附：模块示例（fifo）