Ai là familar với PSL (tài sản Đặc điểm kỹ thuật Ngôn ngữ)?

[bigyellow]

Recommendate một số tài liệu hoặc các trang web về PSL cho tôi? PSL được mô phỏng trong ModelSim 5,8 hoặc mô phỏng khác? Thanks

 

[nand_gates]

Ya, Chúng tôi đang sử dụng PSL trong dự án của chúng tôi. Cadence hỗ trợ khẳng định đường PSL! Modelsim 5,8 / 6,0 cũng hỗ trợ đường PSL. Đây là cuốn sách chúng tôi đang sử dụng! "Sử dụng PSL / Đường Hướng dẫn xác nhận phiên bản chính thức và động 2 ngôn ngữ Thông số kỹ thuật tài sản cho Assertion-xác minh" Ben Cohen Srinivasan Venkataramanan Ajeetha Kumari trang web sau đây Chuyển đến để biết thêm chi tiết .... http://www.pslsugar.org/technical_papers.html Tôi nghĩ rằng một trong những tác giả "Ajeetha Kumari" là thành viên của diễn đàn này! Hy vọng điều này sẽ giúp!

 

[AlexWan]

ModelSim 5,8 hỗ trợ nó! Sau đây là hướng dẫn của PSL:

 

[supercst]

Bạn có thể tải về một spec từ accellera.

 

[xv_ning999]

cuốn sách này có phiên bản miễn phí

 

[jjww110]

http://www.doulos.com/knowhow/psl/ , có một số cơ bản giới thiệu!

 

[vsrpkumar]

Thưa ông, bạn có thể gửi hướng dẫn LAB PSL được đăng trước đó để id mail của tôi vsrpkumar@rediffmail.com