www.mikrocontroller.net

Forum: FPGA, VHDL & Co. Informationen über PSL - assertion based programming


Autor: Danny W. (Gast)
Datum:

Bewertung
0 lesenswert
nicht lesenswert
Hallo Forum,

ich bin auf der Suche nach Informationen über PSL. Aktuell habe ich mir 
das Buch "A Particial Introduction to PSL" ausgeborgt, nur leider wird 
die kurze Zeit in der das Buch verfügbar ist nicht ausreichen um es ganz 
zu lesen.
Google selbst brachte mich leider auch nicht weiter und privat ist das 
mir das Buch doch mit in etwa 100E zu teuer.

Kennt jemand gute Seiten und erweiterte Infos über das Thema im Internet 
oder eine billig Alternative zu diesm Buch?

Viele Dank im Vorraus,
Daniel Weiplinger

Autor: T.M. (Gast)
Datum:

Bewertung
0 lesenswert
nicht lesenswert
Mhm, ich kenne auch nichts weiter dazu, was frei verfügbar wäre. Nur 
hier und da paar einfache Examples. Und natürlich von IBM, die das ganze 
als "sugar" vor einer Weile entwickelt haben (da gibts auch das LRM):
http://www.haifa.il.ibm.com/projects/verification/...

Ich werd demnächst einen Kurs von Doulos zu dem Thema besuchen, damit 
kommt man vielleicht einen guten Start in das Thema. Da gibts auch den 
"Golden Reference Guide" dazu. Privat hat das Ganze eh keinen großen 
Sinn, weil kostenlose Simulatoren PSL eh nicht unterstützen.

Antwort schreiben

Die Angabe einer E-Mail-Adresse ist freiwillig. Wenn Sie automatisch per E-Mail über Antworten auf Ihren Beitrag informiert werden möchten, melden Sie sich bitte an.

Wichtige Regeln - erst lesen, dann posten!

  • Groß- und Kleinschreibung verwenden
  • Längeren Sourcecode nicht im Text einfügen, sondern als Dateianhang

Formatierung (mehr Informationen...)

  • [c]C-Code[/c]
  • [avrasm]AVR-Assembler-Code[/avrasm]
  • [vhdl]VHDL-Code[/vhdl]
  • [code]Code in anderen Sprachen, ASCII-Zeichnungen[/code]
  • [math]Formel in LaTeX-Syntax[/math]
  • [[Titel]] - Link zu Artikel
  • Verweis auf anderen Beitrag einfügen: Rechtsklick auf Beitragstitel,
    "Adresse kopieren", und in den Text einfügen




Bild automatisch verkleinern, falls nötig
Bitte das JPG-Format nur für Fotos und Scans verwenden!
Zeichnungen und Screenshots im PNG- oder
GIF-Format hochladen. Siehe Bildformate.
Hinweis: der ursprüngliche Beitrag ist mehr als 6 Monate alt.
Bitte hier nur auf die ursprüngliche Frage antworten,
für neue Fragen einen neuen Beitrag erstellen.

Mit dem Abschicken bestätigst du, die Nutzungsbedingungen anzuerkennen.