Questa Equivalent RTL

Na tomto webinári sa dozviete, prečo je formálne overenie kľúčovou súčasťou úspechu v ére Next Normal, kde je kľúčový úspech kremíka pri prvom prechode a zabezpečenie kvality v celom vašom overovacom cykle je nevyhnutné.

Na tomto webinári budeme diskutovať o nasledujúcich technikách: Základná abstrakcia, nastavenie a optimalizácia obmedzení, Nezávislosť údajov a nedeterminizmus. Tieto metódy sú ľahko použiteľné a zvyšujú výkonnosť formálnej analýzy.

Na tomto webinári ukážeme, ako s trochou znalostí o dizajne a premyslenia z vašej strany môžete využiť tieto dva princípy (DI a ND) na zníženie formálnej analýzy na niekoľko minút oproti hodinám.

Na tomto webinári vám ukážeme, ako používať štandardný kód kontroly vlastností IEEE (SVA) a oficiálne nástroje na rýchle a vyčerpávajúce overenie prenosu údajov cez DUT zodpovedá špecifikácii.

Na tomto webinári sa dozviete typy konštruktov DUT, ktoré bežne spôsobujú problémy s formálnou analýzou, a ako aplikovať časom overené techniky na ich bezpečnú abstrakciu, aby sa formálne overenie mohlo rýchlo uzavrieť.

Na tomto webinári vám ukážeme, ako napísať optimálne obmedzenia pre formálnu analýzu; a ako úmyselne obmedziť a nadmerne obmedziť analýzu, aby ste sa dozvedeli viac o účinnosti obmedzení.

Na tomto webinári sa dozviete, ako môže overenie implementácie FPGA urýchliť tok návrhu, znížiť testovanie v laboratóriu, umožniť agresívne využitie optimalizácie a dramaticky znížiť riziká po výrobe.

Ochrana vášho hardvéru je rovnako dôležitá ako ochrana vášho softvéru pred kybernetickými útokmi. Táto relácia bude demonštrovať včasné overenie bezpečnosti na malom module duševného vlastníctva (IP) určenom na integráciu IC.

Na tomto webinári získate pochopenie automatických formálnych aplikácií, ktoré možno použiť na riešenie súčasných výziev v oblasti dizajnu a overovania, ktoré sa bežne vyskytujú pri vývoji návrhov ASIC a FPGA.

Na tomto webinári ukážeme, ako použiť automatizovaný, formálne založený tok, ktorý zabezpečuje úplné pokrytie štátneho priestoru vašich registrov, vyčerpávajúce overovanie správania a akékoľvek nezákonné správanie bez toho, aby ste sa museli vôbec učiť formálne.

Na tomto webinári sa podrobne zaoberáme formálnou metodikou so zameraním na ABC formálnych: (A) abstrakcie, (B) lov chýb a stavebné dôkazy a (C) pokrytie v kontexte kontroly majetku.

Na tomto webinári uvidíte, ako užívateľsky prívetivé formálne aplikácie postupujú k prvým krokom formálnej kontroly majetku; praktická myšlienka vyčerpávajúceho formálneho overovania na úrovni modulu k prísľubu vývoja založeného na nehnuteľnostiach.

Na tomto webinári budeme zdieľať komplexnú statickú a formálnu metodiku využívajúcu automatickú aplikáciu Questa X-Check, ktorá umožňuje dizajnérskym tímom odstrániť problémy „X“ na začiatku procesu navrhovania RTL.

Na tomto webinári sa dozviete, ako využiť formálnu analýzu na nájdenie a opravu čo najviac funkčných chýb, čím sa nakoniec zlepší kvalita vášho konečného produktu a zníži riziko opätovných otočení.

Na tomto webinári sa dozviete, prečo aplikácia formálneho včasného vývoja skracuje celkový overovací cyklus nájdením a opravou väčšiny chýb počas vývoja namiesto neskorenia v overovacej hre.