
- This event has passed.
Static and Dynamic CDC Verification of AXI4 Stream-based IPs
October 17, 2024 @ 11:00 am - 12:00 pm PDT

The AXI4 Stream protocol is used as a standard interface to exchange data between connected IPs within FPGA designs. For crossing clock domains, the AXI4 Stream interconnect is based on switches capable of transferring data to another asynchronous clock domain. The alternative solution is a dual-port AXI4 Stream IP, capable of changing clock domains when packet routing is not required.
- CDC verification process overview
- Static CDC verification checks
- Assertions usage in CDC verification
- The concept of delay randomization at CDC crossing in functional simulation
- AXI Stream protocol overview
- AXI CDC Port Verification
- Running CDC static checks with ALINT-PRO
- Generation SV Assertion with ALINT-PRO
- Developing the testbench for AXI CDC Port dynamic verification
- Simulating design with generated CDC assertions
- Simulating design with random delay insertion in synchronizer models
- Conclusion
- Q&A
- 45 min presentation/live demo
Bio:
Alex Gnusin, Aldec’s ALINT-PRO Product Manager
Alex accumulated 27 years of hands-on experience in various aspects of ASIC and FPGA design and verification. As a verification prime for a multi-million gates project in companies such as IBM, Nortel, Ericsson and Synopsys Inc, he combined various verification methods such as static linting, formal property checking, dynamic simulation and hardware-assisted acceleration to efficiently achieve design verification goals. He received his M.S. in Electronics from Technion, Israel Institute of Technology.