Modelado de fallos y estimación de los procesos de validación funcional de circuitos digitales descritos en VHDL sintetizables

• Autores: Teresa Riesgo
• Directores de la Tesis: J. Uceda (dir. tes.)
• Lectura: En la Universidad Politécnica de Madrid ( España ) en 1996
• Idioma: español
• Tribunal Calificador de la Tesis: Fernando Aldana Mayor (presid.), Carlos Alberto López Barrio (secret.), Salvador Bracho del Pino (voc.), L. García Franquelo (voc.), Joan Figueras Pamies (voc.)
• Calificación: Desconocido
• Materias:
  • Ciencias tecnológicas
    • Tecnología electrónica
      • Diseño de circuitos
• Texto completo no disponible (Saber más ...)
• Resumen

  • Esta tesis doctoral se enmarca dentro de las tecnicas de diseño de circuitos integrados, basadas en la utilizacion de lenguajes de descripcion hardware y sintesis automatica. Estas metodologias de diseño (denominadas top-down) han permitido el desarrollo de circuitos muy complejos en tiempos de diseño cortos. Existen, sin embargo, algunos puntos por desarrollar en estos entornos, especialmente en las tareas relacionadas con el test y la validacion funcional. En esta tesis se propone un metodo de estimacion de la cobertura de fallos desde descripciones vhdl previas a la sintesis del circuito. Con ello se permite que el diseñador pueda acoplar las tareas de diseño del circuito y desarrollo del test en la fase de diseño de la arquitectura y no posponer este ultimo a la fase de diseño logico. El metodo propuesto se basa en un modelo de fallo para descripciones vhdl sintetizables, definido de forma que represente fielmente los fallos de nivel logico. Este modelo de fallo se ha evaluado con un conjunto de ejemplos, con los que se ha estudiado la influencia de la sintesis del circuito, y se han cuantificado los errores cometidos en la estimacion. Los resultados muestran la validez del metodo y sus limitaciones, especialmente en aquellos circuitos que contienen grandes bloques de logica combinacional. En los aspectos relacionados con la validacion funcional, se propone un metodo para medir la calidad de los procesos de validacion basados en simulacion. Con el metodo propuesto, se puede obtener una medida objetiva y precisa de la calidad asi como una indicacion de la necesidad de completar el proceso de validacion. El metodo se basa en un modelo de error, definido como perturbacion del codigo vhdl que representa el diseño, y la medida de calidad se denomina cobertura de error. Con un conjunto de ejemplos se ha demostrado la viabilidad del metodo, desarrollandose un simulador de errores. Se ha comprobado que un conjunto de vecto