Resumen de Verificación avanzada de dispositivos lógicos programables
Miguel Ángel Allende Recio, Eugenio Villar Bonet, Ana Isabel Fernández Abia
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.
