FIŠER, P., et al. SAT-Based Generation of Optimum Circuits with Polymorphic Behavior Support. JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS. 2019, 28(Supp01), ISSN 0218-1266. DOI 10.1142/S0218126619400103.
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 or enumerate all optimum implementations, while the allowed target gate types and gates costs can be arbitrarily specified. Polymorphic circuits represent a newly emerging computation paradigm, where one hardware structure is capable of performing two or more different intended functions, depending on instantaneous conditions in the target operating environment. In this paper we propose the first method ever, generating provably size-optimal polymorphic circuits. Scalability and feasibility of the method are documented by providing experimental results for all NPN-equivalence classes of four-input functions implemented in AND–Inverter and AND–XOR–Inverter logics without polymorphic behavior support being used and for all pairs of NPN–equivalence classes of three-input functions for polymorphic circuits. Finally, several smaller benchmark circuits were synthesized optimally, both in standard and polymorphic logics.
eng
dc.format.mimetype
application/pdf
dc.language.iso
eng
dc.publisher
World Scientific Publishing, Ltd.
dc.relation.ispartof
JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS
dc.subject
Boolean functions
eng
dc.subject
logic synthesis
eng
dc.subject
SAT
eng
dc.subject
PBO
eng
dc.subject
optimum implementation
eng
dc.subject
exact synthesis
eng
dc.subject
polymorphic circuits
eng
dc.title
SAT-Based Generation of Optimum Circuits with Polymorphic Behavior Support
info:eu-repo/grantAgreement/Czech Science Foundation/GA/GA16-05179S/CZ/Fault-Tolerant and Attack-Resistant Architectures Based on Programmable Devices: Research of Interplay and Common Features/
dc.relation.projectid
info:eu-repo/grantAgreement/EC/OPVVV/CZ.02.1.01%2F0.0%2F0.0%2F16_019%2F0000765/CZ/Research Center for Informatics/-
dc.relation.projectid
info:eu-repo/grantAgreement/Ministry of Education, Youth and Sports/LM/90042/CZ/CESNET II - E-infrastruktura CESNET - LM2015042 (2016–2019)/CESNET II
dc.relation.projectid
info:eu-repo/grantAgreement/Ministry of Education, Youth and Sports/LM/90085/CZ/CERIT-SC - CERIT Scientific Cloud - LM2015085 (2016–2019)/CERIT-SC