Questa Inspect

I det här webbseminariet kommer du att lära dig varför formell verifiering är nyckelkomponenten för att lyckas i eran med Next Normal, där framgång med kisel först är avgörande och att säkerställa kvalitet i hela din verifieringscykel är avgörande.

I det här webinaret kommer vi att diskutera följande tekniker: Grundläggande abstraktion, inställning och optimering av begränsningar, dataoberoende och icke-determinism. Dessa metoder är lätta att tillämpa, vilket ökar formell analysprestanda.

I det här webinaret kommer vi att visa hur du med lite designkunskap och förutseende från din sida kan utnyttja dessa två principer (DI och ND) för att minska din formella analys till några minuter kontra timmar.

I det här webinaret visar vi dig hur du använder IEEE-standardegenskapskontrollkod (SVA) och färdiga formella verktyg för att snabbt och uttömmande verifiera datatransport genom DUT matchar specifikationen.

I det här webbseminariet lär du dig vilka typer av DUT -konstruktioner som vanligtvis orsakar formella analysproblem, och hur man tillämpar tidtestade tekniker för att säkert abstrahera bort dem så att formell verifiering snabbt kan nå stängning.

I det här webinaret visar vi dig hur du skriver optimala begränsningar för formell analys; och hur man medvetet under- och överbegränsar analysen för att lära dig mer om begränsningarnas effektivitet.

I det här webbseminariet lär du dig hur FPGA-implementeringsverifiering kan påskynda designflödet, minska testning i labbet, möjliggöra aggressiv optimeringsanvändning och dramatiskt minska riskerna efter produktionen.

Att skydda din hårdvara är lika viktigt som att skydda din programvara från cyberattacker. Denna session kommer att demonstrera tidig säkerhetsverifiering på en liten modul av immateriell egendom (IP) avsedd för IC-integration.

I det här webinaret får du en förståelse för de automatiska formella applikationerna som kan användas för att lösa nuvarande design- och verifieringsutmaningar som vanligtvis ses när man utvecklar ASIC- och FPGA-design.

I det här webinaret kommer vi att visa hur man använder ett automatiserat, formellt baserat flöde som säkerställer fullständig täckning av dina registers tillståndsutrymme, uttömmande verifierar beteenden och eventuella olagliga beteenden utan att behöva lära sig formellt alls.

I detta webbseminarium kommer vi att täcka formell metodik i detalj med fokus på ABC: erna för formell: (A) abstraktion, (B) buggjakt och byggbevis och (C) täckning i samband med fastighetskontroll.