Paquet : confluence (0.10.6-5 et autres)

Langage pour la conception de système matériel réactif et synchrone

Basé sur le site d'origine <http://www.confluent.org> :

Un programme Confluence peut créer de la logique numérique pour une plateforme FPGA ou ASIC ou bien du code C pour des logiciels temps-réels durs.

Confluence combine les méthodologies basées sur les composants de Verilog et de VHDL avec l'expressivité d'un langage de programmation de haut niveau.

Comparé à Verilog, VHDL et C, les systèmes conçus en Confluence ont un code deux à dix fois plus petit, rendant le code source plus facile à gérer et à réutiliser. Confluence se basant sur un compilateur correct par construction, les bogues sont donc réduits - certains sont totalement impossibles - et l'effort de vérification globale l'est aussi.

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