ICD 1.1 Interactive Curve Display
ICD 1.1 delivers more flexibility to analog designers as it now provides the capability to display waveforms generated by small-signal analyses. It also brings relief to verification engineers by enabling them to apply PSL (Property Specification Language) assertions on existing waveforms.
Key features
-
Advanced capability to apply PSL assertions by post-processing existing waveforms coming from any simulator
-
Management of waveform files containing small signal simulation results
-
Instantaneous display of waveform files
-
Improved ergonomy with explicit contextual menus
-
Improved management of signals (duplication, more explicit names, customization, use of aliases…)
-
Easy selection of analog or logic graphs when adding integer or real logic traces
Assertion-Based Verification with ICD
ICD 1.1 provides the capability to apply PSL assertions by post-processing existing waveforms coming from any simulator. Simulation results can be post-processed as many times as needed to design a verification plan with new assertions. New or updated assertions can be applied to the simulation results without simulating again the Device Under Test (DUT).
Assertion verification results are displayed together with the waveforms of the monitored signals. The designers can see the time scale during which the properties have been verified. Thanks to the display of violations and successes, ICD helps detect insufficient testbenches as well as design defects.
TIMA Laboratory - Techniques of Informatics and Microelectronics for integrated systems Architecture
SVA and PSL properties simulation based on the HORUS technology developed by the Verification and Modeling of Digital Systems (VDS) group at TIMA - http://tima.imag.fr/vds.
| 
Printer-friendly version
