Rivera-PRO™ ()- Debugging: Assertions Debugging

Assertions are monitor-like processes that continuously track design activities and report if signals have the right values at the right times. Riviera-PRO provides a number of debugging tools dedicated to making debugging with assertions more robust and user-friendly. This video will cover all the debugging tools you can use for debugging assertions as well as reports that can be generated for post-simulation assertion analysis.