XSLT Training – XRSL Transformations
This session covers the basics of the XSLT language and its role in Agnisys workflows, focusing on how XRSL specifications are transformed into various output formats (register maps, documentation, code) using XSLT templates. Includes simple examples of transformations to illustrate the process.
SystemVerilog Assertions (SVA) – Training Overview
This session introduces the fundamentals of SystemVerilog Assertions, focusing on:
Concurrent Assertions for temporal checks over time
Sequential Expressions to describe ordered events
Common SVA Operators (##, [*], |->, |=>, etc.) and their usage
The training includes examples within a verification environment to validate protocol compliance, timing checks, and functional requirements.
Directory Structure Setup (as part of Verification Environment Training)
This section covers how to set up and maintain the verification environment’s directory structure using Git. It explains:
Cloning the verification repository
Organizing files for AMBA-based Mentor VIP testbenches
Ensuring consistent structure for sequences, makefiles, and waveform outputs
Proper setup ensures smooth integration, compilation, and debugging in the verification flow.
