scholarly journals Reversible Circuit Synthesis Time Reduction Based on Subtree-Circuit Mapping

2020 ◽  
Vol 10 (12) ◽  
pp. 4147
Author(s):  
Amjad Hawash ◽  
Ahmed Awad ◽  
Baker Abdalhaq
Keyword(s):  
Large Scale ◽  
Experimental Tests ◽  
Synthesis Process ◽  
Circuit Synthesis ◽  
Quantum Cost ◽  
Synthesis Time ◽  
Reversible Circuit ◽  
Mapping Process ◽  
Time Reduction ◽  
Hash Key

Several works have been conducted regarding the reduction of the energy consumption in electrical circuits. Reversible circuit synthesis is considered to be one of the major efforts at reducing the amount of power consumption. The field of reversible circuit synthesis uses a large number of proposed algorithms to minimize the overall cost of circuits synthesis (represented in the line number and quantum cost), with minimal concern paid for synthesis time. However, because of the iterative nature of the synthesis optimization algorithms, synthesis time cannot be neglected as a parameter which needs to be tackled, especially for large-scale circuits which need to be realized by cascades of reversible gates. Reducing the synthesis cost can be achieved by Binary Decision Diagrams (BDDs), which are considered to be a step forward in this field. Nevertheless, the mapping of each BDD node into a cascade of reversible gates during the synthesis process is time-consuming. In this work, we implement the idea of the subtree-based mapping of BDD nodes to reversible gates instead of the classical nodal-based algorithm to effectively reduce the entire reversible circuit synthesis time. Considering Depth-First Search (DFS), we convert an entire BDD subtree in one step into a cascade of reversible gates. A look-up table for all possible combinations of subtrees and their corresponding reversible gates has been constructed, in which a hash key is used to directly access subtrees during the mapping process. This table is constructed as a result of a comprehensive study of all possible BDD subtrees and considered as a reference during the conversion process. The conducted experimental tests show a significant synthesis time reduction (around 95% on average), preserving the correctness of the algorithm in generating a circuit realizing the required Boolean function.

scholarly journals Synthesis of reversible circuits for large reversible functions

2010 ◽  
Vol 23 (3) ◽  
pp. 273-286 ◽  
Author(s):  
Nouraddin Alhagi ◽  
Maher Hawash ◽  
Marek Perkowski
Keyword(s):  
Data Structure ◽  
Real Time ◽  
Large Scale ◽  
Optimal Solution ◽  
Truth Table ◽  
Synthesis Process ◽  
Quantum Cost ◽  
Reversible Circuits ◽  
Gate Count ◽  
Reversible Circuit

This paper presents a new algorithm MP (multiple pass) to synthesize large reversible binary circuits without ancilla bits. The well-known MMD algorithm for synthesis of reversible circuits requires to store a truth table (or a Reed-Muller - RM transform) as a 2n vector to represent a reversible function of n variables. This representation prohibits synthesis of large functions. However, in MP we do not store such an exponentially growing data structure. The values of minterms are calculated in MP dynamically, one-by-one, from a set of logic equations that specify the reversible circuit to be designed. This allows for synthesis of large scale reversible circuits (30-bits), which is not possible with any existing algorithm. In addition, our unique multi-pass approach where the circuit is synthesized with various, yet specific, minterm orders yields quasi-optimal solution. The algorithm returns a description of the quasi-optimal circuit with respect to gate count or to its 'quantum cost'. Although the synthesis process in MP is relatively slower, the solution is found in real-time for smaller circuits of 8 bits or less.

Reversible Circuits Synthesis from Functional Decision Diagrams by using Node Dependency Matrices

2019 ◽  
Vol 29 (05) ◽  
pp. 2050079
Author(s):  
Suzana Stojković ◽  
Radomir Stanković ◽  
Claudio Moraga ◽  
Milena Stanković
Keyword(s):  
Data Structure ◽  
Optimal Order ◽  
Decision Diagrams ◽  
Circuit Synthesis ◽  
Quantum Cost ◽  
Dependency Matrix ◽  
Bottom Level ◽  
Reversible Circuits ◽  
Reversible Circuit ◽  
Toffoli Gates

