Open Access. Powered by Scholars. Published by Universities.®

Engineering Commons

Open Access. Powered by Scholars. Published by Universities.®

Portland State University

Logic synthesis

2011

Articles 1 - 3 of 3

Full-Text Articles in Engineering

Synthesis Of Reversible Synchronous Counters, Marek Perkowski, Mozammel H.A. Khan May 2011

Synthesis Of Reversible Synchronous Counters, Marek Perkowski, Mozammel H.A. Khan

Electrical and Computer Engineering Faculty Publications and Presentations

In this paper, we concentrate on design of synchronous counters directly from reversible gates.


Synthesis Of Quantum Circuits In Linear Nearest Neighbor Model Using Positive Davio Lattices, Marek Perkowski, Martin Lukac, Dipal Shah, Michitaka Kameyama Apr 2011

Synthesis Of Quantum Circuits In Linear Nearest Neighbor Model Using Positive Davio Lattices, Marek Perkowski, Martin Lukac, Dipal Shah, Michitaka Kameyama

Electrical and Computer Engineering Faculty Publications and Presentations

We present a logic synthesis method based on lattices that realize quantum arrays in One-Dimensional Ion Trap technology. This means that all gates are built from 2x2 quantum primitives that are located only on neighbor qubits in a onedimensional space (called also vector of qubits or Linear Nearest Neighbor (LNN) architecture). The Logic circuits designed by the proposed method are realized only with 3*3 Toffoli, Feynman and NOT quantum gates and the usage of the commonly used multi-input Toffoli gates is avoided. This realization method of quantum circuits is different from most of reversible circuits synthesis methods from the literature …


Modal Logic And Its Applications, Explained Using Puzzles And Examples, Marek Perkowski Mar 2011

Modal Logic And Its Applications, Explained Using Puzzles And Examples, Marek Perkowski

Electrical and Computer Engineering Faculty Publications and Presentations

1.We shall be concerned, at first, with alethicmodal logic, or modal logic tout court. 2.The starting point, once again, is Aristotle, who was the first to study the relationship between modal statements and their validity. 3.However, the great discussion it enjoyed in the Middle Ages. 4.The official birth date of modal logic is 1921, when Clarence Irving Lewis wrote a famous essay on implication.