Formal Engine (PSL)

[jenardo]

Oi tudo,
Tenho lido sobre o PSL e eu era capaz de aplicá-lo a Verliog códigos para a verificação.
Mas pelo que eu li, eu entendi que não estamos outros métodos formais para a verificação.Eles de alguma forma a extrair as propriedades de design e tente quebrá-los com casos de teste diferentes.
1) Alguém tem mais informações sobre esta coisa?
2) Quais são exemplos de ferramentas que possam ser utilizados para este fim?

Obrigado

 

[uday_das]

Todos afirmação da ferramenta de verificação formal baseada agora suporta PSL e parece ser popular entre os projetistas.Métodos formais não consome muito tempo, como simuladores, muitas vezes, muito, muito rápido e dar um Sim / Não resposta com tempo razoável.
Às vezes, o problema com esses tipos de ferramentas são os tamanhos do projeto.Essas ferramentas também são caros.
IFV's Cadence, Mentor 0-in, Verix real intenção, a Spyglass Atrenta, o Magellan Synopsys tudo suporta PSL.