B
bigyellow
Guest
Bitte Produkt empfehlen einige Materialien oder Websites über PSL für mich? Kann PSL werden in ModelSim 5,8 oder andere Simulatoren simuliert werden? Dank
Navigation
Install the app
How to install the app on iOS
Follow along with the video below to see how to install our site as a web app on your home screen.
Note: This feature may not be available in some browsers.
More options
You are using an out of date browser. It may not display this or other websites correctly.
You should upgrade or use an alternative browser.
You should upgrade or use an alternative browser.
N
nand_gates
Guest
Ya, Wir sind mit PSL in unserem Projekt. Cadence unterstützt PSL Zucker Behauptungen! Ja Modelsim 5.8 / 6.0 unterstützt auch PSL Zucker. Hier ist das Buch, das wir verwenden! "Mit PSL / Sugar für formale und dynamische Überprüfung 2nd Edition Guide to Property Specification Language zur Assertion-Based Verification" Ben Cohen Srinivasan Venkataramanan Ajeetha Kumari Goto folgende Website, um weitere Informationen .... http://www.pslsugar.org/technical_papers.html Ich denke, einer der Autoren "Ajeetha Kumari" ist Mitglied dieses Forums! Hope this helps!
A
AlexWan
Guest
ModelSim 5.8 unterstützt es! Nach der Führung der PSL:
S
supercst
Guest
Sie können eine spec aus Accellera.
X
xv_ning999
Guest
hat dieses Buch bietet Ihnen kostenlose Version
J
jjww110
Guest
http://www.doulos.com/knowhow/psl/ , gibt es einige grundlegende Einführung!
V
vsrpkumar
Guest
Sehr geehrter Herr, Können Sie die PSL LAB Tutorial, das früher auf meine Mail-ID wurde geschrieben vsrpkumar@rediffmail.com