|
|
|
confluence
language for synchronous reactive hardware system design
/Main/Debian/ia64/electronics/From the upstream website <http://www.confluent.org>: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.
Info:
Homepage: - Package version: 0.10.6-5+b2 Architecture: ia64 Distribution: Debian Filename: confluence_0.10.6-5+b2_ia64.deb Browse inside confluence_0.10.6-5+b2_ia64.deb:
Download confluence_0.10.6-5+b2_ia64.deb:
2007-05-25 ftp://ftp.linux.it/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://ftp.uni-frankfurt.de/pub/Mirrors3/debian.org/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://debian.lcs.mit.edu/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://ftp.kfki.hu/pub/linux/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://ftp.skynet.be/mirror1/debian.org/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://ftp.nz.debian.org/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2008-05-23 ftp://ftp.uni-stuttgart.de/pub/mirror/ftp.de.debian.org/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://ftp.uni-hannover.de/pub/mirror/linux/debian-mirror/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://ftp.port80.se/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://ftp.kulnet.kuleuven.ac.be/mirror/ftp.debian.org/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://24.215.0.24/Debian/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://ftp.rfc822.org/pub/mirror/ftp.debian.org/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://ftp.fr.debian.org/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://ftp.cl.debian.org/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://64.15.134.18/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://ftp.free.fr/.mirrors1/ftp.debian.org/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://ftp.ankara.edu.tr/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://ftp.fi.debian.org/pub/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://ftp.tu-ilmenau.de/Mirrors/ftp.de.debian.org/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://ftp.cvut.cz/mirrors/debian.org/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://161.53.160.16/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://ftp.carnet.hr/misc/.ftp.hr.debian.org/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://193.219.61.67/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://ftp.med.univ-tours.fr/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://ftp.sac.sk/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://64.50.238.52/.1/debian/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://ftp.crihan.fr/mirrors/ftp.debian.org/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://64.50.236.52/.1/debian/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://ftp.tiscali.nl/pub/mirror/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://ftp.demon.nl/disk3/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://147.52.159.12/mirrors/linux/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://ftp.wsisiz.edu.pl/pub/Linux/Debian/ftp.debian.org/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://77.88.19.68/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2008-05-22 ftp://ftp.uni-wuppertal.de/pub/linux/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://200.17.202.1/debian-dists/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://ftp2.sk.freebsd.org/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://ftp.lug.udel.edu/pub/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://200.17.202.16/debian-dists/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://ftp.tuke.sk/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2007-05-25 ftp://ftp.udc.es/mirror/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2008-05-23 ftp://sunsite.mff.cuni.cz/MIRRORS/ftp.debian.org/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2008-05-23 ftp://217.75.96.164/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2008-05-23 ftp://ftp.de.netclusive.de/pub/Linux/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2008-05-23 ftp://mir1.ovh.net/lv0/ftp.debian.org/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2008-05-23 ftp://ftp.nfsi.pt/pub/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2008-05-23 ftp://ftp.tudelft.nl/pub/Linux/ftp.debian.org/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2008-05-23 ftp://ftp.bononia.it/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2008-05-23 ftp://ftp.uni-mainz.de/pub/software/Linux/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2008-05-23 ftp://ftp.li.kernel.org/pub/.3/ftp.debian.org/pub/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
2008-05-23 ftp://ftp.uni-kl.de/pub/linux/debian/pool/main/c/confluence/confluence_0.10.6-5+b2_ia64.deb
| Results 1 - 1 |