Articulo de referencia

Especificación C

SpecC es un lenguaje de descripción de sistemas (SDL) o lenguaje de diseño a nivel de sistema (SLDL), y es una extensión del lenguaje de programación ANSI C. Se utiliza para fac...

SpecC es un lenguaje de descripción de sistemas (SDL) o lenguaje de diseño a nivel de sistema (SLDL), y es una extensión del lenguaje de programación ANSI C. Se utiliza para facilitar el diseño y la especificación de sistemas embebidos digitales , [ 1 ] proporcionando una mayor productividad al tiempo que conserva la capacidad de modificar un diseño a nivel funcional y de especificación, a diferencia de los HDL como Verilog y VHDL . Se puede crear un modelo arquitectónico que permite a otras herramientas mapear directamente el diseño en silicio o FPGA . El objetivo principal es la reutilización, el intercambio y la integración de IP en varios niveles de abstracción.

El lenguaje y la metodología de diseño fueron creados por Rainer Dömer y Daniel Gajski en el Centro de Sistemas Informáticos Integrados de la Universidad de California, Irvine, en 2001.

Entre los proyectos y metodologías de diseño similares se encuentra SystemC , un lenguaje de descripción de software (SDL) basado en C++ . Si bien este lenguaje rival ha tenido un uso mucho más extendido en la industria (aunque SpecC es popular en Japón ), SpecC conserva la simplicidad a la vez que proporciona las características esenciales de cualquier SDL, como la concurrencia (SpecC ofrece flujos paralelos y en paralelo), la sincronización , las transiciones de estado (no disponibles en Verilog ) y los tipos de datos compuestos .

Véase también

Referencias

  1. Dörmer, Rainer; Gerstlauer, Andreas; Gajski, Daniel (2002). Manual de referencia del lenguaje SpecC Versión 2.0 (PDF) . pág.  3. Consultado el 8 de noviembre de 2025 .
  • Sitio web oficialEdita esto en Wikidata
  • Informe técnico , 2006 ( PDF )