
Questa Lint
Questa Lint ger anpassningsbar, integrerad insikt till designern för att säkerställa att kvalitetskraven och avsikten uppfylls. Förkonfigurerade metoder ger omedelbar, intuitiv feedback om designfrågor.
Questa Signoff CDC använder automatiserade, avancerade strukturella analysalgoritmer optimerade för analys på gate-nivå, samt automatiserad utnyttjande av undantag och CDC-väginformation från Questa CDC RTL-analys för exakta, ”lågt brus” -resultat.
Questa Signoff CDC kör djup formell analys av automatiskt genererade påståenden, integrerar strukturella, funktionella och formella algoritmer för att verifiera CDC-strukturer på gatnivå och automatiskt identifiera fel som kan introduceras under syntes- och implementeringsprocessen.
Se alla tillgängliga CDC-, Lint- och RDC-videoinspelningar på Verifieringsakademin.
Vi står redo att svara på dina frågor.
Kontakta vårt säljteam: 1-800-547-3000 eller 1-503-685-8000
Verification Academy tillhandahåller de färdigheter som krävs för att mogna en organisations funktionella verifieringsprocessfunktioner, vilket ger en metodologisk bro mellan värdeförslag på hög nivå och detaljerna på låg nivå.
Insikt och uppdateringar om koncept, värderingar, standarder, metoder och exempel för att hjälpa till med förståelsen av vad avancerad funktionell verifieringsteknik kan göra och hur man mest effektivt tillämpar dem.
Publikationen Verification Horizons ger begrepp, värden, metoder och exempel för att hjälpa till med förståelsen av vad avancerad funktionell verifieringsteknik kan göra och hur man mest effektivt tillämpar dem.