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
Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis
TL;DR: This paper constitutes the first successful experience of applying formal methods and satisfiability to quantum logic synthesis, thus synthesizing in principle arbitrary multi-output Boolean functions with quantum gate library.
Proceedings ArticleDOI
Efficient Representation and Manipulation of Switching Functions Based on Ordered Kronecker Functional Decision Diagrams
TL;DR: An efficient package for construction of and operation on ordered Kronecker Functional Decision Diagrams (OKFDD) is presented and a 25% improve ment in size over OBDDs is observed.
A General Decomposition for Reversible Logic
Marek Perkowski,Lech Jozwiak,Pawel Kerntopf,Alan Mishchenko,Anas N. Al-Rabadi,A. Coppola,Andrzej Buller,Xiaoyu Song,Svetlana Yanushkevich,Vlad Shmerko,Malgorzata Chrzanowska-Jeske,Mozammel H. A. Khan +11 more
TL;DR: This work presents for the first time a method that minimizes concurrently the number of gates, their total delay and the total garbage in reversible logic.
Patent
Programmable analog array circuit
TL;DR: In this article, a programmable analog or mixed analog/digital circuit is described, whose input and output signals are analog or multi-valued in nature, and primarily continuous in time.
Fast Heuristic Minimization of Exclusive-Sums-of-Products
Alan Mishchenko,Marek Perkowski +1 more
TL;DR: Improvements concern three aspects of the procedure: computation of the starting ESOP cover; increase of the search space for solutions by applying a larger set of cube transformations; development of specialized datastructure for robust manipulation of ESOP covers.