PSL (부동산 사양 언어)와 familar 누구?

[bigyellow]

나를 위해 PSL에 대한 몇 가지 자료 또는 웹사이트를 recommendate하세요? PSL은 ModelSim 5.8 또는 다른 시뮬레이터에서 시뮬레이션 할 수 있나요? 감사

 

[nand_gates]

예, 우리는 우리의 프로젝트에 PSL을 사용하고 있습니다. 케이던스는 PSL 설탕 주장을 지원합니다! 예 Modelsim 5.8 / 6.0은 또한 PSL 설탕을 지원합니다. 여기 책은 우리가 사용하고 있습니다! 자세한 내용은 벤 코헨 Srinivasan Venkataramanan Ajeetha Kumari 고토 다음 사이트 "어설션 기반 인증에 대한 속성 사양 언어 정장 및 동적 검증 두번째 에디션 가이드 PSL / 설탕 사용"... http://www.pslsugar.org/technical_papers.html 나는 저자 "Ajeetha Kumari"중 하나가이 포럼의 회원 생각! 이게 도움이 되었으면 좋겠!

 

[AlexWan]

ModelSim 5.8이 지원! 다음은 PSL의 가이드입니다

 

[supercst]

당신은 accellera에서 사양을 다운로드할 수 있습니다.

 

[xv_ning999]

이 책은 무료 버전을 가지고 한

 

[jjww110]

http://www.doulos.com/knowhow/psl/ 몇 가지 기본적인 소개가 있습니다!

 

[vsrpkumar]

선생님, 당신이 내 메일 ID로 이전 게시 PSL 실험실 자습서를 보낼 수 [이메일] vsrpkumar@rediffmail.com [/ 이메일]