Formálne metódy overovania (nie PSL)

[jenardo]

Ahoj všetkým, som čítal o PSL a bol som schopný ho použiť na Verliog kódy pre overenie. Ale z toho, čo som si prečítal, pochopil som, že to ostatní formálnych metód pre verifikáciu. Tie, ako získať niektoré vlastnosti návrhu a skúste prekonať ich s rôznymi testami. 1) Má niekto viac informácií o tejto veci? 2) Aké sú príklady nástrojov, ktoré môžem použiť pre tento účel? Vďaka

 

[uday_das]

Všetky formálne tvrdenie vychádza nástroj pre overenie podporuje teraz PSL a zdá sa, že je populárny medzi návrhármi. Formálne metódy nie sú časovo náročné, ako simulátory, často veľmi rýchlo, a dať Áno / Nie odpovede s rozumnou dobu. Niekedy je problém s týmito typmi nástrojov sú veľkosti dizajn. Tieto nástroje sú tiež drahé. Cadence má IFV, Mentor je 0-in, skutočným zámerom je Verix, Atrenta je Spyglass, Synopsys Magellan všetko podporuje PSL.