Questa AutoCheck
Un'app di ricerca di bug formali completamente automatica per l’identificazione dei problemi dovuti a errori comuni nella codifica RTL
Questa AutoCheck ti aiuta a identificare errori di programmazione durante le fasi di sviluppo del vostro progetto, senza dover attendere il suo completamento. Questa AutoCheck genera automaticamente le proprietà necessarie per supportare una varietà sempre crescente di controlli statici e dinamici come l'analisi dei dead code, dei deadlock nelle macchine a stati finiti, dei cicli combinatori e le funzioni di liveness; il tutto coprendo gli errori di progettazione comuni e tutti gli eventuali corner-case.
Questa Formal Solutions
Questa AutoCheck è fornito da Siemens Digital Industries. Fa parte delle soluzioni Questa Formal, che fornisce la "Power of Formal" a tutti, inclusi gli esperti di settore.
White Paper
Questo articolo approfondisce l'uso dei metodi formali per la verifica dell'hardware. In questa discussione, spiegheremo prima i metodi formali nel modo più chiaro e conciso possibile. Poi esamineremo i cambiamenti avvenuti dell'ultimo decennio che hanno permesso l'uso diffuso dei metodi formali per la verifica dell'hardware. Successivamente esamineremo e spiegheremo il contenuto dell'appendice B 3.3.3 "Metodi formali" del DO-254. Infine, sommando queste informazioni forniremo raccomandazioni per l'uso di metodi formali in un progetto DO-254.
Vantaggi di Questa AutoCheck
Facile da usare, ricerca push-button di bug/errori
- Non è richiesta alcuna conoscenza di Formal o Assertion Base Varification (ABV)!
- La creazione automatica delle asserzioni elimina la necessità della loro scrittura manuale
- Sfrutta la medesima piattaforma di debug di Questa Visualizer
Trova i bug in anticipo durante il ciclo di progettazione
- Gli utenti possono lanciare la verifica non appena il codice RTL viene scritto o modificato
- Non sono necessari testbench o asserzioni!
- Gli utenti non devono preoccuparsi di scrivere semplici test
Migliora automaticamente la qualità del progetto
- Esplora il comportamento della progettazione sequenziale per trovare i corner-case bug che non verranno riportati da lint
- Trova problemi di progettazione funzionale comuni in registri, FSM, bus e memorie
Find out more about lorem ipsium
Scopri di più su Questa AutoCheck
Scarica la presentazione per saperne di più sul debug RTL e altre caratteristiche con Questa AutoCheck
Strumenti per la simulazione e la verifica
Questa CDC
Questa CDC di Siemens identifica gli errori utilizzando l'analisi strutturale per riconoscere i domini di...
HDL Designer
HDL Designer offre un ambiente di progettazione HDL completo che assicura un flusso di progettazione...
Questa Advanced Simulator
Questa Advanced Simulator è un simulatore e un motore di debug che riduce al minimo...
Questa Verification IP
Questa Verification IP libera gli ingegneri dal passare il tempo a sviluppare BFM, componenti di...
FPGA Design Verification con Questa Prime
Questa è una soluzione fondata su un insieme di tecnologie, metodologie e librerie per la...
Vuoi ricevere maggiori informazioni su Questa AutoCheck?
Contattaci e risponderemo ai tuoi dubbi e alle tue curiosità in tempi rapidissimi.
Prenota una Demo gratuita
Prendi appuntamento con uno dei nostri esperti per vedere il software in azione!
L'esperto ti mostrerà gratuitamente in che modo è possibile adottarlo per affrontare le sfide specifiche che i tuoi progetti pongono al tuo gruppo di lavoro e alla tua azienda.
