Automatización del problema de asignación de estados en el diseño de sistemas secuenciales síncronos

Abstract

Cuando un alumno se introduce en el mundo del diseño de sistemas secuenciales síncronos se tropieza con dos problemas, minimización y codificación de estados, tanto más significativos cuanto menor número de puertas deseemos. Para la resolución del problema de minimización de estados existe un algoritmo, tan sencillo como largo y tedioso, que esta implementado en la mayoría de los entornos computacionales de diseño digital. Sin embargo, para la resolución del problema de asignación de estados, existen una serie de reglas difíciles de aplicar. Por este motivo se ha programado una herramienta, que a partir de la tabla de transiciones de estados minimizada, permite al alumno obtener los circuitos con menor número de puertas para los distintos tipos de biestables deseados.