Browsing Microelectronics by Author "Peralta, Renato Donizete"
Now showing items 1-1 of 1
-
Satisfiability-based covering of AIGs using KL-cuts
Peralta, Renato Donizete (2024) [Thesis]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 ...

