U1SystemVerilog
SystemVerilog for RTL Design and Functional Verification
|
Objectives
|
- Theoretical course
- PDF course material (in English)
- The trainer to answer trainees questions during the training and provide technical and pedagogical assistance
- Practical activities
- Practical work with ModelSim QuestaSim and Vivado Simulator.
- Practical activities represent from 40% to 50% of course duration
- Example code, labs and solutions
- Basic knowledge of digital design concepts (combinational and sequential logic)
- Familiarity with Verilog or VHDL (RTL coding fundamentals)
- Understanding of simulation concepts and waveform analysis
- Basic programming knowledge (C/C++ or similar is a plus)
- Familiarity with FPGA or ASIC design flow is recommended but not mandatory
- Any embedded systems engineer or technician with the above prerequisites.
- The prerequisites indicated above are assessed before the training by the technical supervision of the traineein his company, or by the trainee himself in the exceptional case of an individual trainee.
- Trainee progress is assessed in two different ways, depending on the course:
- For courses lending themselves to practical exercises, the results of the exercises are checked by the trainer while, if necessary, helping trainees to carry them out by providing additional details.
- Quizzes are offered at the end of sections that do not include practical exercises to verifythat the trainees have assimilated the points presented
- At the end of the training, each trainee receives a certificate attesting that they have successfully completed the course.
- In the event of a problem, discovered during the course, due to a lack of prerequisites by the trainee a different or additional training is offered to them, generally to reinforce their prerequisites,in agreement with their company manager if applicable.
Course Outline
- Need for systemverilog
- Evolution from verilog
- Design vs verification roles
- Simulation bs synthesis basics
- Integral types
- Composite types
- Enumerations
- Structures
- Unions
- Arrays
- Static arrays
- Dynamic arrays
- Associative arrays
- Queues
- Other types
- String
- Event
- Real / shortreal
- Chandle
- Synchronization objects
- Semaphores
- Mailboxes
| Exercise: | Declare and manipulate: | |
| • | A packed vs unpacked array | |
| • | A struct representing a packet (addr, data, valid) | |
| • | A queue and perform push/pop operations | |
| Exercise: | Use an associative array to count occurrences of values | |
| Exercise: | Simple mailbox communication between two processes | |
- Initial & Final Blocks
- Always Blocks
- Procedural Assignments
- Blocking vs Non-blocking
- Tasks & Functions
- User Defined
- Built-in
- Control Flow
- Loops
- Conditional statements
- Parallelism
- fork...join
- fork...join_any
- fork...join_none
- disable fork
- Casting
- Static casting
- Dynamic casting
| Exercise: | Implement a counter module using: | |
| • | always_ff and non-blocking assignments | |
| Exercise: | Compare blocking vs non-blocking behavior using simulation | |
| Exercise: | Write a task to generate a pulse signal | |
| Exercise: | Use fork...join to run parallel stimulus threads | |
- Data Holders
- Ports
- Parameters
- Localparams
- Internal variables
- Design Units
- Module
- Interface
- Program Block
- Interfaces
- Modports
- Clocking blocks
- Generate Constructs
- For-generate
- If-generate
- Elaboration-Time Concepts
- Constant functions
- Parameter calculations
- $clog2 and other elaboration functions
- Access & Scope
- Hierarchical references
- Scope resolution
- Packages
- Import/export
- Reusability
- Compilation Units
| Exercise: | Create an interface to connect DUT and testbench | |
| Exercise: | Use generate to instantiate multiple modules | |
| Exercise: | Organize code using a package | |
- Event regions
- Active / Reactive regions
- Race conditions
- Determinism
| Exercise: | Write a small testbench showing: | |
| • | Race condition between blocking/non-blocking assignments | |
| Exercise: | Observe waveform differences in: | |
| • | Active vs NBA regions | |
| Exercise: | Fix the race condition using proper coding style | |
- Basics
- Class syntax
- Objects
- Class Properties
- Initialization
- Constructors
- Inheritance
- Polymorphism
- Casting rules
- Advanced Concepts
- Parameterized classes
- Static properties/methods
- Forward declaration
- External methods
| Exercise: | Create a transaction class (addr, data, control) | |
| Exercise: | Implement: | |
| • | Constructor | |
| • | Inheritance | |
| Exercise: | Demonstrate polymorphism using virtual methods | |
- Overview
- Random variables
- Constraints
- Inline constraints
- Constraints blocks
- Constraints modes
- Randomization methods
- System functions
- Stimulus Generation Techniques
| Exercise: | Create a random transaction with: | |
| • | Constraints on address range | |
| • | Distribution (dist) constraint | |
| Exercise: | Use randomize() and display results | |
| Exercise: | Add pre_randomize() and post_randomize() hooks | |
- Overview
- Code Coverage
- Functional Coverage
- Covergroups
- Coverpoints
- Bins
- Cross coverage
- Ignore bins / illegal bins
- Coverage options
- Sampling methods
| Exercise: | Create: | |
| • | Coverpoints | |
| • | Bins (including illegal bins) | |
| Exercise: | Add cross coverage | |
| Exercise: | Run simulation and analyze coverage results | |
- Immediate Assertions
- Concurrent Assertions
- Temporal Operators
- Sequences & Properties
- Assertion uses in verification
| Exercise: | Write assertions for: | |
| • | Valid signal must follow enable | |
| • | FIFO never overflows/underflows | |
- Interface-based design
- Virtual interfaces
- Driver/Monitor concepts
- Basic testbench structure
| Exercise: | Build a simple testbench: | |
| • | Driver → DUT → Monitor | |
| Exercise: | Use an interface + virtual interface | |
| Exercise: | Send transactions from driver to DUT | |
| Exercise: | Capture outputs using monitor | |
- Why UVM
- Basic components
- Sequence / Driver / Monitor
- Components
- Factory mechanism
More
To book a training session or for more information, please contact us on info@ac6-training.com.
Registrations are accepted till one week before the start date for scheduled classes. For late registrations, please consult us.
You can also fill and send us the registration form
This course can be provided either remotely, in our Paris training center or worldwide on your premises.
Scheduled classes are confirmed as soon as there is two confirmed bookings. Bookings are accepted until 1 week before the course start.
Last update of course schedule: 25 April 2026
Booking one of our trainings is subject to our General Terms of Sales
Related Courses
ALT1
CYCLONE-V CORTEX-A9 HARD PROCESSOR SYSTEM
ALT2
FPGA Nios (Nios II / Nios V) implementation
H1
Lattice Mico32 FPGA embedded processor
H2
Lattice Diamond
HX4
AMD (Xilinx) - Microblaze implementation
HX5
AMD Zynq All Programmable SoC: Hardware and Software Design
MSP
Microchip SmartFusion2 Programming
RV1
RISC-V Architecture
U2
UVM
V0
Programmable components fundamentals
V1
VHDL Language Basics
V2
Advanced VHDL for FPGA
V3
Design with SystemC
V4
FPGA Optimization