Tool für formale Spezifikation

[herbert (Gast)]

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

[Sven P. (Gast)]

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.