Artifacts Of Custom Checkers In Questa Power-Aware Dynamic Simulation

Using a consolidated verification mechanism to access all instances of a target design.


UPF provides a powerful mechanism to define a custom PA checker or assertion and provides a layer to completely separate it from design code. This is done by embedding the binding of the design and checker within the UPF file through the bind_checker command and its options. As a result, it provides a consolidated verification mechanism and allows Questa PA-SIM to access all instances of a target design with a custom checker within the current scope.

To read more, click here.

Leave a Reply

(Note: This name will be displayed publicly)