Typy overovania?

[truebs]

Ahoj, môže niekto prosím, podeľte sa o svoje názory na nasledujúcich podmienok: - 1) formálna verifikácia 2) Overenie funkčnosti s ohľadom na ASIC toku, teda čo sú tieto, a kedy a kde budeme vykonávať tieto kontroly? Ako máme urobiť toto? Aké nástroje sa používajú? Synopsys? Vďaka, truebs

 

[aji_vlsi]

[Quote = truebs] Dobrý deň, môže niekto prosím, podeľte sa o svoje názory na nasledujúcich podmienok: - 1) formálna verifikácia 2) Overenie funkčnosti s ohľadom na ASIC toku, teda čo sú tieto, a kedy a kde budeme vykonávať tieto kontroly? Ako máme urobiť toto? Aké nástroje sa používajú? Synopsys? Vďaka, je truebs [/quote] Overenie funkčnosti zvyčajne vykonáva v 2 hlavných prostriedkov: dynamických a statických. Dynamická - simuláciu. Statické - vlákna, formálne metódy. Nástroje - do vyhľadávania na Google alebo na stránkach EDA dodávateľov, uvidíte. Tiež deepchip.com má zoznam nástrojov. BTW - máme prepracovaný do detailu každej z týchto terminoligies, blíži sa skutočným životom nástrojov, ako VCS, Modelsim, Leda apod V našom overení tréningov ako CFV. Pozri: www.noveldv.com a Napíšte nám e-mail na gmail.com cvc.training v prípade záujmu. Na zdravie Ajeetha, CVC www.noveldv.com

 

[pintuinvlsi]

Overenie funkčnosti sa deje, keď máme DUT RTL je pripravené a my sa tu skontrolujte, či všetky funkcie nášho návrhu (pre ktorého je určený). V podstate sme test funkčnosti návrhu niektorých HVL jazykov (ako verilig, VHDL, specman, Vera, Verilog systém a tak ďalej). Vo formálnej verifikáciu overíme funkčnosť konštrukcie určený nebol zmenený kedykoľvek počas rôznych fáze ASIC toku. Ako napríklad, keď sme syntetizovať RTL do netlist, používame oficiálny verificatio či syntézu nástroj sa nemení žiadne functionlity (tak my formálne verifikácia medzi Golden RTL a netlist) Podobne môžeme vykonávať formálne verifikácia na prelayout a po rozložení sa netlist vidieť nebolo nič meniť. Pre formálne verifikácia my všeobecne používame Cadence konformný, synopse formalitou. Dúfam, že to pomôže. S pozdravom, pintuinvlsi