PSL(プロパティ記述言語)に慣れている人?

B

bigyellow

Guest
私のためのPSLについてのいくつかの資料やウェブサイトをrecommendateしてください? PSLはModelSim 5.8または他のシミュレータでシミュレーションを行うことができます?感謝
 
雅、私たちのプロジェクトでPSLを使用しています。ケイデンスは、PSL砂糖のアサーションをサポートしています!はいはModelSim 5.8 / 6.0では、PSL砂糖をサポートしています。ここで我々が使っている本です!詳細はベンコーエンスリニバサンVenkataramanan Ajeethaクマリ後藤以下のサイト"アサーションベース検証用プロパティ記述言語へのフォーマルと動的検証第2版のガイドのためにPSL /シュガーを使用して"... http://www.pslsugar.org/technical_papers.html 私は、著者"Ajeethaクマリ"の一つがこのフォーラムのメンバーだと思います!この情報がお役に立てば幸い!
 
のModelSim 5.8をサポートしています!以下ではPSLのガイドです。
 
あなたはAccelleraの仕様をダウンロードすることができます。
 
親愛なる、あなたは私のメールIDに以前に投稿されたPSL LABのチュートリアルを送ることができます[電子メール] vsrpkumar@rediffmail.com [/メール]
 

Welcome to EDABoard.com

Sponsor

Back
Top