Results 1 to 10 of about 481,437 (293)
Безопасность информационных технологий, 2013 Reversibility of ongoing transformation may soon become an important criterion for logic synthesis. It was proved that every even permutation can be implemented without temporary storage using NOT, CNOT, and TOFFOLI gates. There exists group theory based
Dmitry Vladimirovich Zakablukov
doaj +1 more source
Logical minimization for combinatorial structure in FPGA
Informatika, 2021 The paper describes the research results of application efficiency of minimization programs of functional descriptions of combinatorial logic blocks, which are included in digital devices projects that are implemented in FPGA.
P. N. Bibilo +2 more
doaj +1 more source
Linear Optimization Models for Maj-3 and Maj-5 Exact Synthesis
IEEE Access, 2022 Due to the physical restriction of current CMOS technology, the study of majority based nanotechnologies has been progressing steadily. In this paper, we present a new exact synthesis algorithm for majority-of-three and majority-of-five boolean functions.
Evandro Catelani Ferraz +1 more
doaj +1 more source
Logic Encryption for Resource Constrained Designs
IEEE Access, 2021 Logic Encryption is a hardware security technique that protects integrated circuit designs that are fabricated at untrusted pure play foundries from being pirated or maliciously modified.
David M. Luria, Ranga Vemuri
doaj +1 more source
Reinforcement Learning in the Problem of Synthesis of Majority Schemes
Современные информационные технологии и IT-образование, 2021 The article presents an approach to the synthesis of combinational-logic circuits using artificial neural networks (ANNs). The presented method is focused on the use of a perspective basis using the majority function (a Boolean function of three ...
Sergey Gurov +2 more
doaj +1 more source
State Merging and Splitting Strategies for Finite State Machines Implemented in FPGA
Applied Sciences, 2022 Different strategies for the combination of merging and splitting transformation procedures for incompletely specified finite state machines implemented on field-programmable logic devices are offered.
Adam Klimowicz, Valery Salauyou
doaj +1 more source
On Transformation of a Logical Circuit to a Circuit with NAND and NOR Gates Only [PDF]
International Journal of Electronics and Telecommunications, 2018 In the paper we consider fast transformation of a multilevel and multioutput circuit with AND, OR and NOT gates into a functionally equivalent circuit with NAND and NOR gates.
Baranov Samary, Andrei Karatkevich
doaj +1 more source
Garbled Circuits Reimagined: Logic Synthesis Unleashes Efficient Secure Computation
Cryptography, 2023 Garbled circuit (GC) is one of the few promising protocols to realize general-purpose secure computation. The target computation is represented by a Boolean circuit that is subsequently transformed into a network of encrypted tables for execution.
Mingfei Yu +2 more
doaj +1 more source
The Journal of Logic Programming, 1994 AbstractThis paper presents an overview and a survey of logic program synthesis. Logic program synthesis is interpreted here in a broad way; it is concerned with the following question: given a specification, how do we get a logic program satisfying the specification?
Deville, Yves, Lau, KK.
openaire +3 more sources
The Synthesis Method of Logic Circuits Based on the NMOS-Like RRAM Gates
IEEE Access, 2021 The synthesis method of logic circuits based on the RRAM (Resistive Random Access Memory) devices is of great concern in recent years. Inspired by the CMOS-like RRAM based logic gates, this work proposes a NMOS-like RRAM gate family.
Xiaole Cui, Ye Ma, Feng Wei, Xiaoxin Cui
doaj +1 more source