Alle Optionen
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Quellcode: confluence  ]

Paket: confluence (0.10.6-7)

Links für confluence

Screenshot

Debian-Ressourcen:

Quellcode-Paket confluence herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

Sprache für synchrone, reaktive Entwicklung von Hardware-Systemen

Von der Webseite des Projekts:

Ein »Confluence«-Programm kann sowohl digitale Logik für eine FPGA- oder ASIC-Plattform als auch C-Code für Software mit harten Echtzeitanforderungen erzeugen.

Confluence kombiniert die komponentenbasierte Methodenlehre von Verilog und VHDL mit der Ausdruckskraft funktionaler Programmierung höherer Ordnung.

Die Codegröße von mit Confluence entwickelten Systemen liegt bei 10 bis 50 Prozent der Codegröße, die eine Entwicklung mit Verilog, VHDL oder C beansprucht. Daraus resultiert wiederum eine einfachere Wartung und Wiederverwendung des Quellcodes. Da Confluence auf einen Correct-by-Construction-Compiler vertraut, werden Fehler reduziert -- einige davon können gar nicht entstehen -- sodass der Gesamtaufwand für die Verifizierung verringert wird.

Markierungen: Software-Entwicklung: Compiler, C-Entwicklung, Maschinencode, Feld: field::electronics, implemented-in::ocaml, Benutzer-Schnittstellen: Kommandozeile, Rolle: role::program, scope::utility, Arbeitet mit: Quellcode

Andere Pakete mit Bezug zu confluence

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • enhances

confluence herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
amd64 550,9 kB3.604,0 kB [Liste der Dateien]