M
Marek Perkowski
Researcher at Portland State University
Publications - 338
Citations - 6047
Marek Perkowski is an academic researcher from Portland State University. The author has contributed to research in topics: Logic synthesis & Boolean function. The author has an hindex of 38, co-authored 328 publications receiving 5809 citations. Previous affiliations of Marek Perkowski include East West University & Warsaw University of Technology.
Papers
More filters
Journal ArticleDOI
Minimal universal library for n×n reversible circuits
TL;DR: A library of 2 gates is presented which is sufficient to realize all reversible circuits of n variables and is a minimal library of gates for binary reversible logic circuits.
Proceedings ArticleDOI
An exact algorithm for the technology fitting problem in the application specific state machine device
TL;DR: The fitting problem for a new application-specific state machine device, CY7C361, from Cypress Semiconductor is formulated, and a solution is proposed that consists of mapping the netlist obtained from high-level synthesis into the chip's physical resources.
Logic Synthesis for Regular Layout using Satisfiability
Marek Perkowski,Alan Mishchenko +1 more
TL;DR: In this paper, a SAT-based algorithm is proposed to synthesize 3×3 lattice representations of completely specified Boolean functions, which allows the cofactors on a level to propagate to three rather than two nodes on the lower level.
Proceedings ArticleDOI
Synthesis of Hybrid and d-valued Quantum Logic Circuits
Faisal Shah Khan,Marek Perkowski +1 more
TL;DR: This article presents a CSD based synthesis method for n qudit hybrid and d-valued quantum circuits and shows practical advantages for scaling up a quantum computer.
Proceedings ArticleDOI
An approach to synthesis of reversible circuits for partially specified functions
TL;DR: In this article, the Exclusive-Or-Sum-of-Product-Sums (ESOPOS) structure where every output is an exclusive-or of Product-SumExor (PSE) gates was introduced.