| Many technologies need to work together for a solid solution for design and re-use, primarily in the areas of interactive analysis and debug, visualization, the formal engines which fuel the solution, and behavioral indexing to create a database. Visualize™ provides graphical and waveform views of functionality and dependencies, with shorter iteration cycles for exploration, understanding behaviors, and root cause analysis. Jasper’s advanced proof power delivers fast proofs, high capacity, with a small memory footprint, while ProofGrid ™ means distributed, scalable formal technology for intelligent resource management. Advanced modeling abstractions contribute to proof capacity. Behavioral Indexing™ is a capability for iteratively extracting, indexing, and storing relevant design behaviors in a database. It creates an executable specification and promotes design understanding and leverage. |
|
|
