SystemVerilog102TM Class On-Line
9 Lecture Sections, 33 Labs
Overview
SystemVerilog - the ratified hardware description and verification language (HDVL) standard - is a major extension of the established IEEE 1364-2001 Verilog language, and was developed by Accellera to dramatically improve productivity in the design of large gate count, IP-based, bus-intensive chips. SystemVerilog is targeted primarily at the chip implementation and verification flow, with powerful links to the system level design flow.
CBE is a Catalyst partner of Synopsys Inc. CBE has two SystemVerilog classes, SystemVerilog101TM and SystemVerilog102TM. The first class, SystemVerilog101TM, focuses on the design constructs in SystemVerilog. The second class SystemVerilog102TM, focuses on the verification constructs of SystemVerilog. SystemVerilog101TM has over 100 working lab/examples, all using new SystemVerilog constructs most useful in design. SystemVerilog102TM has over 30 working lab/examples, using the SystemVerilog constructs geared toward verification.
The SystemVerilog102TM class is available on-line for a duration of 90 days upon registration.
The labs are yours to download and keep. Unlike Verilog101TM, SystemVerilog101TM and SystemVerilog102TM comes with no simulator. You must have access to a SystemVerilog simulator.
Intended Audience
SystemVerilog102TM contains the constructs of SystemVerilog most often used by the verification engineer. The topics covered are needed by the design engineer as well however and the class is ideal for anyone needing to expand their knowledge into SystemVerilog.
Class Goals
The SystemVerilog102TM class contains:
· Immediate Assertion
· Concurrent Assertions
· Verification Flow Overview
· Scheduling
· Referencing a Sequence
· Formal Arguments- Sequence
· Concatenation
· Clock Range
· Extending a Sequence
· Consecutive Repetition
· Infinite Repetition
· Goto Repetition
· Non-consecutive Repetition
· Anding
· Intersecting
· Oring
· Throughout
· Within
· $rose
· $fell
· $stable
· First Match
· Ended
· Triggered
· Formal Argument-Property
· Overlapping Implication
· Non-overlapping Implication
· Inverting a Property
· $past
· disable iff
· Action Blocks
· Severity-$fatal
· $warning
· $error
· $info
· Cover
· Binding
Schedule
All CBE classes are self-paced. This schedule below is a suggestion based on a 90-day class. All labs contain a working solution. Each quiz is self-grading.
| Time | Topics | Labs and Quizzes |
| Week 1 | Assertions | Labs 1,2 |
| Week 2 | Scheduling, Referencing a Sequence | Labs 3,4, Quiz 1 |
| Week 3 | Formal Arguments - Sequence, Concatenation, Range | Labs 5-7 |
| Week 4 | Extending A Sequence, Consecutive Repetition, Infinite Repetition, Goto Repetition, Non-Consecutive Repetition | Lab 8-11 |
| Week 5 | Anding, Intersecting, Oring, Throughout, Within | Labs 12-16, Quiz 2 |
| Week 6 | $rose, $fell, $stable, First Match, Ended, Triggered | Labs 17-21 |
| Week 7 | Formal Arguments -Property, Overlapping Implication, Non-Overlapping Implication | Labs 22-24, Quiz 3 |
| Week 8 | Inverting A Property, $past, disable iff | Labs 25-27 |
| Week 9 | Action Blocks, Severity-$fatal, Severity-$error, Severity-$warning, Severity-$info | Labs 28-32 |
| Week 10 | Cover | Lab 33 |
| Week 11 | Binding | |
| Week 12 | Review | Quiz 4 |
Prerequisites
There is an assumption that the student knows basic Verilog. Verilog101TM is the perfect choice to fulfill this requirement.
Course Progression
After taking SystemVerilog101TM (SV101TM), SystemVerilog102TM (SV102TM) should be taken. The information in SV102TM is a perfect follow-on to SV101TM.
|