Inteligentní ověření - Intelligent verification

Inteligentní ověření, počítaje v to inteligentní automatizace testovacího stolu, je forma funkční ověření z elektronický hardware vzory používané k ověření, že návrh odpovídá specifikaci před výrobou zařízení. Inteligentní ověřování využívá informace odvozené z designu a specifikací k odhalení chyb mezi nimi hardwarové adresy IP. Inteligentní ověřovací nástroje vyžadují podstatně menší technické úsilí a uživatelské vedení k dosažení výsledků ověřování, které splňují nebo překračují standardní přístup psaní programu testbench.

První generace inteligentních ověřovacích nástrojů optimalizovala jednu část ověřovacího procesu známou jako Regresní testování s funkcí zvanou automatická zpětná vazba na pokrytí. Díky automatizované zpětné vazbě na pokrytí se popis testu automaticky přizpůsobí funkčnosti cílového designu, která nebyla dříve ověřena (nebo „pokryta“) jinými testy existujících testů. Klíčovou vlastností automatické zpětné vazby na pokrytí je to, že za stejného testovacího prostředí software automaticky změní testy, aby zlepšil pokrytí funkčního designu v reakci na změny v designu.

Novější inteligentní ověřovací nástroje jsou schopny odvodit základní funkce, které by člověk od testovacího stolu (stimul, pokrytí a kontrola) očekával, z jediného kompaktního modelu na vysoké úrovni. Použití jediného modelu, který představuje a podobá se původní specifikaci, výrazně snižuje pravděpodobnost lidská chyba v procesu vývoje testbench, který může vést jak ke zmeškaným chybám, tak k falešným poruchám.

Mezi další vlastnosti inteligentního ověření mohou patřit:

  • Poskytování výsledků ověření na nebo nad par s programem testbench, ale poháněno kompaktním modelem vysoké úrovně
  • Použitelnost na všech úrovních simulace ke snížení závislosti na programech testbench
  • Eliminace příležitostí k programovacím chybám a odlišným výkladům specifikace, zejména mezi týmy IP a SoC
  • Poskytnutí směru, proč nebyly zjištěny určité body pokrytí.
  • Automaticky sledovat cesty přes konstrukční strukturu k bodům pokrytí a vytvářet nové testy.
  • Zajištění toho, aby byly různé aspekty návrhu ověřeny pouze jednou ve stejných testovacích sadách.
  • Automatické škálování testu pro různé hardwarové a softwarové konfigurace systému.
  • Podpora různých metod ověřování, jako je omezený náhodný, řízený, založený na grafu, případ použití založený na stejném nástroji.

„Inteligentní ověření“ využívá stávající logická simulace testbenches a automaticky cílí a maximalizuje následující typy pokrytí designu:

Dějiny

Dosažení jistoty, že design je funkčně správný, je stále obtížnější. Abychom těmto problémům čelili, koncem 80. let rychle logické simulátory a specializované jazyky popisu hardwaru jako Verilog a VHDL stal se oblíbeným. V 90. letech se objevily omezené náhodné simulační metodiky využívající jazyky pro ověřování hardwaru jako Vera[1] a E, stejně jako SystemVerilog (v roce 2002), dále zlepšit kvalitu a čas ověřování.

Přístupy inteligentního ověřování doplňují omezené náhodné simulační metodiky, které zakládají generování testů spíše na externím vstupu než na konstrukční struktuře.[2] Inteligentní ověření je určeno k automatickému využití znalostí o návrhu během simulace, která se v posledním desetiletí stává stále důležitější kvůli větší velikosti a složitosti návrhu a oddělení mezi inženýrským týmem, který vytvořil návrh, a týmem ověřujícím jeho správnou funkci.[1]

Došlo k podstatnému výzkumu v oblasti inteligentního ověřování a komerční nástroje využívající tuto techniku ​​se teprve začínají objevovat.

Viz také

Prodejci nabízející inteligentní ověření

Poznámky pod čarou

  1. ^ A b „Využití Insight Insight pro inteligentní metodiky ověřování“, Vestavěné, Červen 2008.
  2. ^ „Omezený náhodný test se snaží dostát slibům“ Zdroj SCD, Březen 2008.

Reference