Verificación avanzada de dispositivos lógicos programables

• Autores: Miguel Ángel Allende Recio, Eugenio Villar Bonet, Ana Isabel Fernández Abia
• Localización: Diseño de circuitos integrados: actas del VI Congreso. Santander, 11/15 de noviembre de 1991, 1991, ISBN 84-87412-61-0, págs. 491-496
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen

  • El avance en la tecnología de fabricación de los PLDs, con el consiguiente aumento en complejidad y funcionalidad, ha incrementado la utilización de estos dispositivos en diseño electrónico [1-2]. La mejora en las herramientas de diseño de PLDs [3] contrasta con la escasez de herramientas y metodologías avanzadas de verificación, tarea que sigue dependiendo principalmente del diseñador. En el presente trabajo describimos la estructura y algoritmos de PLATINO, la herramienta de verificación avanzada de PLDs actualmente en desarrollo en el Grupo de Microelectrónica de la Universidad de Cantabria.