Oficialus Engine (PSL)

[jenardo]

Hi all,
Aš perskaičiau apie PSL ir aš galėjo taikyti ją Verliog kodų tikrinimas.
Bet iš to, ką aš perskaičiau, supratau, kad ten jau kitų oficialią tikrinimo metodai.Jos kai kurios kaip ekstraktas dizaino savybės ir bandykite nutraukti su skirtingais bandymo atvejais.
1) Ar kas nors turi daugiau info apie tai, ką?
2) Kas yra pavyzdžių, priemonių, kad galiu naudoti šiam tikslui?

Ačiū

 

["Google"]

[No message]

 

[uday_das]

Visi Oficialus teiginys grindžiamas tikrinimas įrankis palaiko dabar PSL ir atrodo, kad populiarus tarp dizainerių.Formalūs metodai ne daug laiko, kaip simuliatoriai, dažnai labai labai greitai ir suteikti Taip / Ne laikas atsakymą resonable.
Kartais įrankiai problema šių rūšių dydžius dizainas.Šios priemonės yra brangios, taip pat.
Cadence's IFV, globėjo 0-į, Nekilnojamas ketinimų nie Verix, Atrenta's žiūronas, Synopsys's Magellan visi palaiko psl.