La descarga está en progreso. Por favor, espere

La descarga está en progreso. Por favor, espere

Especificación e Implementación de una Representación Intermediaria Unificada para Sistemas Digitales Gustavo Adolfo Patiño Álvarez Proyecto de Maestría.

Presentaciones similares


Presentación del tema: "Especificación e Implementación de una Representación Intermediaria Unificada para Sistemas Digitales Gustavo Adolfo Patiño Álvarez Proyecto de Maestría."— Transcripción de la presentación:

1 Especificación e Implementación de una Representación Intermediaria Unificada para Sistemas Digitales Gustavo Adolfo Patiño Álvarez Proyecto de Maestría Laboratorio de Microelectrónica Universidad de São Paulo, Brasil Enero-2006

2 Contenido Introducción Motivaciones. Objetivos. Representación de Diseño Representación Intermediaria (R.I). Modelos de Sistemas Digitales. UnIR: Una Representación Intermediaria Unificada. System Design Languages (SLDL). Generación e Implementación de la UnIR. Conclusiones.

3 Introducción Systems on Chip (SoCs) Flujo de Diseño Modelos y Lenguajes

4 Qué es SoC ? SoC es literalmente la integración de los componentes de un sistema en un chip. Normalmente un sistema electrónico es colocado en una tarjeta impresa (PCB) con varios ICs representando el sistema. Un SoC puede incluir: procesadores, lógica digital, FPGAs, unidades de DSP, memoria, circuitos análogos, y circuitos de interfase (A/D, D/A).

5 Common make-up for SoC Microprocessor Analog circuitry Low freq. Memory Analog circuitry RF freq. Digital Logic FPGA

6 Diseño en el nivel de sistemas MemoryDSP core 3rd Party IP uP Core User Logic Std. Interface User Logic System on Chip

7 Ejemplo de Diseño From ASIC to System on a Chip Satellite (DVB) Video Broadcasting Wireless GSM Pocket Communicator Multimedia Game System Design Methodology and EDA Enable SoC

8 Aplicaciones SoCs SoC

9 Diseño de SoCs Un SoC es usualmente diseñado en módulos. Lo que realmente define un SoC es la adición de circuiteria analógica a layouts digitales. La complejidad en el diseño de SoCs crea la necesidad por herramientas de CAD. Cada herramienta tiene una biblioteca de celdas para especificar un diseño de ASIC.

10 De la Especificación Funcional a la Implementación de HW/SW HW Synthesis HW Synthesis RTL/Gates Functional Specification Software Compilers Linkers RTOS Device Drivers Binary Partitioning Software Functional Specification Hardware Functional Specification Refinement Hardware Implementable Specification

11 Flujo de diseño de SoCs

12 Modelo del Sistema

13 Flujo de Diseño Genérico Especificación Modelado Validación Síntesis Implementación Representación de Diseño Estimativas Estímulos Biblioteca de Tecnologia [Lavagno, L. Netherlands, 1999]

14 Modelo Abstrato Modelo da R.I Front-end Back-end Modelo Abstrato de S.D (Comportamental e Estrutural) FSM Petri Net CDFG Netlist Eventos Discretos SDF E outros Linguagem de Especificação Modelo Abstrato de S.D (Comportamental e Estrutural) FSM Petri Net CDFG Netlist Eventos Discretos SDF E outros Back-end: Generación de código, o herramientas de síntesis, validación, visualización, etc. Modelos en el Flujo de Diseño Front-end: Analizador léxico y sintáctico del lenguaje Representação Intermediária

15 Motivaciones Motivaciones generales Trabajos relacionados

16 Motivaciones Generales Los sistemas actuales son complejos y heterogéneos. Actualmente los diseñadores de sistemas digitales usan una colección de herramientas que no están conectadas entre sí [F. Balarin, Y. Watanabe, 2003]. Como consecuencia, pueden surgir errores dificiles de identificar y eliminar. 7

17 Motivaciones Generales (cont...) Búsqueda por una representación formal y unificada en varios niveles de abstracción, y en los dominios comportamental y estructural. Búsqueda por una R.I. que permita a la colección de herramientas involucradas en un proceso general de diseño leer y escribir al mismo modelo de representación.

18 Representaciones Intermediarias halladas en la literatura Solar [Jerraya, TIMA, France, 1995] Es una representación de diseño de los conceptos del nivel de sistemas que están basados en flujo de control. Principalmente adaptado para propósitos de síntesis. Su modelo de representación es basado en un modelo FSM-extendido. Colif [Cesario, TIMA-France, 2001] Es una representación de diseño que modela la comunicación on-chip en diferentes niveles de abstracción, separando el comportamiento de los componentes, de la infraestructura de comunicación.

