this paper considers variable reordering for quantum multiple-valued decision diagrams (QMDD) used to represent the matrices describing reversible and quantum gates and circuits. An efficient method for adjacent varia...
详细信息
this paper presents a method to implement a reconfigurable logic array by using FPGA. 16-valued logic is introduced to design circuits with 2-valued 4-input LUTs. Symmetric functions and adders can be efficiently repr...
详细信息
In this paper, we present a novel multiple-valued logic circuit design style based on negative differential resistance (NDR) devices and the monostable-to-multistable transition logic (MML) operating principle. We int...
详细信息
Designing modern circuits comprised of millions of gates is a very challenging task. therefore new directions are investigated for efficient modeling and verification of such systems. Recently, a new language, SystemV...
详细信息
In this paper, Weighted and Ordered Direct Cover Algorithms (abbreviated as WDC and ODC, respectively) for synthesis of Multiple-Valued logic (MVL) functions are proposed. the algorithms are tested using 50000 randoml...
详细信息
In digital signal processing, radixes other than two are often used for high-speed computation. In the computation for finance, decimal numbers are used instead of binary numbers. In such cases, radix converters are n...
详细信息
We prove that regular 2-SAT with signs of the form u&rarr i and drarr;i, where the underlying truth value set forms a lattice, is solvable in quadratic time in the size of the input, and in the case where the latt...
详细信息
We present realization of ternary Toffoli gate and modified Fredkin gate for quantum computing on top of ion trap realizable Muthukrishnan-Stroud primitive gates. Our design methodology is based on first realizing the...
详细信息
the clock rate of modern chips is still increasing and at the same time the gate size decreases. As a result, already slight variations during the production process may cause a functional failure. therefore, dynamic ...
详细信息
this paper proposes a method to represent elementary functions such as trigonometric, logarithmic, square root, and reciprocal functions using edge-valued multi-valued decision diagrams (EVMDDs). We introduce a new cl...
详细信息
暂无评论