EXOR LOGIC AND RELATED AREAS
- Malgorzata Chrzanowska-Jeske, Alan Mishchenko, and Marek Perkowski,
``New Family of Canonical AND/EXOR forms that includes minimimum ESOP,''
VLSI Design. Accepted.
- Marek Perkowski, Bogdan Falkowski, Malgorzata Chrzanowska-Jeske, and Rolf Drechlser,
``Efficient Algorithms for Creation of Linearly-Independent
Decision Diagrams and their Mapping to Regular Layouts'', VLSI Design.
postscript.
postscript 1.
postscript 2.
- Karen Dill and Marek Perkowski,
``GRM minimization using new genetic algorithm,''
Journal on System Architecture, accepted
- Anas Al-Rabadi and Marek Perkowski,
``Shannon and Davio Sets of New Lattice Structures for Logic Synthesis in
Three-Dimensional Space,''
Proc. RM'01
- Anas Al-Rabadi, Marek Perkowski,
``Families of New Multi-Valued Reed-Muller-Based Spectral Transforms,''
Proc. RM'01
- Alan Mishchenko and Marek Perkowski, ``Fast Heuristic Minimization of Exclusive
Sums-of-Products,'' Proc. RM'2001 Workshop, August 2001.
- Anas Al-Rabadi, Marek Perkowski,
"Multiple-Valued Galois Field S/D Trees for GFSOP Minimization and their Complexity"
ISMVL Symposium, Warsaw, Poland, May 22-24.
Slides in PDF
- Marek A. Perkowski, Ingo Schaefer, Andisheh Sarabi, and Malgorzata Chrzanowska-Jeske,
"Multi-level Logic Synthesis Based on Kronecker Decision Diagrams and
Boolean Ternary Decision Diagrams for Incompletely Specified Functions,"
VLSI Design ,
1995, Vol. 3., Nos. 3-4, pp. 301-313.
- X. Zeng, Marek A. Perkowski, Haomin Wu, and Andisheh Sarabi,
"A New Efficient Algorithm for Finding Exact Minimal Generalized Partially-Mixed-Polarity Reed-Muller
Expansion," Proc. of the Second Workshop on Applications of Reed-Muller Expansion in Circuit Design,
Chiba City, Japan, 27-29 August 1995, pp. 231-239.
postscript
-
X. Zeng, Marek A. Perkowski, Karen Dill, and Andisheh Sarabi,
"Approximate Minimization of Generalized Reed-Muller Forms,"
Proc. of the Second Workshop on Applications of Reed-Muller Expansion
in Circuit Design,
Chiba City, Japan, 27-29 August 1995, pp. 221-230.
postscript
-
Marek A. Perkowski,
"A New Representation of Strongly Unspecified Switching Functions and Its
Application to Multi-Level AND/OR/EXOR Synthesis,"
Proc. of the Second Workshop on Applications of Reed-Muller Expansion
in Circuit Design,
Chiba City, Japan, 27-29 August 1995, pp. 143-151.
postscript of the paper
HTML of the paper
SLIDE 1. MVCDB representation of functions.
SLIDE 2. MVCDB representation of functions.
SLIDE 3. MVCDB representation of functions.
-
Marek A. Perkowski, Andisheh Sarabi, and F. Rudolph Beyl,
"Fundamental Theorems and Families of Linearly Independent Forms for Binary
and Multiple Valued",
Proc. of the Second Workshop on Applications of Reed-Muller Expansion
in Circuit Design,
Chiba City, Japan, 27-29 August 1995, pp. 288-299.
-
Marek Perkowski, Andisheh Sarabi, and Ingo Schaefer,
"Multi-Level Logic Synthesis Based on Kronecker and Boolean Ternary Decision Diagrams
for Incompletely Specified Functions,"
Computer Aided Design and Test,
Dagstuhl-Seminar-Report, Germany, 105, 13-17 February, 1995.
-
Marek Perkowski, Andisheh Sarabi, and F. Rudolph Beyl,
"Universal XOR Canonical Forms of Boolean Functions
and its Subset Family of AND/OR/XOR Canonical Forms",
Record of IWLS'95 Conference, April 1995, Lake Tahoe, CA.
postscript
- I. Schaefer, M. Perkowski,
"Applications of New Orthogonal Transforms in Digital Design,"
In R. Stankovic, M. Stojic, and M.S. Stankovic (ed.),
"Recent Developments in Abstract Harmonic Analysis with Applications
in Signal Processing,"
Nauka, Belgrade, Yugoslavia, 1996, pp. 217-259.
- H. Wu, M. A. Perkowski, N. Zhuang,
"Generalized Partially-Mixed-Polarity Reed-Muller Expansion and its Fast Computation,"
IEEE Transactions on Computers,
Vol. 45, No. 9, pp. 1084-1088, September 1996.
-
N. Song, M. Perkowski,
"Minimization of Exclusive Sum of Products
Expressions for Multi-Output Multiple-Valued Input, Incompletely Specified Functions,"
IEEE Transactions on Computer Aided Design,
Vol. 15, No. 4, April 1996, pp. 385-395.
postscript of the paper.
- Marek A. Perkowski, Ingo Schaefer, Andisheh Sarabi, and Malgorzata Chrzanowska-Jeske,
"Multi-level Logic Synthesis Based on Kronecker Decision Diagrams and
Boolean Ternary Decision Diagrams for Incompletely Specified Functions,"
VLSI Design ,
1995, Vol. 3., Nos. 3-4, pp. 301-313.
-
Marek A. Perkowski, Timothy Ross, Dave Gadd, Jeff A. Goldman, and Ning Song,
"Application of ESOP Minimization in Machine Learning and Knowledge Discovery,"
Proc. of the Second Workshop on Applications of Reed-Muller Expansion
in Circuit Design,
Chiba City, Japan, 27-29 August 1995, pp. 102-109.
call html
call postscript
- X. Zeng, Marek A. Perkowski, Haomin Wu, and Andisheh Sarabi,
"A New Efficient Algorithm for Finding Exact Minimal Generalized Partially-Mixed-Polarity Reed-Muller
Expansion," Proc. of the Second Workshop on Applications of Reed-Muller Expansion in Circuit Design,
Chiba City, Japan, 27-29 August 1995, pp. 231-239.
postscript
-
X. Zeng, Marek A. Perkowski, Karen Dill, and Andisheh Sarabi,
"Approximate Minimization of Generalized Reed-Muller Forms,"
Proc. of the Second Workshop on Applications of Reed-Muller Expansion
in Circuit Design,
Chiba City, Japan, 27-29 August 1995, pp. 221-230.
postscript
-
Marek A. Perkowski,
"A New Representation of Strongly Unspecified Switching Functions and Its
Application to Multi-Level AND/OR/EXOR Synthesis,"
Proc. of the Second Workshop on Applications of Reed-Muller Expansion
in Circuit Design,
Chiba City, Japan, 27-29 August 1995, pp. 143-151.
postscript of the paper
HTML of the paper
SLIDE 1. MVCDB representation of functions.
SLIDE 2. MVCDB representation of functions.
SLIDE 3. MVCDB representation of functions.
-
Marek A. Perkowski, Andisheh Sarabi, and F. Rudolph Beyl,
"Fundamental Theorems and Families of Linearly Independent Forms for Binary
and Multiple Valued",
Proc. of the Second Workshop on Applications of Reed-Muller Expansion
in Circuit Design,
Chiba City, Japan, 27-29 August 1995, pp. 288-299.
-
Marek Perkowski, Andisheh Sarabi, and Ingo Schaefer,
"Multi-Level Logic Synthesis Based on Kronecker and Boolean Ternary Decision Diagrams
for Incompletely Specified Functions,"
Computer Aided Design and Test,
Dagstuhl-Seminar-Report, Germany, 105, 13-17 February, 1995.
-
Marek Perkowski, Andisheh Sarabi, and F. Rudolph Beyl,
"Universal XOR Canonical Forms of Boolean Functions
and its Subset Family of AND/OR/XOR Canonical Forms",
Record of IWLS'95 Conference, April 1995, Lake Tahoe, CA.
postscript
-
R. Drechsler, M. Theobald, B. Becker, A. Sarabi, M.A. Perkowski:
``On the Computational Power of Ordered Kronecker Functional Decision Diagrams,''
Workshop Boolesche Probleme,
7 Oktober 1994, in Freiberg/Sachsen, Germany.
-
P. Ho, M. A. Perkowski,
"Free Kronecker Decision Diagrams and their Application to ATMEL 6000 FPGA Mapping,"
Proc. Euro-DAC '94 with Euro-VHDL'94,
pp. 8 - 13, September 19-23, 1994, Grenoble France.
-
R. Drechsler, A. Sarabi, M. Theobald, B. Becker, M. A. Perkowski,
"Efficient Representation and Manipulation of Switching Functions
Based on Kronecker Functional Decision Diagrams,"
Proc. DAC '94,
San Diego, June 1994, pp. 415 - 419.
-
R. Drechsler, A. Sarabi, M. Theobald, B. Becker, M. A. Perkowski,
``Ordered Kronecker Functional Decision Diagrams: An
Efficient Tool for Synthesis and Verification''
Proc.
GI/ITG Workshop ``Anwendung formaler Methoden im
Systementwurf'', Germany, 1994.
- L. F. Wu, M. A. Perkowski,
"Minimization of Permuted Reed-Muller Trees for Cellular Logic Programmable Gate Arrays,"
In H. Gruenbacher and R. Hartenstein, (eds.),
"Lecture Notes in Computer Science",
Number 705, Springer Verlag, pp. 78-87, Berlin/Heidelberg, 1993.
postscript with no figures
the original is in /stash/mperkows3/=EXOR-papers-90-94
-
B. Falkowski, I. Schaefer, M. A. Perkowski,
"An Efficient Computer Algorithm for the Calculation of the Walsh Transform
for Incompletely Specified Multiple-Valued Binary Functions,"
International Journal of Electronics,
Vol. 75, No. 2., pp. 163 - 175, 1993.
-
H. Wu, N. Zhuang, M. A. Perkowski,
"Synthesis for Reed-Muller Directed-Acyclic-Graph network,"
IEE Proceedings, Pt. E.
-
B. Fei, Q. Hong, H. Wu, M. A. Perkowski, N. Zhuang,
"Efficient Computation for Ternary Reed-Muller Expansions under Fixed-Polarities,"
International Journal of Electronics,
Vol. 75, No. 4., pp. 685 - 688, 1993.
-
L. Csanky, M. Perkowski, I. Schaefer,
"Canonical Restricted Mixed-Polarity Exclusive-Or Sums of Products
and the Efficient Algorithm for their Minimization,"
IEE Proceedings, Pt.E,
Vol. 140, No. 1, pp. 69 - 77, January 1993.
-
I. Schaefer, M. A. Perkowski, H. Wu,
"Multilevel Logic Synthesis for Cellular FPGAs Based on Orthogonal Expansions,"
Proc. of IFIP W.G. 10.5 Workshop on Applications
of the Reed-Muller Expansion in Circuit Design,"
Hamburg, Germany, September 16-17, pp. 42 - 51, 1993.
postscript
-
M. A. Perkowski,
"A Fundamental Theorem for EXOR Circuits,"
Proc. of IFIP W.G. 10.5 Workshop on Applications
of the Reed-Muller Expansion in Circuit Design,"
Hamburg, Germany, September 16-17, pp. 52 - 60, 1993.
-
A. Sarabi, M. A. Perkowski,
"Design for Testability Properties of AND/XOR Networks,"
Proc. of IFIP W.G. 10.5 Workshop on Applications
of the Reed-Muller Expansion in Circuit Design,"
Hamburg, Germany, September 16-17, pp. 147 - 153, 1993.
-
M. A. Perkowski, A. Sarabi, F. R. Beyl,
"Universal XOR Canonical Forms of Switching Functions,"
Proc. of IFIP W.G. 10.5 Workshop on Applications
of the Reed-Muller Expansion in Circuit Design,"
Hamburg, Germany, September 16-17, pp. 27 - 32, 1993.
-
A. Sarabi, P. F. Ho, K. Iravani, W. R. Daasch, M. A. Perkowski,
"Minimal Multi-Level Realization of Switching Functions Based on Kronecker
Functional Decision Diagrams,"
Proc. of IEEE International Workshop on Logic Synthesis, IWLS '93,
Tahoe City, CA, pp. P3a-1 - P3a-6, May 1993.
-
N. Song, M. A. Perkowski,
"A New Design Methodology for Two-Dimensional Logic Arrays,"
Proc. of IEEE International Workshop on Logic Synthesis, IWLS '93,
Tahoe City, CA, pp. 1 - 17, May 1993.
-
H. Wu, M. A. Perkowski,
"Synthesis for Reed-Muller Directed-Acyclic-Graph networks
with applications to Binary Decision Diagrams and Fine Grain FPGA Mapping,"
Proc. of IEEE International Workshop on Logic Synthesis, IWLS '93,
Tahoe City, CA, pp. P8d-1 - P8d-6, May 1993.
-
Q. Hong, B. Fei, H. Wu, M. A. Perkowski, N. Zhuang,
"Fast Synthesis for Ternary Reed-Muller Expansion,"
Proc. of the 23rd IEEE International Symposium on Multiple Valued Logic, ISMVL '93,
pp. 14 - 16, Sacramento, CA, May 24 - 27, 1993.
-
N. Song, M. A. Perkowski,
"EXORCISM-MV-2: Minimization of Exclusive Sum of Products Expressions for
Multiple-Valued Input Incompletely Specified Functions,"
Proc. of the 23nd IEEE International Symposium on Multiple Valued Logic, ISMVL '93,
pp. 132 - 137, Sacramento, CA, May 24-27, 1993.
-
Ingo Schaefer, and Marek Perkowski,
"Multiple Valued Input Generalized Reed-Muller Forms,"
IEE Proceedings, Pt.E,
Vol. 139, No. 6., pp. 519 - 527, November 1992.
-
Ingo Schaefer, Bogdan J. Falkowski, and Marek A. Perkowski,
"Generation of Adding and Arithmetic Multi-Polarity Transforms for
Incompletely Specified Boolean Functions,"
International Journal of Electronics,
Vol. 73, No. 2., pp. 321 - 331, 1992.
-
Bogdan J. Falkowski, Ingo Schaefer, and Marek Perkowski,
"Effective Computer Methods for the Calculation of Rademacher-Walsh Spectrum
for Completely and Incompletely Specified Boolean Functions,"
IEEE Trans. on Computer-Aided Design,
pp. 1207 - 1226, October 1992.
- Marek Perkowski, Laszlo Csanky, Andisheh Sarabi, and Ingo Schaefer,
"Minimization of Mixed-Polarity Canonical AND/EXOR Forms,"
Proc. of the IEEE International Conference on Computer Design, ICCD'92,
Boston, October 11-13, pp. 32 - 36, 1992.
- Bogdan Falkowski, Ingo Schaefer, and Marek Perkowski,
"Calculation of the Rademacher-Walsh Spectrum from a Reduced Representation of Boolean Functions,"
Proc. of the IEEE EURO-DAC '92, European Design Automation Conference,
pp. 181 - 186, Sept. 7-10, Hamburg, 1992.
- Li-Fei Wu, and Marek A. Perkowski,
"Minimization of Permuted Reed-Muller Trees for Cellular Logic Programmable Gate Arrays,"
Proc. of the 2nd Intern. Workshop on Field-Programmable Logic and Applications, FPL'92,
Vienna, Austria, pp. 7/4.1-7/4.4, August 31-September 2, 1992.
- Marek A. Perkowski,
"The Generalized Orthonormal Expansion of Functions with Multiple-Valued Inputs and Some of its Applications,"
Proc. of the 22nd IEEE International Symposium on Multiple Valued Logic, ISMVL'92,
pp. 442 - 450, Sendai, Japan, May 27-29, 1992.
- Laszlo Csanky, Marek Perkowski, and Ingo Schaefer,
"Canonical Restricted Mixed-Polarity Exclusive Sums of Products," Proc. of the IEEE ISCAS'92,
International Symposium on Circuits and Systems,
pp. 17 - 20, San Diego, CA, May 10-13, 1992.
- Bogdan J. Falkowski, and Marek A. Perkowski,
"One More Way to Calculate Generalized Reed-Muller Expansions of Boolean Functions,"
International Journal of Electronics.
Vol. 71, No. 3, pp. 385 - 396, 1991.
-
Bogdan J. Falkowski, and Marek A. Perkowski,
"Algorithm for the Generation of Disjoint Cubes for Completely and Incompletely Specified Boolean Functions,"
International Journal of Electronics.
Vol. 70, No. 3, pp. 533 - 538, March 1991.
-
Marek A. Perkowski, and Paul Daryl Johnson,
"Canonical Multivalued-Input Reed-Muller Trees and Forms,"
Proc. of the Third NASA Symposium on VLSI Design,
pp. 11.3.1-11.3.13, Moscow, Idaho, October 30-31, 1991.
-
Ingo Schaefer, and Marek A. Perkowski,
"Multiple-Valued Input Generalized Reed-Muller Forms,"
Proc. of the 21th IEEE International Symposium on Multiple Valued Logic, ISMVL'91,
pp. 40 - 48, Victoria, British Columbia, May 1991.
-
Ingo Schaefer, Bogdan J. Falkowski, and Marek A. Perkowski,
"A Fast Computer Implementation of Adding and Arithmetic Multi-Polarity Transforms for Logic Design,"
Proc. of the 34th IEEE Midwest Symposium on Circuits and Systems,
Monterey, CA, May 1991.
-
Ingo Schaefer, Bogdan J. Falkowski, and Marek A. Perkowski,
"An Efficient Computer Algorithm for the Calculation of Walsh
Transform for Completely and Incompletely Specified
Multiple-Valued Input Binary Functions,"
Proc. of the 34th IEEE Midwest Symposium on Circuits and Systems,
Monterey, CA, May 1991.
- B. J. Falkowski, M. A. Perkowski,
"One More Way to Calculate the Hadamard-Walsh Spectrum for Completely
and Incompletely Specified Boolean Functions,"
International Journal of Electronics,
Vol. 69, No. 5, pp. 595 - 602, November 1990.
-
B. J. Falkowski, M. A. Perkowski,
"Walsh Type Transforms
for Completely and Incompletely Specified Multiple-Valued
Input Binary Functions,"
Proc. of the 20th IEEE ISMVL, International Symposium on
Multiple-Valued Logic,
pp. 75 - 82, Charlotte, NC, May 1990.
-
M. A. Perkowski, P. Dysko, B. J. Falkowski,
"Two Learning Methods for a Tree-Search Combinatorial Optimizer,"
Proc. of IEEE International Phoenix Conference on Computers and Communication,
pp. 606 - 613, Scottsdale, Arizona, March 1990.
-
B. J. Falkowski, M. A. Perkowski,
"Algorithms for the Calculation of
Hadamard-Walsh Spectrum for Completely and Incompletely Specified Boolean Functions,"
Proc. of IEEE International Phoenix Conference on Computers and Communication,
pp. 868 - 869, Scottsdale, Arizona, March 1990.
-
B. J. Falkowski, M. A. Perkowski,
"On the Calculation
of Generalized Reed-Muller Canonical Expansions from Disjoint Representation
of Boolean Functions,"
Proc. of the 33rd Midwest Symp. on Circuits and Systems,
pp. 1131 - 1134, August 1990, Alberta, Canada.
-
B. Falkowski, I. Schaefer, M. Perkowski,
"A Fast Computer Algorithm for the Generation
of Disjoint Cubes for Completely and Incompletely Specified Boolean Functions,"
Proc. of the 33rd Midwest Symp. on Circuits and Systems,
pp. 1119 - 1122, Alberta, Canada, August 1990.
-
M. A. Perkowski, M. Chrzanowska-Jeske,
"An Exact Algorithm to Minimize Mixed-Radix Exclusive Sums
of Products for Incompletely Specified Boolean Functions,"
Proc. of the IEEE ISCAS'90, International Symposium on Circuits and Systems,
pp. 1652 - 1655, New Orleans, 1-3 May 1990.
-
B. J. Falkowski, M. A. Perkowski,
"Essential Relations between Classical
and Spectral Approaches to Analysis, Synthesis and Testing of Completely and
Incompletely Specified Boolean Functions,"
Proc. of the IEEE ISCAS'90, International Symposium on Circuits and Systems,
pp. 1656 - 1659, New Orleans, 1-3 May 1990.
-
B. J. Falkowski, M. A. Perkowski,
"A Family of All Essential Radix-2
Addition/Subtraction Multi-Polarity Transforms: Algorithms and Interpretations
in Boolean Domain,"
Proc. of the IEEE ISCAS'90, International Symposium on Circuits and Systems,
pp. 2913 - 2916, New Orleans, 1-3 May 1990.
-
B. J. Falkowski, M. A. Perkowski,
"Algorithm and Architecture for Gray Code Ordered Fast Walsh Transform,"
Proc. of the IEEE ISCAS'90, International Symposium on Circuits and Systems,
pp. 1596 - 1599, New Orleans, 1-3 May 1990.
M. A. Perkowski, M. Helliwell, P. Wu,
"Minimization of Multiple-Valued Input, Multi-Output
Mixed-Radix Exclusive Sums of Products for Incompletely Specified Boolean Functions,"
Proc. of the 19th ISMVL,
International IEEE Symposium on Multiple-Valued Logic,
pp. 256 - 263, Guangzhou, People's Republic of China, May 1989.