All SystemVerilog labs
SystemVerilog Labs
Lab 1of 60
SystemVerilog RTL Foundations6
Strong Typing & Data Modeling6
Parameters, Packages & Reuse5
Interfaces & Modports5
Assertions & Temporal Reasoning7
- 23Immediate Assertions & Executable SpecificationSoon
- 24Concurrent Assertions & the Sampling ModelSoon
- 25Sequences & Implication OperatorsSoon
- 26Repetition, Delay Ranges & Unbounded WindowsSoon
- 27$rose, $fell, $stable and $pastSoon
- 28disable iff & Assertions Under ResetSoon
- 29assert, assume and cover — Three Different ClaimsSoon
Testbench Architecture5
OOP Verification Foundations6
Concurrency & Communication5
Constrained Random6
Functional Coverage5
Integrated Verification Projects4
SystemVerilog RTL FoundationsPublished
The logic Type & Four-State Debugging
Replace wire/reg with logic, then deliberately drive a net from two places and read the resulting X in the waveform to learn what four-state simulation is actually telling you.
Beginner~30 minSelf-checking testbench1 challenge
Concepts covered
- logic vs wire/reg
- Four-state values
- X propagation
This lab is part of SystemVerilog Labs
Unlock the complete lab — language semantics, hardware meaning, complete SystemVerilog source, a self-checking testbench, compiler-diagnostic evidence, debugging walkthroughs and challenges — with the SystemVerilog Labs package.
- Language semantics & hardware meaning
- Complete, runnable SystemVerilog
- Self-checking testbench
- Compiler-diagnostic evidence
- Debugging walkthroughs
- 1 progressive challenge