Results 1 to 10 of about 88,979 (196)
Complete synthesis of identity templates for quantum and reversible logic MCT circuits using SAT-solvers and proposal of suboptimality witness notion [PDF]
International Journal of Electronics and TelecommunicationsIn this study, we introduce a procedural generation technique for Identity Templates applicable to quantum and reversible logic circuits. These templates are recognized for their significant role in enhancing the efficiency of quantum and reversible ...
Adam Jagielski
doaj +3 more sources
Optimal SAT Solver Synthesis of Quantum Circuits Representing Cryptographic Nonlinear Functions [PDF]
International Journal of Electronics and Telecommunications, 2023 In this article we present a procedure that allows to synthesize optimal circuit representing any reversible function within reasonable size limits. The procedure allows to choose either the NCT or the MCT gate set and specify any number of ancillary ...
Adam Jagielski
doaj +1 more source
Architecture aware compilation of quantum circuits via lazy synthesis [PDF]
Quantum, 2022 Qubit routing is a key problem for quantum circuit compilation. It consists in rewriting a quantum circuit by adding the least possible number of instructions to make the circuit compliant with some architecture's connectivity constraints.
Simon Martiel +1 more
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
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 +3 more sources
Mathematics, 2022 This paper strives to achieve a comprehensive review of chaos in analog circuits and lumped electronic networks. Readers will be guided from the beginning of the investigations of simple electronic circuits to the current trends in the research into ...
Jiri Petrzela
doaj +1 more source
On the development of an island-style FPGA
Revista Principia, 2020 This paper presents the development of a custom SRAM island-style FPGA, covering the information needed and the steps involved in hardware implementation, bitstream configuration and design alternatives to facilitate the overall implementation effort ...
Yang Azevedo Tavares +4 more
doaj +1 more source
Asynchronous Data-Driven Circuit Synthesis [PDF]
IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2010 A method is described for synthesizing asynchronous circuits based on the Handshake Circuit paradigm but employing a ata-driven, rather than a control-driven, style. This approach attempts to combine the performance advantages of data-driven asynchronous design styles with the handshake circuit style of construction used in existing syntax-directed ...
Taylor, Sam +3 more
openaire +1 more source
Hybrid Analog Computer for Modeling Nonlinear Dynamical Systems: The Complete Cookbook
Sensors, 2023 This paper describes a design process for a universal development kit based on an analog computer concept that can model the dynamics of an arbitrarily complex dynamical system up to the fourth order.
Miroslav Rujzl +2 more
doaj +1 more source
Synthesis of topological quantum circuits [PDF]
Proceedings of the 2012 IEEE/ACM International Symposium on Nanoscale Architectures, 2012 Topological quantum computing has recently proven itself to be a very powerful model when considering large- scale, fully error corrected quantum architectures. In addition to its robust nature under hardware errors, it is a software driven method of error corrected computation, with the hardware responsible for only creating a generic quantum resource
Paler, Alexandru +3 more
openaire +2 more sources