Que são familiares com PSL (Language Specification Propriedade)?

B

bigyellow

Guest
Por favor, recommendate alguns materiais ou sites sobre o PSL para mim? PSL pode ser simulado no ModelSim 5,8 ou outros simuladores? Obrigado
 
Ya, Estamos usando PSL em nosso projeto. Cadence suporta afirmações açúcar PSL! Sim Modelsim 5.8 / 6.0 também suporta o açúcar PSL. Aqui é O livro que estamos usando! "Usando PSL / Açúcar para Formal e dinâmico Guia de Edição de verificação segundo a Language Specification Imóvel para Assertion verificação baseada em" Ben Cohen Srinivasan Venkataramanan Ajeetha Kumari local Goto seguir para obter mais informações .... http://www.pslsugar.org/technical_papers.html Eu acho que um dos autores "Ajeetha Kumari" é membro deste fórum! Espero que isso ajude!
 

Welcome to EDABoard.com

Sponsor

Back
Top