Listar Microelectrónica por tema "Satisfiability"
Mostrando ítems 1-2 de 2
-
SAT based environment for logical capacity evaluation of via configurable block templates
(2016) [Tesis]Structured ASICs with regular layouts comprise a design-based solution for IC manufacturing yield loss in nanometer technologies caused by photolithography distortions. Via-configurable structured ASICs is even a more ... -
Satisfiability-based covering of AIGs using KL-cuts
(2024) [Tesis]The rapid advancement of Very-large-scale integration (VLSI) silicon integration has revolutionized the electronics industry, enabling the integration of billions of transistors into a single integrated circuit. This ...