Upload
kevin-cheng
View
33
Download
10
Embed Size (px)
Citation preview
System Verilog Primer
1) Cover Properties- printf and property checking (ie, fifo full)
2) Queues
3) Assertions- Immediate and concurrent assertions- Sequence - Sequence match- Property
4) Dynamic array - Deletion of array
5) Clocking blocks- Multiple clocks
6) Interfaces
7) Program block- Sequence of events
8) Interposes sync and communication- Semaphores
9) Data types class
Methodologya) Stimuli generation (Random generation)b) Checking (assertions, scoreboard)c) functional coverage (cover group, cover point)