Decision diagrams are a data structure suitable for reversible circuit synthesis. Functional decision diagrams (FDDs) are particularly convenient in synthesis with Toffoli gates, since the functional expressions for decomposition rules used in them are similar to the functional expressions of Toffoli gates. The main drawback of reversible circuit synthesis based on decision diagrams is the usually large number of ancilla lines. This paper presents two methods for the reduction of the number of ancilla lines in reversible circuits derived from FDDs by selecting the order of implementation of nodes. In the first method, nodes are implemented by levels, starting from the bottom level to the top. The method uses appropriately defined level dependency matrices for choosing the optimal order of implementation of nodes at the same level. In this way, the optimization is performed level by level. The second method uses a diagram dependency matrix expressing mutual dependencies among all the nodes in the diagram. This method is computationally more demanding than the first method, but the reductions of both the number of lines and the Quantum cost of the circuits are larger.

Novel Synthesis Methodology for Fault Tolerant Reversible Circuits by Bounded Model Checking for Linear Temporal Logic

2015 ◽  
Vol 24 (06) ◽  
pp. 1550091 ◽  
Author(s):  
Ming-Cui Li ◽  
Ri-Gui Zhou
Keyword(s):  
Model Checking ◽  
Temporal Logic ◽  
Fault Tolerant ◽  
Linear Temporal Logic ◽  
Bounded Model Checking ◽  
Quantum Cost ◽  
Step Method ◽  
Synthesis Time ◽  
Reversible Circuits ◽  
Reversible Circuit

Reversible circuit is of interest due to the characteristics of low energy consumption. This paper proposes a new scheme for synthesizing fault tolerant reversible circuits. A two-step method is put forward to convert an irreversible function into a parity-preserving reversible circuit. By introducing model checking for linear temporal logic, we construct a finite state machine to synthesize small reversible gates from elementary 1-qubit and 2-qubit gates, which is more automatic than the methods proposed previously. Constrains are increased so as to reduce the synthesis time in the two step method. The parity-preserving gate constructed by the two-step method has characteristics of low quantum cost because the quantum representation obtained from the counterexample for a given function in each step has the minimum quantum cost. In order to further reduce the quantum cost and decrease the synthesis time, the semi parity-preserving gates are put forward for the first time. These gates are parity-preserving when the auxiliary input is set to 0 and opposite parity when 1. Maintaining good robustness of the system in performing specific function, semi parity-preserving gate is conducive to detecting the stuck-at fault and partial gate fault in reversible circuits. The innovation of this paper is introducing the formal method to synthesis small fault tolerant gate, so as to construct the circuit with robust (semi) parity-preserving gates.

scholarly journals GENRE AND STYLISTIC DIVERSITY OF ECOLOGICAL PUBLICISM OF KYRGYZSTANA

2020 ◽  
Vol 7 (5(74)) ◽  
pp. 15-20
Author(s):  
N. K. Dzhumagazieva
Keyword(s):  
Large Scale ◽  
Environmental Issues ◽  
Environmental Communication ◽  
Theoretical Research ◽  
Practical Significance ◽  
Synthesis Process ◽  
Cultural Issues ◽  
Cultural Traditions ◽  
Environmental Journalism ◽  
Man And Nature