19 Representaciones Intermediarias hallados en la literatura (cont...) Funstate [Strehl, ETH-Zurich, 2002] Mezcla aspectos de diferentes MoCs, sólo las tareas de diseño de planificación (scheduling) y verificación son enfocados, sin aportar una especificación de unificación. BNG (Behavioral Network Graph [Bergamaschi, IBM, 2002] RI para tareas de síntesis. Proporciona um camino para conectar la síntesis de alto nível com la síntese lógica. Red RTL/nivel de puertas-lógicas, la cual representa todos las máquinas de estado possibles que una especificación comportamental pode asumir.

20 Representaciones Intermediarias hallados en la literatura (cont...) Modelos propuestos como soluciones particulares, útiles para los respectivos grupos de investigación, no obstante, diseñados para manipular sólo algunos niveles de abstracción en el dominio comportamental.

21 Objetivos Objetivos Generales Objetivos Específicos

22 Objetivos Generales Estudio de los conceptos de modelado presentes en el flujo de diseño de los sistemas digitales (SD). Análisis de varios de los modelos de computación y de los modelos estructurales más desarrollados y utilizados en el modelado de SD.

23 Objetivos Generales (cont…) Basándose en los modelos existentes, el desarrollo de una representación intermediaria (RI) que unifique algunos modelos de computación y modelos estructurales. Concepción de una RI extensible a nuevos modelos de computación. Ejemplo de generación e implementación de la representación intermediaria desarrollada.

24 Objetivos Específicos Capturar los objetos y la semántica de algunos de los modelos de computación más importantes y utilizados. Representación jerárquica de un sistema en una descripción estructural y/o comportamental. Modelado en los cuatro niveles de abstracción del flujo de diseño de S.D. (Nivel de sistemas hasta el nivel de puertas lógicas). Representación separada de los conceptos de computación y comunicación.

25 Objetivos Específicos (cont...) Una representación intermediaria disponible para los diferentes proyectos desarrollados el grupo G-SEIS (LME-USP). Ejemplo de generación e implementación de la RI para sistemas descritos en SystemC.

26 Representación de Diseño Dominios de descripción y niveles de abstracción Separación de Computación y Comunicación.

27 Diagrama Y (Gajski – U. of California, 1994) Dominios de descripción y niveles de abstracción

28 Separación de Computación y Comunicación Granularidad del tempo. Modelamiento separado de los elementos de Computación y Comunicación. [Cai, Gajski, 2003]

29 Representación Intermediaria Definición Características

30 Definición Estructura de datos que captura parcial o completamente los detalles de la descripción de un programa o sistema, dada en un respectivo lenguaje de programación (C++, Java) o de especificación (VHDL, SystemC, etc.).

31 Características Captura el modelo abstracto (comportamental o estructural) representado en el lenguaje. Almacena la información de diseño necesaria para las tareas de partición (partitioning), asignación (allocation), síntesis lógica, estimación y visualización gráfica de SD. Modelo(s) Abstrato(s) Representación intermediaria lenguaje de Especificación Herramienta De Alocación Herramienta De síntesis partición Parsing

32 Modelos de Sistemas Digitales Modelos Homogéneos de Computación Modelos Heterogéneos Modelos Estructurales

33 FSM (e sus derivaciones) [Gill, A. NY, 1962] FSMD, CFSM, HCFSM, PSM. Sistemas de Eventos Discretos (DE). [Cassandras, Boston, 1993] Redes de Petri. [Petri, C. A.; Bonn; 1962] HLPN, CPN. Grafos de Flujo de Datos. [Davis, A. L. IEEE Computer, 1982] Modelos de Computación Homogéneos

34 Modelos Heterogéneos Solar [Jerraya, TIMA, France, 1995] Colif [Cesario, TIMA-France, 2001] SPI [Ziegenbein, ETH-Zurich, 2001] Funstate [Strehl, ETH-Zurich, 2002] Tagged Signal Model (TSM) [Lee, Sangiovanni-Vincentelli, Berkeley, 1999] Metropolis [Sangiovanni-Vincentelli, Berkeley, 2003]

35 Modelos Estructurales Modelo en el nivel de Puertas Lógicas. Modelo en el nivel RTL. Modelo en el nivel de Sistemas.

36 UnIR: Una Representación Intermediaria Unificada Definición Modelo de Objetos Ejemplos de Representación en UnIR

37 Definición UnIR: Un ified I ntermediate R epresentation. Representación intermediaria que unifica en un sólo modelo una gran cantidad de las características que poseen los diferentes niveles de abstracción y dominios de descripción estructural y comportamental.

38 Definición (cont...) Soporta múltiples modelos de computación, tales como Redes de Petri, FSM, grafos de flujo de datos, y varias características de modelos heterogéneos como FunState y Metropolis.

39 Process: (Computación) Medium Process Scene Behavior Fields Modelo de Objetos

40 Fields: Port Interface Variable Link Constant Modelo de Objetos

41 Medium: (Comunicación) Process Medium Scene Service Fields Modelo de Objetos

42 Scene: Scene Register Function Link Fields Modelo de Objetos

43 Representación de Máquinas de Estados en UnIR SceneType:State

44 Representación de Redes de Petri en UnIR Value=1 Value=0 SceneType:Transition RegisterType: Token

45 Representación en UnIR de Modelos en el Nivel de Sistemas

46 System Design Languages (SLDL) HDL-Based Flow C++ Based Flow SystemC-Based Flow

47

48 Current Methodology Specification Modeling in HDL Verification in C/C++ Modeling in C/C++ Verification in HDL Synthesis Need a uniform system modeling language manual conversion Problems Disconnection between system model and HDL model. Manual conversion from C to HDL is time consuming and error prone. Test created for C model cant be run against HDL model.

49 System Design Languages Requirements Modeling at various levels of abstraction Support SW as well as HW Executable specification for easy simulation and evaluation Fast simulation for efficient design space exploration Accurate modeling Separation of computation from communication for design reuse Support good design tools/environment

50 System Design Languages (cont...) Examples C/C++-based: SystemC, SpecC HDL-based: SystemVerilog

51 SystemVerilog Extension to Verilog Key enhancements A unified assertion language for both simulation and formal verification Object oriented C++ like classes Interfaces to encapsulate communication and protocol checking C like data types such as int and Structures and unions Strings and dynamic arrays Pass by reference to tasks, functions, and modules Semaphore and mailbox inter-process communication and synchronization Direct Programming Interface (DPI) for direct call to C functions and Verilog functions

52 Verilog (Gateway) 1980s 1995 SystemVerilog V3.0 (Accellera) 2002 Cadence acquired Gateway and opened Verilog 1989 IEEE standardized Verilog (IEEE Std. 1364), Verilog 95 SUPERLOG (Co-Design) 1997 SystemVerilog V Verilog SystemVerilog history

53 SpecC Extension to ANSI-C Constructs are added to support Behavioral and structural hierarchy Concurrency Timing Communication (behavior, channel, interface) Synchronization (event, wait, notify) State transition for FSM Exception handling (abortion, interrupt) Hardware data types (bit-vector)

54 SpecC (cont…) History First version was developed in 1997 at UC Irvine. SpecC Open Technology Consortium (STOC) was founded in SpecC v2.0 approved by STOC in 2002

55 SystemC C++ class library to create a cycle-accurate model of software algorithms, hardware architecture, and interfaces of SoC.

56 SystemC (cont…) Constructs added to standard C++ Notion of time Concurrency Reactive behavior Hardware data types Advantages Familiar to the engineering community Easy to write and debug Concurrent design of software and hardware Fast simulation Can use C/C++ programming environments

57 Scenic UC IrvineSynopsys IMEC Frontier Design SystemC V0.9 by OSCI (Open SystemC Initiative) Mid of 1990s 1999 SystemC V SystemC V SystemC history

58

59

60 SystemC: What it is... A library of C++ classes Processes (for concurrency) Clocks (for time) Hardware data types (bit vectors, 4-valued logic, fixed-point types, arbitrary precision integers) Waiting and watching (for reactivity) Modules, ports, signals (for hierarchy) A light-weight simulation kernel

61 … And what SystemC is not A replacement for Verilog and VHDL and associated simulation tools. The most efficient simulation and debugging environment for C++-based designs. A compiled simulator with its own debugger would be a better environment

62 What SystemC is useful for... Modeling system architecture Untimed Transaction-accurate Clock-cycle-accurate Modeling hardware (processors, peripherals, ASSPs, ASICs) Algorithmic Behavioral RTL Modeling software

63 …and what SystemC is not useful for Modeling dataflow systems It can be done, but not efficiently Modeling analog and RF systems It can be done, but not accurately Modeling MEMS (Micro Electro- Mechanical Systems) Cannot be done today

64 SystemC Language Arquitecture

65 Modern System Design Flow

66

67

68

69 Structure of a SystemC Program Module portsprocesseschannels in out inout methods threads constructor events Sensitivity list

70

71 Generación e Implementación de la UnIR Flujo de Creación de una RI Selección del Ambiente de Trabajo Implementación del Parser Máquina de Traducción Estructura de datos de UnIR Experimentos Ventajas de las Herramientas Implementadas

72 Flujo general de creación de una RI Descripción en un lenguaje SLDL o HDL. Parser. Árbol Sintáctico Abstracto (AST) e Tabla de símbolos. Traductor o Máquina de Traducción. Representación intermediaria (RI).

73 Selección del Ambiente de Programación SystemC (lenguaje para el diseño de sistemas de HW/SW). C++, STL, e programación orientada a objetos.

74 Selección del Ambiente de Programación (cont...) GNU-Linux. ANTLR(ANoTher Language Recognizer): [Terence Parr, University of San Francisco] Características similares a las de Bison y de Flex de GNU. Lenguaje y plataforma para ayuda en la creación del: Analizador Léxico y Sintáctico del lenguaje SLDL. Analizador semántico del modelo do sistema.

75 Implementación del Parser Identificación de las reglas gramaticales de SystemC para escribir el código del Analizador léxico y Sintáctico. ANTLR: Plataforma que genera el Parser a partir de la especificación de las reglas gramaticales del lenguaje analizado. Generación del Árbol Sintáctico Abstracto (AST).

76 Máquina de Traducción Recorre el AST generado con el fin de buscar la información deseada del sistema digital descrito en el lenguaje de especificación. En el recorrido de la AST, se extrae la información del sistema descrita por símbolos léxicos del lenguaje. Mientras se hace el recorrido, se definen acciones semánticas para capturar la información y llevarla a la UnIR.

77 Mapeado de SystemC en la UnIR

78 Experimentos GCD (Greatest Common Divisor) Ejemplos de CDFGs en SystemC.

79 Codificación de las reglas gramaticales de SystemC Estudio de las reglas gramaticales de C++. Cómo es posible insertar las reglas gramaticales de SystemC en las reglas gramaticales de C++ ? Especificación en Java de las reglas gramaticales de SystemC usando la plataforma ANTLR.

80

81

82 Estructura de datos de la UnIR

83 Máquina de Traducción

84 Ventajas de las Herramientas Implementadas Extensibilidad Fácilmente extendidas para futuras evoluciones del lenguaje SystemC. La estructura de datos de la RI también puede ser extendida mediante nuevas clases, siguiendo los esquemas de jerarquía estructural e listas enlazadas utilizados en el proyecto. Adaptabilidad El conjunto de clases definidas para la UnIR es totalmente independiente de la herramienta de Parser utilizada.

85 Ventajas de las Herramientas Implementadas (Cont...) Eficiencia La eficiencia de las herramientas de parsing e de traducción es garantizada por el uso de la plataforma ANTLR en la especificación de las tareas de generación de los códigos fuente de las herramientas del Parser e del traductor del AST (Tree-Walker).

86 Conclusiones Conclusiones generales Trabajos Futuros

87 Conclusiones Generales Desarrollo de un modelo de representación intermediaria que busca la unificación de niveles de abstracción y de dominios de descripción. Modelado conjunto de diferentes modelos de Computación. Modelado separado de la Computación e de la Comunicación. Representación jerárquica de los sistemas. Útil para extraer la información de diseño de un lenguaje tal como SystemC.

88 Trabajos Futuros Construir una interfase de procedimientos entre o desarrollador de herramientas y los objetos de la RI. Expandir el front-end desarrollado con la inclusión de más ítems de la sintaxis y gramática del lenguaje SystemC. Implementar más modelos abstractos como FSM, Redes de Petri, etc. En la traducción del AST para la RI.

89 Trabajos Futuros (cont...) Integrar el software del front-end desarrollado y la estructura de datos de la UnIR, con herramientas desarrolladas por el Grupo SEIS.

90 Muchas Gracias !!! Gustavo Adolfo Patiño Alvarez


Descargar ppt "Especificación e Implementación de una Representación Intermediaria Unificada para Sistemas Digitales Gustavo Adolfo Patiño Álvarez Proyecto de Maestría."

Presentaciones similares


Anuncios Google