Verificación avanzada de dispositivos lógicos programables
- Allende Recio, Miguel Ángel
- Villar Bonet, Eugenio
- Fernández Abia, Ana Isabel
Argitaletxea: Universidad de Cantabria
ISBN: 84-87412-61-0
Argitalpen urtea: 1991
Orrialdeak: 491-496
Biltzarra: Congreso de Diseño de Circuitos Integrados (6. 1991. Santander)
Mota: Biltzar ekarpena
Laburpena
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.