HTTP

Stichwortsuche
Paketsuche

Debianpakete
  appconfig
  cgi-extratags-perl
  ciphersaber
  courier
  courier
  courier-authlib
  dbix-easy-perl
  debaux
  interchange
  interchange-doc
  jfsutils
  libmime-lite-html-perl
  libtext-mediawikiformat-perl
  libtie-shadowhash-perl
  pure-ftpd
  pure-ftpd
  safe-hole-perl
  set-crontab-perl

Kunden/Partner
  B&N
  Box of Rain
  COBOLT NetServices
  ecoservice
  Gish Network
  IIP/IR Vienna
  Informa
  L & D Computer
  LinSoft IT
  M & D
  materialboerse.de
  Media Business Software
  Medical Business Solutions
  Net Stores
  NextCall
  RUEB
  Tenalt
  Transfair-Net GmbH
  Ulisses
  WebHostNY.com
  Wegacell
  West Branch Angler
  Wintime IT Solutions

confluence: language for synchronous reactive hardware system design

Distribution Debian stable
Abteilung electronics
Quelle confluence
Version 0.10.6-5+b2
Maintainer Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Beschreibung From the upstream website :
.
A Confluence program can generate digital logic for an FPGA or ASIC
platform, or C code for hard real-time software.
.
Confluence combines the component-based methodologies of Verilog and
VHDL with the expressiveness of higher order functional programming.
.
In comparison to Verilog, VHDL, and C, systems designed in Confluence
result in 2X to 10X code reduction, making the source easier to manage
and reuse. And because Confluence relies on a correct-by-construction
compiler, bugs are reduced--some are prevented altogether--thus
reducing the overall verification effort.
Abhängig vonlibc6 (>= 2.7-1)
Offizielle Seiten Paket Entwicklerinformationen Bugs (Binärpaket) Bugs (Quellpaket)
Download amd64





 Projekte

 Marktplatz für elektronische Bauelemente
 Mehr erfahren ...

 

 Foreign Service National Training Database
 Mehr erfahren ...

 

 Systemadministration für Internetagentur
 Mehr erfahren ...

 

 Reengineering e-procurement System
 Mehr erfahren ...

 

 Marktplatz für Musikinstrumente und Zubehör
 Mehr erfahren ...