[UVM actual battle== > episode_3] ~ assertion, sequence, property

1. Assertion

1.1 summary

Assertion, Called assertion . It is mainly used to compare with the design function and timing .

1.2 effect

1.3 Assertion coverage

1.4 classification

1.4.1 Immediate Assertion

1.4.2 Parallel assertion

1.5 Assertion、property and sequence difference

2. Sequence

2.1 Basic operators

2.2 and The operator

2.3 intersect Operation symbol

2.4 or The operator

2.5 application

2.6 first_match Operation symbol

2.7 throughout Operation symbol

2.8 within Operation symbol

2.9 if Operation symbol

2.10 ended The operator

2.11 local variable

2.12 Calling method

2.13 Access sampling method

2.14 Systems and methods

3. Property

3.1 summary

3.2 Clock declaration

3.3 binding bind

3.4 expect sentence