Tool für formale Spezifikation

herbert Gast 02.01.2010 13:04 #1538488

Lesenswert?

•

Hi

Ich bin mir zwar nicht sicher ob hier das Richtige Forum ist aber ich 
hätte eine Frage und hoffe das vielleicht jemand eine Antwort drauf hat. 
Ich suche ein Tool zur formalen Spezifikation welches aus der 
Spezifikation automatisch Software und/oder Hardware (VHDL) erzeugen 
kann. Wenn möglich sollte es auch gratis sein oder zumindest für 
evaluierungszwecke Gratis.

Habe schon folgende Tools gefunden aber ich würde gerne wissen ob es 
noch andere gibt. Cofluent, Active-HDL, BridgePint und Esterel. 
Vielleicht kennt jemand ja noch ein anderes Tool. Danke im Vorhinein für 
alle Antworten und Hinweise! DANKE

Mfg Gast

Antwort Zitieren Bearbeiten Thread verschieben Thread sperren Anmeldepflicht aktivieren Anpinnen Thread löschen Thread mit anderem zusammenführen Beitrag melden

Sven P. Gast 02.01.2010 13:16 #1538507

Lesenswert?

•

▲
▼

Schau dich mal bei gängigen FPGA-Buden um, so Quartus, Altium und 
Konsorten. Der Aufwand für die Synthese ist beachtlich, entsprechend 
teuer die Tools.

Antwort Zitieren Bearbeiten Löschen Beitrag melden

Tool für formale Spezifikation

Antwort schreiben