Académique Documents
Professionnel Documents
Culture Documents
Disear no es solo un conjunto de tcnicas o como hacer una receta, es un proceso en el que contribuyen muchas personas en los diferentes aspectos que dan lugar al producto final. Cada una de estas personas ve el producto desde un punto de vista diferente, tiene una experiencia diferente, y usa herramientas distintas. Juntos, Convierte un concepto en un producto real.
Especif. Sistema ISAs, Algoritmos Transf. RT Ec. Booleanas, FSMs Ecuaciones diferenciales
Estructural
Los bloques y las interconexiones (netlist o esquemas)
Fsico
Localizacin y propiedades fsicas reales
Celdas estndar Mdulos, Macroceldas Floorplanning, Bloques
Chip, Placa
Dominio Fsico
Diagrama Y de Gajsky-Khun
4
Dominio Conductual
Nivel algortmico
Nivel RT CPU, Memoria Procesador, Subsistema ALU, Reg,Mux Puertas, Flips-flops Nivel circuito Nivel lgico
Lgico
Valores lgicos (T,F), slo computacin, tiempo continuo
Transistores, conexiones
Ecuaciones diferenciales
RT (Register Transfer)
Palabras con valores discretos, control y procesamiento, tiempo discreto
Celdas estndar
Algortmico
Estructuras abstractas, dependencias en lugar de tiempo
Sistema
Relaciones entre subsistemas, sincronizacin y protocolos
Chip, Placa
Dominio Fsico
Diagrama Y de Gajsky-Khun
5
Dominio Conductual
Nivel algortmico
Nivel RT CPU, Memoria Procesador, Subsistema ALU, Reg,Mux Puertas, Flips-flops Nivel circuito Nivel lgico
Lgico
Tiempo de conmutacin, skew, rea equivalente
Transistores, conexiones
Ecuaciones diferenciales
RT
Tiempo de ciclo, mrgenes, puertas equivalentes
Celdas estndar
Mdulos, Macroceldas
Algortmico
Latencia, cadencia de datos, nmero de mdulos
Sistema
Ancho de banda, MIPS.
Floorplanning, Bloques
Chip, Placa
Dominio Fsico
Diagrama Y de Gajsky-Khun
6
Sntesis Anlisis
Dominio Conductual
Optimizacin
Mejora de una descripcin sin variar el nivel de abstraccin
Generacin
to en i am n ci fin c Re tra s Ab
Extraccin
Generacin / Extraccin
estructural fsico
Refinamiento / Abstraccin
Bajar/Subir el nivel de abstraccin en el mismo dominio
Dominio Fsico
Ejemplo
Representaciones en el dominio conductual, estructural y fsico de un reloj despertador sencillo. Especificacin
Visualizador de cristal lquido (LCD): muestra horas, minutos y segundos 5 conmutadores:
S1: ajuste de hora / S2: ajuste de alarma S3: avance de los minutos / S4: avance de las horas S5: conexin de la alarma
Modo de operacin
Si S1 est activo (cerrado) se ajusta la hora presionando S3 S4
minutos u horas +1 y se muestran en el LCD
Si S5 est activo (cerrado) la alarma se activa y emite un sonido cuando el reloj coincide con el tiempo ajustado en la alarma
8
Ejemplo
Representaciones en el dominio conductual Una posible representacin del comportamiento (funcionamiento) del reloj despertador consiste en entenderlo como 3 procesos concurrentes (paralelos):
Reloj
Ajuste Alarma
Ejemplo
Representaciones en el dominio conductual: diagramas de flujo
Reloj
Modo de operacin
Cada pulso de 1 segundo incrementa el valor de segundos Las cuentas, mdulo 60, 60 y 12, ponen a 0 la cuenta de segundos, minutos y horas
1 entrada (Pulse) 6 variables internas (Seconds, S display, Minutes, M display, Hours, H display) 10
Ejemplo
Representaciones en el dominio conductual: diagramas de flujo
Ajuste
Modo de operacin
Si S1 est activo (cerrado) se ajusta la hora presionando S3 S4
M o H +1 al LCD
Ejemplo
Representaciones en el dominio conductual: diagramas de flujo
Alarma
Modo de operacin
Se comprueba que minutos y horas coincidan con los minutos y horas de la alarma y si S5 est activo se emite un sonido 1 salida (Buzz)
12
Ejemplo
Representacin en el dominio estructural: las representaciones en el dominio conductual no indican la estructura del sistema
Sin embargo, variables y asignaciones pueden implicar un modelo no siempre ptimo de la estructura Parte DIGITAL: 3 contadores (S, M y H cnt) 2 registros (Mreg, Hreg) 1 LCD (S, M y H display) 2 comparadores (Minute, Hour comparator) 1 valor constante (1 lgico)
13
Ejemplo
Representacin en el dominio estructural: las representaciones en el dominio conductual no indican la estructura del sistema
Sin embargo, variables y asignaciones pueden implicar un modelo no siempre ptimo de la estructura Parte ANALGICA: 1 oscilador / 1 altavoz 1 generador de pulsos (ADC) 1 generador de sonidos (DAC)
14
Ejemplo
Representacin en el dominio fsico:
PCB (Printed Circuit Board Placa de Circuito Impreso)
Parte analgica: oscilador, generador de pulsos y sonidos Toda la parte digital en un chip Resto de componentes: conmutadores, caja para bateras, pistas de metal, LCD
PCB
Vista externa
15
Proceso de diseo
Los pasos tomados desde la concepcin hasta la fabricacin de un producto
No es fijo, ni lineal existen iteraciones Depende de la empresa, de los equipos de trabajo, de la tecnologa, de las herramientas, del conjunto de aplicaciones, etc.
Especificaciones del diseo Bibliotecas de componentes Sntesis del diseo Anlisis del diseo Documentacin Metodologas del proceso de diseo
Arribaabajo (Top-down) Abajoarriba (Bottom-up) Mixta la aplicada en realidad
16
Proceso de diseo
Especificaciones del diseo
Definen el funcionamiento y las interfaces del producto
Diseo esquemtico de la arquitectura Diagrama de bloques de alto nivel descrito mediante lenguaje natural, pseudo-algoritmos o algoritmos Las especificaciones ejecutables permiten verificar, analizar y sintetizar mediante herramientas CAD
Biblioteca de componentes
Constituyen los bloques internos de la arquitectura
Dependientes de la tecnologa A distintos niveles de abstraccin y distintas prestaciones Diseo cerrado para un uso fiable por parte de otros equipos
Proceso de diseo
Caractersticas de los componentes de la biblioteca ... /...
Requisitos elctricos, rangos de tensin y corriente de las entradas Disipacin de calor, consumo de potencia Retardos, relaciones y sincronizacin entre las seales Modelos para simulacin, sntesis, diseo fsico y verificacin para las distintas herramientas CAD empleadas
18
Proceso de diseo
Tipos de sntesis ... /...
Sntesis de sistema: especificacin procesadores, memorias y ASICs Sntesis de alto nivel: algoritmos, ISAs registros, ALUs, multiplexores Sntesis lgica: expresiones booleanas puertas y biestables Sntesis fsica: puertas esquemas geomtricos, configuraciones elctricas
Proceso de diseo
Documentacin
Detalla todos los aspectos del proceso de diseo
Se debe realizar durante todo el ciclo de vida del diseo Esquemtica para los consumidores, y centrada en el comportamiento y en los interfaces fsicos y temporales Detallada para el reuso interno en otros productos de la compaa
20
Herramientas CAD
El proceso de diseo est apoyado en herramientas informticas de ayuda al diseo, herramientas CAD Computer Aided Design
Hay herramientas muy especializadas y consolidadas desde hace tiempo Hay un campo de trabajo muy amplio en la creacin de herramientas Existen distintas herramientas para distintas tareas
21
Herramientas CAD
Captura y modelado
Permiten describir el diseo en distintos dominios y niveles
Captura de esquemas grficos geometras, puertas lgicas, bloques, etc. tiles para modelar en dominios estructurales y de nivel de abstraccin medio-bajo. En desuso. Los lenguajes de descripcin de hardware VHDL, Verilog permiten modelar en todos los dominios y casi todos los niveles de abstraccin. Mejoran la documentacin y el anlisis. En consolidacin. Las descripciones ejecutables avanzan hasta el nivel de sistema. Mejoran la verificacin. En expansin.
Sntesis
Automatizan la creacin de estructuras desde comportamientos ... / ...
Sntesis lgica: convierte ecuaciones booleanas en esquemas con puertas lgicas, minimizando su nmero, reduciendo el retardo y el consumo Sntesis secuencial: convierte comportamientos en mquinas finitas de estados con el mnimo nmero de elementos de memoria y de estados, y con codificaciones que reducen costes combinacionales
22
Herramientas CAD
Automatizan la creacin de estructuras desde comportamientos ... / ...
Sntesis de alto nivel o comportamental: convierten expresiones aritmticas, flujos de datos y control, o algoritmos en estructuras RT, minimizando tiempos de ejecucin y rea consumida
Verificacin y simulacin
Comprueban si el funcionamiento del diseo es el deseado
Esto no es posible si no se dispone de una especificacin ejecutable Se puede asegurar que la estructura sintetizada desde el comportamiento es correcta por construccin verificacin formal mediante manipulacin algebraica o demostradores de teoremas Se puede asegurar que los caminos crticos verificacin temporal respetan los requisitos temporales Ambas verificaciones son muy lentas al explorar todas las posibilidades de las entradas La tcnica ms utilizada es la simulacin prueba de un conjunto reducido de todas las posibles combinaciones de las entradas Disear una simulacin adecuada es una tarea valiosa, pero difcil y lenta
23
Herramientas CAD
Diseo fsico
Permiten colocar e interconectar los componentes fsicos en Chips o PCBs
Herramientas de colocacin Placement optimizan la colocacin de celdas y componentes en funcin de sus dimensiones e interfaces minimizando el rea Herramientas de interconexin Routing optimizan el tipo, longitud y retardos de los cables de interconexin entre celdas y componentes. Esto incluye alimentaciones, seales de inicio y relojes
Test
Detectan fallos en los circuitos
Generan patrones de test Test Pattern Generators previos y posteriores a la fabricacin capaces de detectar fallos comprobando el mximo nmero de caminos Detectan cortocircuitos, circuitos abiertos, etc. con ndices de cobertura cercanos al 100%
24
Dudas
?
25