Cadence: piattaforma di verifica formale JasperGold

Pubblicato il 25 giugno 2015

Cadence Design Systems ha annunciato la piattaforma di verifica formale di nuova generazione Cadence JasperGold. Questa nuova soluzione di verifica formale integra la tecnologia formale JasperGold di Cadence e la tecnologia Incisive in un’unica piattaforma, offrendo un miglioramento delle prestazioni fino a 15 volte rispetto alle soluzioni precedenti. Come parte integrante della System Development Suite di Cadence, la tecnologia JasperGold può aiutare a ridurre anche di tre mesi i tempi di verifica

La piattaforma JasperGold migliora in modo sostanziale la qualità e l’efficienza di progettazione integrando una serie completa di funzionalità in un unico ambiente comprendente:

  • la compilazione del design e le tecnologie dei motori formali di Incisive Formal Verifier e Incisive Enterprise Verifier, compresi gli innovativi motori multi-cooperanti Trident. Ciò permette ai clienti che già utilizzano Incisive di facilitare la migrazione e di ottenere un miglioramento delle prestazioni pari a 15 volte in modalità sia di ricerca degli errori sia di proof convergence;
  • la piattaforma di nuova generazione JasperGold è stata completamente integrata con le piattaforme di simulazione Incisive e di emulazione Palladium della System Development Suite Cadence e con vManager per consentire una verifica metric-driven comprensiva Ciò si traduce in una riduzione anche di tre mesi grazie alla formal-assisted verification closure;
  • le collaudate tecnologie JasperGold Visualize e QuietTrace sono state integrate con la piattaforma di debug Indago per espandere ulteriormente le capacità di analisi e di esplorazione what-if in tempo reale, contribuendo a ridurre il periodo di debug e individuazione della root-cause da 5 a 100 volte.

La piattaforma JasperGold di nuova generazione è già disponibile.



Contenuti correlati

Scopri le novità scelte per te x