The course is currently in pre-launch period and highly discounted. The course will be launched in June.
Date and Time: 19th June 9:30am to 2:00pm India Time
The course covers the following topics
- What is an assertion?
- Why assertions? What are the advantages?
- Assertion Based Verification (ABV) Methodology and Coverage
- How do I know I have enough assertions?
- Assertion Types
- SVA Operators and Examples
- Sequence and Property Blocks
- Sequence Operators
- Sequences
- Properties
- Multiple clock sequences
- Tips on using and writing assertions
- SVA for functional coverage
- Covergroups, coverpoints, coverage options
- Functional Coverage Guidelines
Labs and Exercises –
- Assertions for synchronous FIFO
- Assertions for Asynchronous FIFO
- Assertions for ALU
- Assertions for RAM
- Assertions for the program counter
- Assertions for FSM,
Payment link for Indian Customers
Highly discounted Pre-Launch Price
Payment link for Overseas Customers
Highly discounted Pre-Launch Price