Final Programme
           3rd International Workshop on Applications of the
                Reed-Muller Expansion in Circuit Design 
                           (Reed-Muller 97)
                  In Cooperation with IFIP WG 10.5.
                                                                         
Place: Oxford University, Oxford, UK.
Date:  September 19-20, 1997
        just after ESSCIRC 97 (European Solid-State Circuits Conference)
                Southampton, UK, September 16-18 . 
This workshop focuses on the application of new techniques in the
representation and realization of discrete functions. AND-EXOR based
representations are often simpler than AND-OR based representations,
and have other important properties. Decision diagrams are being
extensively studied, and have offered powerful new techniques for
verification and synthesis.  The goal of the workshop is to bring
together researchers in these and related fields to discuss new
approaches and results. The first workshop was held in September 1993,
in Hamburg, and the second in August 1995, in Tokyo.

Call for posters: As well as the refereed work listed below we are
also making space available for the display of posters describing very
recent work. If you'd like to take advantage of this, simply contact
Frances Page at the address below with the title of your poster and a
list of authors. Space will be allocated on a first come first served
basis.

Enquiries :
Miss Frances Page
Oxford University Computing Laboratory
Wolfson Building, Parks Road
Oxford OX1 3QD, UK.
Tel: +44 1865 283505/273838
Fax: +44 1865 273839
Email: Frances.Page@comlab.ox.ac.uk

Further details are available on the website: 
http://www.comlab.ox.ac.uk/oucl/users/jon.saul/ReedMuller97.html

*************************************************************************
FRIDAY 19 SEPTEMBER 1997
************************
08.45-09.10 Registration
09.10-09.15 Welcome 

09.15-09.40
Invited talk: Hybrid Spectral Transform Diagrams, Masahiro Fujita 

09.40-10.05
Reordering Based Synthesis, Andreas Hett, Rolf Drechsler and Bernd Becker

10.05-10.30
ETDD-based Generation of Complex Terms for Incompletely Specified Boolean
Functions, Gueesang Lee

******************
10.30-11.30 Coffee and Posters
******************

11.30-11.55
Minimized Generalized Partially Mixed Polarity Reed-Muller Expansion
M Marek-Sadowska, G Guner, T Krishnamurthy, S Gargeshwari and Ch Sharma

11.55-12.20
Exclusive-OR of Two Sum-of Products Expressions: Simplification and an
Upper Bound on the Number of Products, Debatosh Debnath and Tsutomu Sasao

12.20-12.45
New Fast Approach to Approximate ESOP Minimization for Incompletely
Specified Multi-Output Functions, Ning Song and Marek Perkowski 

************
12.45-02.00  Buffet Lunch
************

02.00-02.25
Low Power Aspects of XOR based Circuit Design
Yibin Ye, Kaushik Roy and Rolf Drechsler

02.25-02.50
Lattice Diagrams Using Reed-Muller Logic
Marek Perkowski, Malgorzata Chrzanowska-Jeske and Yang Xu

02.50-03.15
Hardware Acceleration of Two-level ESOP Minimization Using CAMs
Jonathan Saul

***************
03.15-04.00 Tea and Posters
***************

04.00-04.25
Two Hierarchies of Generalized Kronecker Trees, Forms, Decision Diagrams
and Regular Layouts, Marek Perkowski, Lech Jozwiak and Rolf Drechsler

04.25-04.50
Universal and Robust Testing of Stuck-Open Faults in Reed-Muller
Canonical CMOS Circuits,  D Das, S Chakraborty and B Bhattacharya

***********************
WORKSHOP DINNER	
***********************

Day 1 Posters
*************
In addition to posters relating to all the above papers the following
will be displayed during Friday:

Non-Abelian Groups in Optimization of Decision Diagrams Representations
of Discrete Functions, Radomir Stankovic

Reed-Muller Transform and Wavelets Theory:  An Alternative Look at
Reed-Muller Expansions, Radomir Stankovic and Yasushi Endow

Test Set Generation for Functional Decision Diagram Circuits using
Genetic Algorithm, A Bystrov and A Almaini

A General Data Structure for XOR-Decomposition of Sets of Switching
Functions, Bernd Steinbach and Christian Lang

Compact Testing of AND-EXOR Programmable Logic Arrays
Roustam Latypov

****************************************************************************
SATURDAY 29 SEPTEMBER 1997
**************************
09.15-09.40
Complexity Measures for AND-EXOR Expressions, Tsutomu Sasao

09.40-10.05
Minimizing Polynomial Implementation of Weakly Specified Logic Functions
and Systems, Arkadij Zakrevskij

10.05-10.30
The Complexity of Symmetric Functions in the Polynomial Forms
Julia Manstivoda and Nikolay Peryazev 

******************
10.30-11.30  Coffee and Posters
******************

11.30-11.55
Case Study:  Manipulating EXOR-OBDDs by Means of Signatures
Christoph Meinel and Harald Sack

11.55-12.20
Compilation of Fast Manipulation Algorithms for K*BMDs
Stefan Horeth and Rolf Drechsler

12.20-12.45
Combinational Logic-Level Verification using Boolean Expression Diagrams
Henrik Hulgaard, Poul Williams and Henrik Andersen

************
12.45-02.00 , Buffet Lunch
************

02.00-02.25
A Heuristic Procedure for Finding AND-OR-XOR Expansions of Incompletely
Specified Boolean Functions
Elena Dubrova, Michael Miller and Jon Muzio

02.25-02.50
A Canonical AND/EXOR Form that includes both the Generalized Reed-Muller
Forms and Kronecker Reed-Muller Forms
Marek Perkowski, Lech Jozwiak and Rolf Drechsler

02.50-03.15
A Critique of Mixed Exclusive-/Inclusive-OR Logic Synthesis for the
Xilinx XC6200 FPGA, Paul Metzgen and Jonathan Saul

***************
03.15-04.00 Tea and Posters
***************

04.00-04.25
A New Linearly Independent, Zhegalkin Galois Field Reed-Muller Logic
Karen Dill, Konika Ganguly, Robert Safranek and Marek Perkowski

04.25-04.55
Panel Session: Toward the future Reed-Muller Workshops
Panel Chair: T. Sasao

04.55-05.00 Closing

Day 2 Posters
*************
Decision Diagrams for Discrete Functions Representations
Radomir Stankovic

On Self-dual Complements of Fixed Polarity Reed-Muller 2-forms
Ken Fok, Malgorzata Marek-Sadowska and Simone Boehringer

Evolutionary Minimization of Generalized Reed-Muller Forms
Karen Dill and Marek Perkowski

Decomposition of Logical Functions in Reed-Muller Logic
Elena Zaitseva and D Popel

Parallel and Distributed Algorithms for Minimization of Incompletely
Specified Logic Functions in Reed-Muller Domain
Svetlana Yanushkevich, Grzegorz Holowinski, Vlad Shmerko and
Elena Zaitseva
************************************************************************