Questa Register Check demo

Questa Register Check automates exhaustive verification of control & status registers. Taking your register spec (in CSV or IP-XACT) and RTL as input, the app automatically derives the properties and runs the formal engines under the hood. Any discrepancies in register behavior are graphically shown in detailed waveforms.

In this session, you will learn:

This session will demo memory-mapped register checkers generated results that can be debugged in using Questa Register Check.