Prohlížení Publikační činnost ČVUT dle předmětu "exact synthesis"
Zobrazují se záznamy 1-1 z 1
-
SAT-Based Generation of Optimum Circuits with Polymorphic Behavior Support
(World Scientific Publishing, Ltd., 2019)This paper presents a method for generating optimum multi-level implementations of Boolean functions based on Satisfiability (SAT) and Pseudo-Boolean Optimization (PBO) problems solving. The method is able to generate one ...