Questa One Sim Xact è un'innovativa analisi formale e automazione dei flussi che semplifica l'avvio del GLS, portando a una verifica dell'approvazione migliore e più completa.
Questa One Sim Xact consente una simulazione molto più rapida a livello di gate eliminando automaticamente le fastidiose false X, le condizioni di gara senza ritardi e gli errori di modellazione delle librerie, isolando al contempo i problemi di connettività difficili da diagnosticare. Inoltre, supporta strumenti avanzati di real X root cause tracing.
La simulazione logica potenziata formalmente esegue dinamicamente l'analisi del pessimismo X, analizza la propagazione dell'X nei datapath e nella logica del gated clock e ripara al volo.
Il GLS a ritardo zero può dimostrare le condizioni di gara, soprattutto nei modelli con cronometraggio e linee di ritardo cancellate. Il generatore «pseudo-SDF» risolve efficacemente i problemi di race condition senza la necessità di modificare le librerie di celle.
L'analisi della propagazione della forza/rilascio conferma quando le forze sono state ottimizzate e non guida più alcuna logica di fanout. L'analisi della connettività trova moduli con input non guidati che stanno creando sorgenti X.
Questa One Sim Xact offre una metodologia avanzata per attivare la simulazione a livello di gate in modo rapido e semplice. La sua tecnologia brevettata può analizzare efficacemente una simulazione utilizzando l'analisi combinatoria per determinare se i valori X agli input D di un flip-flop sono falsi a causa del pessimismo X o reali. Elimina automaticamente le X false, che consentono alla simulazione a livello di gate di produrre i risultati corretti.
Siemens EDA offre un'assistenza clienti di prim'ordine per Questa One Sim e tutti i nostri prodotti.
Verification Academy fornisce le competenze necessarie per maturare le capacità del processo di verifica funzionale di un'organizzazione, fornendo un ponte metodologico tra proposte di valore di alto livello e dettagli di basso livello.
Per aiutare a comprendere le tecnologie avanzate di verifica funzionale e come applicarle nel modo più efficace, visita il nostro blog per approfondimenti e aggiornamenti su concetti, valori, standard, metodologie ed esempi.
