The Questa Register Check app simplifies the process by taking your RTL and register description file(s), automatically generating the essential assertions, and conducting formal verification. It doesn’t demand expertise in formal methods or property specification languages.
The Questa Register Check app offers a fully automated solution for comprehensive verification of control and status register functionality in accordance with your CSV or IP-XACT register specifications. It doesn’t necessitate familiarity with formal methods or property specification languages.
Ensure coverage of the state space
Even relatively compact IPs can feature a substantial number of control and status registers, often with non-standard access policies. While testbench simulation-driven register verification techniques such as UVM_REG can address the majority of primary use cases, a multitude of corner cases remain untested, posing the risk of critical bugs going unnoticed.
Front- and back-door register access
The Questa Register Check app streamlines the process of exhaustively verifying control and status registers. By utilizing your register specifications (in CSV or IP-XACT) and RTL code as input, the app automatically generates the necessary properties and runs formal analysis seamlessly in the background. Any deviations in register behavior are visually depicted in comprehensive waveform representations.
