YOU ARE DOWNLOADING DOCUMENT

Please tick the box to continue:

Transcript
Page 1: Session 7 Systemverilog

SystemVerilog For Verification Training

Session 7

Sameh El-Ashry

Hardware Design Verification Engineer

Mentor-Graphics Egypt

Page 2: Session 7 Systemverilog

9 Oct 2015

Randomization & Constraints (2)

Page 3: Session 7 Systemverilog

9 Oct 2015

Constraint Block

Page 4: Session 7 Systemverilog

9 Oct 2015

Constraint Block Examples

Page 5: Session 7 Systemverilog

9 Oct 2015

Constraint Block : Overriding

Page 6: Session 7 Systemverilog

9 Oct 2015

Constraint Block : Iteration

Page 7: Session 7 Systemverilog

9 Oct 2015

Dynamic Constraint Changes

Page 8: Session 7 Systemverilog

9 Oct 2015

Dynamic Constraint Changes in SV

Page 9: Session 7 Systemverilog

9 Oct 2015

Constraint Block : Implication ( ->, if else )

Page 10: Session 7 Systemverilog

9 Oct 2015

Constraint Block : dist - 1

Page 11: Session 7 Systemverilog

9 Oct 2015

Constraint Block : dist - 2

Page 12: Session 7 Systemverilog

9 Oct 2015

randomize()

Page 13: Session 7 Systemverilog

9 Oct 2015

randomize() with

Page 14: Session 7 Systemverilog

9 Oct 2015

randomize() Inline Control

Page 15: Session 7 Systemverilog

9 Oct 2015

Non-OO Randomization

Page 16: Session 7 Systemverilog

9 Oct 2015

Random Variable Control

Page 17: Session 7 Systemverilog

9 Oct 2015

Constraint Control

Page 18: Session 7 Systemverilog

9 Oct 2015

Pre and Post Randomization

Page 19: Session 7 Systemverilog

9 Oct 2015

Page 20: Session 7 Systemverilog

9 Oct 2015

Random Case

Page 21: Session 7 Systemverilog

9 Oct 2015

Random Sequences

Page 22: Session 7 Systemverilog

9 Oct 2015

Weighted Random Sequences

Page 23: Session 7 Systemverilog

9 Oct 2015

Random Sequence Conditionals

Page 24: Session 7 Systemverilog

9 Oct 2015

Random Sequence Jumps

Page 25: Session 7 Systemverilog

9 Oct 2015

Lab for Session 6(Lab -)

Instructions:

Page 26: Session 7 Systemverilog

9 Oct 2015

(Lab) Simulation output


Related Documents