Slide 7 of 16
-- Analyzes stored knowledge to extract behavior over time
Here is Verdi extended architecture.
On this side, it is the current Debussy architecture. It compiles HDL and testbench and builds a knowledge database called KDB. It also apply the simulation results FSDB. With these two databases, engineers can use trace, schematics, waveform and state to do structural analysis.
Verdi uses behavior analysis to build a new database called symbolic database which provides new debug tools like behavior flow diagrams and symbolic exploration.