En este trabajo se presentan los fundamentos de una nueva técnica de optimización booleana multinivel basada en la adición y eliminación de redundancias lógicas. Esta técnica es aplicable tanto a circuitos combinacionales como secuenciales, para optimización en área y en tiempo. La identificación de redundancias, para su posterior adición o eliminación, se lleva a cabo por medio de técnicas de ATPG basadas en el concepto de asignaciones necesarias. De entre todas las posibles redundacias que se pueden añadir, estas técnicas permiten identificar eficientemente aquellas que son capaces de generar nuevas redundancias en otros lugares del circuito, las cuales se pueden eliminar para obtener un circuito más pequeño y/o más rápido. Los resultados obtenidos demuestran la eficiencia de esta nueva técnica.
© 2001-2025 Fundación Dialnet · Todos los derechos reservados