differnce između formalnim provjere i Logic provjera ekvivalencije

[ASIC_int]

Je formalno provjera je isto kao Logic ekvivalencije provjere (predavanja) za koje su alati formalnost za Synopsys i konformnih predavanja za ritam.

 

[dcreddy1980]

Logika ekvivalenciji provjera (predavanja) je formalno verifcation alat

 

[ASIC_int]

Dakle, formalno dcreaddy1980 provjera može se postići predavanja alata. No, neke osobe kažu formalno provjera je nešto drugačiji od predavanja. To je bio čak iu suprotnosti sa moje prijašnje ideje da "Logika ekvivalenciji provjera (predavanja) je formalno verifcation alat". I NAĆI U također smatra isti. Neki ljudi misli formalno provjera se odnosi na funkcionalne provjere. Ja ne razumijem kako je to istina. Obaviti u imati bilo koji ideja o tome? Mislite li formalna provjera može značiti nešto elec othe od ekvivalencije provjere od dvije sklopova i sustava. Pozdrav

 

[dcreddy1980]

Nekretnine provjera je također dio formalne provjere. Vaša izjava: Formalna verifikacija se odnosi na funkcionalne Veriifcation To može biti istina, ali će vam dati scenarij u kojem Navedena tvrdnja može biti istinita. Dozvoljava uzeti ste implementiran algoritam za određenu funkcionalnost i potpuno su potvrdili functionallity s vrata na razini simulacije i dobru pokrivenost testovi su učinili ovaj algoritam pisan u RTL-u. No, došlo je do promjene u pričuve WRT području / brzina. Sada se provode različite algoritam, imajući u vidu iste funkcionalnosti. Umjesto da radi svoj novi algoritam kroz simulaciju, možete jednostavno izvesti predavanja na ovim oldd agorithm i nove algorith. Na taj način ste učinili funkcionalnu provjeru vašeg novog algoritma. Nadam se da se slažete sa svojim izjavama.

 

[ASIC_int]

Nekretnine provjera je također dio formalne provjere.

Što mislite pod imovine ovdje? Ti su govori o provjeri algoritma. Ali ljudi govori o formalnoj provjeri dizajna po Synopsys vcs!!

 

[dcreddy1980]

Ovdje je dobar dokument: http://www.jasper-da.com/newsevent...g posto 20what posto 20users posto 20say.pdf U jednostavnim riječima, nekretnine je identičan tvrdnji. Svojstva može simulirati ili formalno potvrđena. Možete li dati neke dokumente koji podupiru Vaše izjave: Ali ljudi govori o formalnoj provjeri dizajna po Synopsys vcs!!

 

[ljxpjpjljx]

Predavanja je za RTL vs NETLIST comparion! Formalna verifikacija je za imovinske provjere!

 

[sp]

predavanja je za RTL vs NETLIST comparion! Formalna verifikacija je za imovinske provjere!

slažem, ali ne ljuti. formalna provjera mogu se svrstati u 2 vrste: 1. logika jednako. 2. Objekt provjeriti.