| ‚Esterel Studio 5.0a‘ ist eine Softwaresammlung von Esterel für die Entwicklung und Verifizierung von komplexen Verbraucher- und Multimedia-SoCs. Die Software lässt den Benutzer eine Entwicklungsspezifikation einfangen und generiert dann automatisch die Hardwarebeschreibung in HDL-RTL oder C. Die Software baut eine Verifizierung in den Entwicklungsprozess ein, eliminiert die Mehrheit der funktionellen Fehler gleich zu Beginn des Entwicklungsprozesses und erlaubt dem Ingenieur ein Referenzmodell in Text und/oder Grafik zu entwickeln mit einem kompletten Pfad zur Correct-by-Construction und automatisierten Implementierung. Die Softwaresammlung beinhaltet einen Editor, Simulator, Thesenüberprüfung, und kumulative Status-Space-Coverage of Tests, VHDL, Verilog, C oder C++. |
| |
|
 |
|