Lenguaje de diseño del sistema de confluencia El lenguaje de diseño del sistema de confluencia es un idioma para el diseño del sistema reactivo.
Descargar ahora

Lenguaje de diseño del sistema de confluencia Clasificación y resumen

Lenguaje de diseño del sistema de confluencia Etiquetas

sistema diseño sistema reactivo diseño de sistemas reactivo

Lenguaje de diseño del sistema de confluencia Descripción

El lenguaje de diseño del sistema de confluencia es un idioma para el diseño del sistema reactivo. Confluence es un idioma para el diseño reactivo sincrónico del sistema. Un programa de confluencia puede generar lógica digital para una plataforma FPGA o ASIC, o código C para software duro en tiempo real.Confluencia combina las metodologías basadas en componentes de Verilog y VHDL con la expresividad de la programación funcional de orden superior. En comparación con VeriLog, VHDL , y C, los sistemas diseñados en la confluencia resultan en una reducción de código 2x a 10x, lo que hace que la fuente sea más fácil de administrar y reutilizar. Y debido a que la confluencia se basa en un compilador correcto por construcción, se reducen los errores que algunos se evitan por lo tanto, reduciendo así el esfuerzo de verificación general. Aquí hay algunas características clave de "Lenguaje de diseño del sistema de confluencia": · Sintaxis intuitiva y fácil de aprender: productivo el primer día. · Exprese más en mucho menos: reducir el código fuente en 3-10 veces. · RTL síncrono: sigue sincrónicamente Nivel de abstracción para hardware serio. · Paralelismo, jerarquía y flujo de datos implícitos: se siente como HDL. · Sincronización implícita: conecte automáticamente todos los relojes, restablece y habilita. · Garantias limpias RTL: evita errores comunes y prácticas de diseño de mal diseño. · Recursión y Tipos de datos de orden superior: Ingrese nuevas dimensiones de la reutilización. · Unificación variable: un conector de orden superior. · Pasteles léxicos: Limpiar la gestión del espacio de nombres. · Transparencia referencial: garantiza el diseño y la verificación escalables. · Sistema de módulo integrado: diseño en la gran (Archivos de fuente múltiple). · Genera FNF, que a su vez genera: - VeriLog- VHDL- C- JHDL- NUSMV- FNFINSTALLACIÓN1. Extraiga la instalación: $ tar -xzf confluence-0.10.0.tar.gz 2. Configure las variables de entorno CF_LIB y CF_ENV (agregue las siguientes líneas a .bashrc o .bash_profile): Exportar CF_LIB = / lib # si la distribución binaria expieta cf_lib = / lib / confluencia # si se instala desde la fuente Exportar CF_ENV = $ CF_LIB / BASE.CF3. Instale OCAML (http://caml.inria.fr/ocaml/distrib.html).4. Compila e instala las herramientas. Establezca la ubicación del prefijo: $ make prefix = / usr install5. Para compilar e instalar el generador de código FNF Icarus, consulte SRC / IVL / Makefile.

Lenguaje de diseño del sistema de confluencia Software relacionado