Verificación avanzada de dispositivos lógicos programables
- Allende Recio, Miguel Ángel
- Villar Bonet, Eugenio
- Fernández Abia, Ana Isabel
Éditorial: Universidad de Cantabria
ISBN: 84-87412-61-0
Année de publication: 1991
Pages: 491-496
Congreso: Congreso de Diseño de Circuitos Integrados (6. 1991. Santander)
Type: Communication dans un congrès
Résumé
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.