How do I verify that the instrumented design works correctly prior to RTL sign-off?
There are generally three components of a complete verification scheme: • Verification that the instrumentation process didn’t change the original function of the design • Verification that the basic instrumentation connections are correct and that all registers can be access properly • Verification that the instrumentation is appropriate for carrying out desired functionality, and that it is operating correctly To verify that the original user functionality was not changed, ClearBlue generates equivalency-checking scripts (both Formality and Conformal) to compare the original design to the instrumented design, with the instrumentation “off” to allow formal verification that the design function is unchanged. To verify that the basic instrumentation connectivity is correct, ClearBlue generates a small simulation testbench that checks intra-instrument connections and key user-to-instrument connections. To verify that the instrumentation is operating correctly in a comprehensive manner, y
