En este trabajo, presentamos un algoritmo de síntesis lógica que realiza la asignación de estados de máquinas de estados finitos (fsm). El algoritmo sintetiza estas máquinas aprovechando los elementos de memoria que son necesarios para su realización para incorporar capacidad de auto-test mediante registros de desplazamiento realimentados (lfsr).
Además se consigue reducir el área ocupada por la lógica combinacional, utilizando los registros de desplazamiento en la operación en modo normal de la fsm.
© 2001-2026 Fundación Dialnet · Todos los derechos reservados