Resumen: Este artículo presenta Cristal, una nueva metodología y marco para construir redes de elección booleana. Específicamente, Cristal introduce un nuevo flujo de síntesis y mapeo basado en redes de elección, incluida la búsqueda de cono lógico representativo, la mutación estructural para generar diversas estructuras de elección a través de la saturación de igualdad y la selección de opción de rango de prioridad junto con la construcción y validación de la red de elección. A través de estas técnicas, Cristal construye menos opciones de calidad de mayor pero de mayor calidad.
Nuestros resultados experimentales demuestran que Cristal supera a la construcción de la red de elección booleana de vanguardia implementada en ABC en la etapa posterior al mapeo, logrando reducciones promedio de 3.85%/8.35% (área/retraso) en el modo orientado a retraso, 0.11%/2.74% en el modo de área de área de área y una reducción de tiempo de ejecución de 63.77777777 en un set de un tiempo de ejecución a gran escala a gran escala de diversas de diversos de diversos de diversos de diversos de diversos de diversos de diversos de diversos de diversos de diversos de diversos de diversos de diversos de diversos de diversos de diversos de diversas de diversos de diversas de diversas de diversos de diversas de diversas de diversas de diversas de diversas de diversas de diversas de diversas de diversas de diversas de diversas de diversas de diversas de diversas de diversas de diversas de diversas de diversas de diversas de diversas de diversas de diversas. IWLS 2005, ISCAS’89 y EPFL Benchmark Suites.
Publicado Originalme en export.arxiv.org El 20 de agosto de 2025.
Ver Fuente Original