The article discusses the features of the genres of environmental journalism in the aspect of the global problems of understanding the interaction of man and nature. In the modern period of the development of multimedia technologies and convergent journalism, journalism genres are experiencing “reboots”, therefore, the definition of genre identity and the further implementation of such an important topic as ecology in journalistic materials seems relevant.Journalism is constantly transforming, reflecting changes in society. Understanding her contemporary experience is one of the tasks of the methodology of the creative process. Journalism synthesizes theoretical research methods and ways of artistic reflection of reality. This synthesis process is especially evident in the way typification and individualization are carried out in society in terms of the development of environmental consciousness. In this regard, journalism and journalism are able to establish and develop environmental communication, the basis of which is the real relationship between man and nature, as well as the reflection of social reality, public opinion on informational issues related to environmental (environmental) issues.The journalism activism of Kyrgyzstan has a large-scale experience of reflecting environmental issues, which is associated with a value and cultural orientation, the foundations of which are laid in the socio-cultural traditions of the Kyrgyz people and are most vividly embodied in the work of the great Chingiz Aitmatov. This article attempts to typify the main genres and forms of journalism, reflecting environmental issues. The study allows us to conclude that at the present stage, definitions of journalism genres require transformation in the aspect of both purely national and general cultural issues. The practical significance lies in the inclusion in the list of basic disciplines of journalism faculties of the special course "Genres of Contemporary Environmental Journalism", which will make the learning process more substantive, relevant and relevant in the practice of modern media

Minimal reversible circuit synthesis on a DNA computer

2016 ◽  
Vol 16 (3) ◽  
pp. 463-472 ◽  
Author(s):  
Mayukh Sarkar ◽  
Prasun Ghosal ◽  
Saraju P. Mohanty
Keyword(s):  
Circuit Synthesis ◽  
Reversible Circuit ◽  
Dna Computer

Device Response Time Reduction for Large-Scale and Fast Optical Switching Systems

2021 ◽  
Author(s):  
Kenya Suzuki ◽  
Kazushige Yonenaga ◽  
Noboru Takachio ◽  
Toshiki Tanaka ◽  
Osamu Moriwaki ◽  
...  
Keyword(s):  
Response Time ◽  
Optical Switching ◽  
Large Scale ◽  
Switching Systems ◽  
Time Reduction

Mechanical Design of Antichiral-Reentrant Hybrid Intravascular Stent

2018 ◽  
Vol 10 (10) ◽  
pp. 1850105 ◽  
Author(s):  
Xiao Li Ruan ◽  
Jie Jie Li ◽  
Xiao Ke Song ◽  
Hong Jian Zhou ◽  
Wei Xing Yuan ◽  
...  
Keyword(s):  
Large Scale ◽  
Mechanical Design ◽  
Experimental Tests ◽  
Building Blocks ◽  
Industrial Applications ◽  
Mechanical Effect ◽  
Parametric Models ◽  
Element Analysis ◽  
Specific Strength ◽  
Intravascular Stents

Chiral and reentrant metastructures with auxetic deformation abilities can serve as the building blocks in many industrial applications because of their light weight, high specific strength, energy absorption properties. In this paper, we report an innovative tubular-like structure by a combined mechanical effect of antichiral and reentrant. 2D antichiral-reentrant hybrid structures consisting of circular nodes and tangentially-connected ligaments are predesigned and fabricated using laser cutting technology with high-resolution. The elastic properties and auxeticity of the plane structure are analyzed and compared based on finite element analysis (FEA) and experimental results. For the first time, the antichiral-reentrant hybrid intravascular stents with the auxetic feature are proposed and parametric models are devised with good geometrical structure demonstrated. A series of large-scale stents are manufactured with stereolithography apparatus (SLA) additive manufacturing technique, and their mechanical behaviors are investigated in both experimental tests and FEA. As the selected antichiral-reentrant hybrid stents with tailored expansion ability are subjected to radial loading by the dilation of the balloon, stents undergo identifiable deformation mechanism due to the beam-like ligaments and circular node elements in the varied geometrical design, resulting in the distinct stress outcomes in plaque. It is also demonstrated that the antichiral-reentrant hybrid stents with tunable auxeticity possess robust mechanical properties through implantation inside the obstructed lesion.

Sign in / Sign up

Export Citation Format

Share Document