Results 11 to 20 of about 481,437 (293)
Synthesis of quantum logic circuits [PDF]
Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005., 2005 18 pages; v5 fixes minor bugs; v4 is a complete rewrite of v3, with 6x more content, a theory of quantum multiplexors and Quantum Shannon Decomposition.
Shende, Vivek V. +2 more
openaire +7 more sources
Transition Based Synthesis with Modular Encoding of Petri Nets into FPGAs
Advances in Electrical and Electronic Engineering, 2014 The paper describes a new method for the synthesis of the application specific logic controllers, targeted into the FPGA. The initial steps of the proposed control algorithm rely on the notion of a Petri net, which is an easy way to describe parallel ...
Arkadiusz Bukowiec +2 more
doaj +1 more source
On Ladder Diagrams Compilation and Synthesis to FPGA Implemented Reconfigurable Logic Controller
Advances in Electrical and Electronic Engineering, 2014 The paper presents synthesis process of a hardware implemented reconfigurable logic controller from a ladder diagram according to IEC61131-3 requirements. It is focused on the originally developed a high-performance LD processing method.
Adam Milik
doaj +1 more source
Technology mapping oriented to adaptive logic modules [PDF]
Bulletin of the Polish Academy of Sciences: Technical Sciences, 2019 This paper presents an innovative method of technology mapping of the circuits in ALM appearing in FPGA devices by Intel. The essence of the idea is based on using triangle tables that are connected with different configurations of blocks. The innovation
M. Kubica, D. Kania
doaj +1 more source
Reversible logic circuit synthesis [PDF]
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design - ICCAD '02, 2002 Reversible or information-lossless circuits have applications in digital signal processing, communication, computer graphics and cryptography. They are also a fundamental requirement in the emerging field of quantum computation. We investigate the synthesis of reversible circuits that employ a minimum number of gates and contain no redundant input ...
Shende, Vivek V. +3 more
openaire +2 more sources
Journal of Telecommunications and Information Technology, 2020 Functional decomposition is a technique that allows to minimize Boolean functions that cannot be optimally minimized using other methods, such as variable reduction and linear decomposition.
Tomasz Mazurkiewicz
doaj +1 more source
Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints [PDF]
, 2012 In this paper, we present a method for optimal control synthesis of a plant that interacts with a set of agents in a graph-like environment. The control specification is given as a temporal logic statement about some properties that hold at the vertices ...
Belta, Calin +2 more
core +2 more sources
IEEE Access, 2021 Due to the physical restriction of current CMOS technology, emerging technologies that have majority logic gate as a base component are being explored.
Vipul Kumar Mishra +6 more
doaj +1 more source
Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis [PDF]
, 2017 Temporal logic based synthesis approaches are often used to find trajectories that are correct-by-construction for tasks in systems with complex behavior. Some examples of such tasks include synchronization for multi-agent hybrid systems, reactive motion
Dathathri, Sumanth, Murray, Richard M.
core +2 more sources
Walsh Spectral Techniques for Logic Synthesis FPGA
Advances in Electrical and Electronic Engineering, 2015 The implementation value of multi-output Boolean functions in logic synthesis FPGA can be reduced by using Walsh spectral representation. This paper proposes an algorithm for calculating the maximum coefficient of the autocorrelation function of BF ...
Nhan Khanh Huu Nguyen
doaj +1 more source