Search Results - "Perkowski, M.A."
-
1
New multivalued functional decomposition algorithms based on MDDs
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01-09-2000)“…This paper presents two new functional decomposition partitioning algorithms that use multivalued decision diagrams (MDDs). MDDs are an exceptionally good…”
Get full text
Journal Article -
2
Minimization of exclusive sum-of-products expressions for multiple-valued input, incompletely specified functions
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01-04-1996)“…This paper presents a new operation (exorlink) and an algorithm to minimize Exclusive-OR Sum-of-Products expressions (ESOPs) for multiple valued input, two…”
Get full text
Journal Article -
3
A minimal universal test set for self-test of EXOR-Sum-of-Products circuits
Published in IEEE transactions on computers (01-03-2000)“…A testable EXOR-Sum-of-Products (ESOP) circuit realization and a simple, universal test set which detects all single stuck-at faults in the internal lines and…”
Get full text
Journal Article -
4
Effective computer methods for the calculation of Rademacher-Walsh spectrum for completely and incompletely specified Boolean functions
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01-10-1992)“…A theory has been developed to calculate the Rademacher-Walsh transform from a cube array specification of incompletely specified Boolean functions. The…”
Get full text
Journal Article -
5
Functional decomposition of MVL functions using multi-valued decision diagrams
Published in Proceedings / International Symposium on Multiple-Valued Logic (1997)“…In this paper, the minimization of incompletely specified multi-valued functions using functional decomposition is discussed. From the aspect of machine…”
Get full text
Conference Proceeding Journal Article -
6
Minimization of Quaternary Galois Field Sum of Products Expression for Multi-Output Quaternary Logic Function Using Quaternary Galois Field Decision Diagram
Published in 38th International Symposium on Multiple Valued Logic (ismvl 2008) (01-05-2008)“…A quaternary logic function expressed as quaternary Galois field sum of products (QGFSOP) expression can be realized as a cascade of quaternary 1-qudit,…”
Get full text
Conference Proceeding -
7
GF(4) Based Synthesis of Quaternary Reversible/Quantum Logic Circuits
Published in 37th International Symposium on Multiple-Valued Logic (ISMVL'07) (01-05-2007)“…Galois field sum of products (GFSOP) has been found to be very promising for reversible/quantum implementation of multiple-valued logic. In this paper, we show…”
Get full text
Conference Proceeding -
8
On universality of general reversible multiple-valued logic gates
Published in Proceedings. 34th International Symposium on Multiple-Valued Logic (2004)“…A set of p-valued logic gates (primitives) is called universal if an arbitrary p-valued logic function can be realized by a logic circuit built up from a…”
Get full text
Conference Proceeding -
9
Minimization of multioutput TANT networks for unlimited fan-in network model
Published in Proceedings., 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors (1990)“…A program for the minimization of multi-output three-level Boolean networks from NAND gates of unlimited fan-in is described. This model includes don't care…”
Get full text
Conference Proceeding -
10
A Constructive Algorithm for Reversible Logic Synthesis
Published in 2006 IEEE International Conference on Evolutionary Computation (2006)“…This paper presents a constructive synthesis algorithm for any n-qubit reversible function. Given any n-qubit reversible function, there are N distinct input…”
Get full text
Conference Proceeding -
11
Multi-output Galois Field Sum of Products synthesis with new quantum cascades
Published in 33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings (2003)“…Galois Field Sum of Products (GFSOP) leads to efficient multi-valued reversible circuit synthesis using quantum gates. In this paper, we propose a new…”
Get full text
Conference Proceeding -
12
Ternary Galois field expansions for reversible logic and Kronecker decision diagrams for ternary GFSOP minimization [Galois field sum of products]
Published in Proceedings. 34th International Symposium on Multiple-Valued Logic (2004)“…Ternary Galois field sum of products (TGFSOP) expressions are found to be good choice for ternary reversible, and especially quantum, logic design. In this…”
Get full text
Conference Proceeding -
13
Synthesis of Hybrid and d-valued Quantum Logic Circuits
Published in 2006 IEEE International Conference on Evolutionary Computation (2006)“…Recent research in generalizing quantum computation from 2-valued qudits to d-valued qudits has shown practical advantages for scaling up a quantum computer. A…”
Get full text
Conference Proceeding -
14
Symbolic two-dimensional minimization of strongly unspecified finite state machines
Published in Journal of systems architecture (2001)“…A generalization of the classical state minimization problem for finite state machine (FSM) is proposed and discussed. In contrast to classical state…”
Get full text
Journal Article -
15
Generalized partially-mixed-polarity Reed-Muller expansion and its fast computation
Published in IEEE transactions on computers (01-09-1996)“…Generalized partially-mixed-polarity Reed-Muller (GPMPRM) expansion, a canonical subfamily of exclusive sum of products (ESOP), is presented. An efficient…”
Get full text
Journal Article -
16
Multi-valued functional decomposition as a machine learning method
Published in Proceedings / International Symposium on Multiple-Valued Logic (1998)“…In the past few years, several authors have presented methods of using functional decomposition as applied to machine learning. These authors explore the ideas…”
Get full text
Conference Proceeding Journal Article -
17
Efficient representation and manipulation of switching functions based on ordered Kronecker functional decision diagrams
Published in 31st Design Automation Conference (01-01-1994)“…An efficient package for construction of and operation on ordered Kronecker Functional Decision Diagrams (OKFDD) is presented. OKFDDs are a generalization of…”
Get full text
Conference Proceeding -
18
Fast exact and quasi-minimal minimization of highly testable fixed-polarity AND/XOR canonical networks
Published in [1992] Proceedings 29th ACM/IEEE Design Automation Conference (1992)“…The authors introduce fast exact and quasi-minimal algorithms for minimal fixed polarity AND/XOR canonical representation of Boolean functions. The method uses…”
Get full text
Conference Proceeding -
19
Bi-decompositions of multi-valued functions for circuit design and data mining applications
Published in Proceedings / International Symposium on Multiple-Valued Logic (1999)“…We present efficient algorithms for the bi-decomposition of arbitrary incompletely specified functions in variable-valued logic. Several special cases are…”
Get full text
Conference Proceeding Journal Article -
20
Fast synthesis of exact minimal reversible circuits using group theory
Published in Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005 (2005)“…We present fast algorithms to synthesize exact minimal reversible circuits for various types of gates and costs. By reducing reversible logic synthesis…”
Get full text
Conference Proceeding