all options
squeeze  ] [  wheezy  ] [  jessie  ] [  stretch  ] [  sid  ]
[ Source: confluence  ]

Package: confluence (0.10.6-7 and others)

Links for confluence

Screenshot

Debian Resources:

Download Source Package confluence:

Maintainers:

External Resources:

Similar packages:

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.

Tags: Software Development: Compiler, C Development, Machine Code, Field: Electronics, Implemented in: OCaml, User Interface: Command Line, : qa::rfa, Role: Program, Scope: Utility, Works with: Source Code

Other Packages Related to confluence

  • depends
  • recommends
  • suggests
  • enhances

Download confluence

Download for all available architectures
Architecture Version Package Size Installed Size Files
amd64 0.10.6-7 550.9 kB3,604.0 kB [list of files]
armel 0.10.6-7+b1 239.1 kB2,892.0 kB [list of files]
i386 0.10.6-7 470.0 kB3,248.0 kB [list of files]
ia64 0.10.6-7+b1 234.9 kB2,892.0 kB [list of files]
kfreebsd-amd64 0.10.6-7 546.0 kB3,466.0 kB [list of files]
kfreebsd-i386 0.10.6-7 465.3 kB3,114.0 kB [list of files]
mips 0.10.6-7 234.8 kB2,892.0 kB [list of files]
mipsel 0.10.6-7 234.8 kB2,892.0 kB [list of files]
powerpc 0.10.6-7 521.7 kB3,368.0 kB [list of files]
s390 0.10.6-7+b1 234.9 kB2,892.0 kB [list of files]
sparc 0.10.6-7 515.0 kB3,360.0 kB [list of files]