Verificación avanzada de dispositivos lógicos programables

  1. Allende Recio, Miguel Ángel
  2. Villar Bonet, Eugenio
  3. Fernández Abia, Ana Isabel
Livre:
Diseño de circuitos integrados: actas del VI Congreso. Santander, 11/15 de noviembre de 1991

É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.