iDebug uses database (DB) driven debug for managing the intent analysis of a design to achieve sign-off.
For sign-off products, such as CDC, each phase of analysis is supported. The setup database contains all the environment information needed to debug the design. As the user debugs and revises the setup, the information is stored in the database. After the structural analysis, the database contains the results of the analysis that can be viewed in the GUI or through text reports. Final sign-off debug with the formal analysis completes the intended debug flow.
For functional verification products, such as Lint and AutoFormal, iDebug provides interactive debug of each of the report categories and supports a full causality analysis of design errors.