Un algoritmo de enumeración implícita basado en BDDS para el asignamiento óptimo de FSMS

• Autores: María José Avedillo de Juan, José María Quintana Toledo, José Luis Huertas Díaz
• Localización: VIII Congreso Diseño de Circuitos Integrados: Málaga, 9 al 11 de noviembre de 1993, 1993, págs. 91-96
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen

  • Se describe una nueva estrategia de codificación de los estados de una máquina de estado finito síncrona (FSM) para minimizar el área de una implementación en dos niveles, que considera tanto ligaduras de entrada como de salida. Los aspectos más novedosos de la heurística desarrollada son: 1) la modificación del algoritmo de minimización simbólica de forma que el conjunto completo de relaciones de dominancia generado puede cumplirse con un número mínimo de variables de estado, 2) la formulación del problema de asignamiento como el de encontrar una codificación de los estados de la FSM que satisface el conjunto completo de relaciones de dominancia y minimiza una función coste que es una medida del grado de incumplimiento de las ligaduras de entrada, 3) la utilización de una estrategia de enumeración implícita, basada en la representación de las ligaduras como Diagramas de Decisión Binarios (BDDs), para explorar el espacio de soluciones. Con el nuevo algoritmo de asignamiento de estados se han obtenido implementaciones de máquinas de prueba estándares más económicas que con otros algoritmos ampliamente utilizados.