formale Engine (PSL)

[jenardo]

Ciao a tutti,
Ho letto di PSL e sono stato in grado di applicare al Verliog codici per la verifica.
Ma da quanto ho letto, ho capito che non ci sei altri metodi formali per la verifica.Che in qualche modo estrarre le proprietà di progettazione e quindi si tenta di rompere con casi di test differenti.
1) Qualcuno ha maggiori informazioni su questa cosa?
2) Quali sono esempi di strumenti che posso utilizzare per questo scopo?

Grazie

 

[uday_das]

Tutte l'affermazione solenne strumento di verifica basati ora supporta PSL e sembra di essere popolare tra i progettisti.Metodi formali non molto tempo, come i simulatori, spesso molto molto veloce e dare un Sì / No risposta con il tempo resonable.
A volte il problema con questi tipi di strumenti sono le dimensioni del progetto.Questi strumenti sono anche costosi.
IFV Cadence, Mentor 0-in, Verix intento reale, la Spyglass Atrenta's, Magellan Synopsys supporta tutti i PSL.