The video course covers the following topics
- Simulations and dynamic verification
- Formal verification
- Assertion based verification
- What is GLS
- When is GLS done
- What is GLS flow
- Motivations for GLS
- Zero delay problem
- Bug types that are only found in GLS
- The SDF format
- GLS execution strategy
- Planning the test suite for GLS
- Testbench updates for GLS
- Non-resettable flops
- Handling annotation warnings
- GLS signoff flow
- Challenges during GLS setup
- Power-aware simulations
- Tips for running GLS
- Improving performance of GLS
‘
