8.30 - 9.45 Session 1: Retiming

1.1L Characterization of Feasible Retimings
Philip Chong, Robert K. Brayton
1.2L Retiming on Flexible Circuit Structures
Jason Baumgartner, Andreas Kuehlmann
1.3L Accurate Timing Model Based Retiming and its Integration into Placement
Ingmar Neumann, Wolfgang Kunz

2.1PApproaches for Scheduling of Adiabatic Logic
Laszlo Varga, Ferenc Kovacs, Gabor Hosszu
2.2P An ADD-Based Symbolic Analysis of Leakage Current in CMOS Circuits
Hui-Yuan Song, R. Iris Bahar, and Joel Grodstein
2.3P A Transaction-Based Unified Simulation/Emulation\\Architecture for Functional Verification
Murali Kudlugi, Soha Hassoun, Charles Selvidge, Duaine Pryor
2.4P Bi-Decomposition of Multi-Valued Relations
A. Mishchenko, B. Steinbach, M. A. Perkowski
2.5P Wordlength-Compatible Data-Path Synthesis of Numerical Computation-Intensive Algorithms
Suhrid A. Wadekar, Alice C. Parker
2.6P Microprocessor Design Verification Using Structural Transformations
Sae Hwan Kim, John P. Hayes

10.45 - 11.50 Session 3: Mapping & Decomposition

3.1L Layout-driven Timing Optimization by Generalized DeMorgan Transform
Supratik Chakraborty, Rajeev Murgai
3.2L Efficient Canonical Form for Boolean Matching of Complex Functions in Large Libraries
Jovanka Ciric, Carl Sechen
3.3S Unate Decomposition of Boolean Functions
James Jacob, Alan Mishchenko

13.00 - 14.30 Problem Solving

14.30 - 15.10 Session 4: Design Experiences

4.1L Arithmetic Logic Circuits using Self-Timed Bit-Level Dataflow and Early Evaluation
Robert B. Reese, Mississippi State University Mitch A. Thornton, Mississippi State University Cherrice Traver, Union College
4.2S PASS TRANSISTOR THRESHOLD GATES. APPLICATION TO WOS FILTERS
M. J. Avedillo, J. M. Quintana and R. Naharro

15.10 - 16:10 Session 5: Posters

5.1P Advances in BDD reduction using Parallel Genetic Algorithms
Umberto Souza da Costa, Anamaria Martins Moreira, David Boris Paul Deharbe.
5.2P Regularity and Symmetry as a Base for Efficient Realization of Reversible Logic Circuits
Marek Perkowski, Pawel Kerntopf+, Andrzej Buller*, Malgorzata Chrzanowska-Jeske, Alan Mishchenko, Xiaoyu Song, Anas Al-Rabadi, Lech Jozwiak@, Alan Coppola$ and Bart Massey
5.3P Delay Bound Determination for Timing Closure on CMOS Circuit
N. AZEMARD, M. ALINE, P. MAURINE and D. AUVERGNE
5.4P Reduction of Switching Noise in Low-Power CMOS Digital Circuits by Gate-level Optimization
Acosta, A.J., Parra. P., Juan, J., Valencia, M. and Jiménez, R.
5.5P Solution of Synchronous Language Equations for Logic Synthesis
Nina Yevtushenko Tiziano Villa Robert Brayton Alex Petrenko Alberto Sangiovanni-Vincentelli
5.6P Synthesis of a Solution to the Yale Shooting Problem via Natural Logic With Implications for a General Solution to the Frame Problem
Charles Moeller

16:10 - 17:30 Session 6: On Multi-Valued Logic & Don't Cares

6.1L CODCs Revisited
R. K. Brayton
6.2S An implicit method for multi-valued network encoding
Jie-Hone Jiang, Yunjian Jiang, Robert K. Brayton
6.3S Minimization of Multiple-Valued Functions in Post Algebra
Elena Dubrova, Yunjian Jiang, Robert Brayton
6.4L MVSIS
M. Gao,M. Gao, J.-H. Jiang, Y. Jiang, Y. Li, S. Sinha, and R. Brayton

17.45 - 19.00 Panel: Synthesis for Nanotechnology/Nanoelectronics

Seth Goldstein, CMU,  and Shalom Wind, IBM TJ Watson

19.00 Dinner 

8.30 - 9.45 Session 7: SPFDs

7.1L Sequential SPFDs
S. Sinha A. Kuehlmann R. K. Brayton
7.2L Theory and Algorithm for Global SPFD-Based Rewiring
Jason Cong Wangning Long
7.3L Robust and Efficient SPFD Computations
S. Sinha R. K. Brayton

8.1 Automatic Extraction of Behavior from Structure
Priya Raghavan, Jacob A. Abraham, Daniel G. Saab
8.2 High Level Power Estimation based on a functional analysis for Embedded DSP Software
Johann LAURENT, Nathalie JULIEN,Eric SENN, Eric MARTIN
8.3 Nonlinear Transformations of Decision Diagrams
KERNTOPF Pawel
8.4 Exact Algorithm for Modifying Buffer Trees Using Buffer Duplication in a Delay Optimization Perspective
Ankur Srivastava and Majid Sarrafzadeh
8.5 Speedup of Delay-Insensitive Digital Systems Using NULL Cycle Reduction
S. C. Smith, R. F. DeMara, J. S. Yuan, M. Hagedorn, and D. Ferguson
8.6 High Probability High Density State Traversal
Jian-Bang Lu, Wen-Chien Liu, Yirng-An Chen

10.45 - 11:50 Session 9: Re-wiring

9.1L Integration of Logic Synthesis and Layout Processes by Generating Multiple Choices of Circuit Transformation
Hiroaki Yoshida, Motohiro Sera, Masao Kubo and Masahiro Fujita
9.2S Xwire: Efficient Single Wire Addition And Removal Beyond Redundancy
Chih-Wei (Jim) Chang and Malgorzata Marek-Sadowska
9.3L Recognizing Input Equivalence in Digital Logic
David E. Wallace

13.00 - 14.30 Problem Solving

14.30 - 15.50 Session 10: Synthesis & Optimization

10.1L Concurrent Extraction of Partial Kernels with Timing Consideration
Peyman Rezvani and Massoud Pedram
10.2S Transporting Multi-Domain Signals Over Pin-Multiplexed Single Domain Paths
Murali Kudlugi Russell Tessier
10.3L A Cascade Realization of Multiple-Output Function for Reconfigurable Hardware
Tsutomu SASAO, Munehiro MATSUURA, and Yukihiro IGUCHI
10.4S A Case Study in IP Functional Customization: The UART 16550
Jiong Xie, Soha Hassoun

11.1 Logic-Timing Simulation using the Degradation Delay Model
Juan-Chico, J., Bellido, M.J., Ruiz-de-Clavijo, P., Jimenez, C.J., Baena, C. and Valencia, M.
11.2 Introducing Symbolic Algebraic Multi-Terminal Binary Decision Diagrams with Applications to RTL Verification
Priyank Kalla, Zhihong Zeng, and Maciej J. Ciesielski Affiliation: Dept. of Electrical & Computer Engineering Univ. of Massachusetts at Amherst Amherst, MA-01003.
11.3 Efficient and Effective Redundacy Removal for Million-Gate Circuits
Michel Berkelaar Koen van Eijk
11.4 Multi-Valued Multi-Level Network Decomposition
Minxi Gao and Robert Brayton
11.5 A Redesign Method Based on Evaluating Quantified Boolean Formulae
Masao Kubo Masahiro Fujita
11.6 Standard Cell Partition Size Variance and its Effect on Physical Design
Theodore W. Manikas and Gerald R. Kane

12.1L Verification of Integer Multipliers on the Arithmetic Bit Level
Dominik Stoffel and Wolfgang Kunz
12.2L ART: A Functional Test Program Generation Tool
Farzan Fallah Koichiro Takayama
12.3S MINCE: A STATIC GLOBAL VARIABLE-ORDERING FOR SAT AND BDD
Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah
12.3S Coverage-Directed Generation of Biased Random Inputs for Functional Validation of Sequential Circuits
S. Tasiran, F. Fallah, D.G. Chinnery, S.J. Weber, K. Keutzer

18.10 Banquet

7.30 - 8.30 Breakfast

8.30 - 9.55 Session 13: BDDs

13.1L Backtrack Search Using ZBDDs
Fadi A. Aloul Maher N. Mneimneh Karem A. Sakallah
13.2S BDD Decomposition for the Synthesis of High Performance PTL Circuits
Rupesh S. Shelar, Sachin S. Sapatneker
13.3S A Heuristic for Mod2-OBDD Minimization
Christoph Meinel, Harald Sack
13.4S Design of a Pointerless BDD Package
Geert Janssen
13.5S Hierarchical Image Computation with Dynamic Conjunction Scheduling
Christoph Meinel, Univ. Trier Christian Stangier, Univ. Trier

9.55 - 10.05  Break

10.05 - 11.00 Session 14: Power and Timing Analysis

14.1 A Path-based Method for Statistical Delay Calculation Dealing with Correlations Due to Reconverging Paths
Etienne Jacobs
14.2 An Impulse-train Approach to Statistical Timing Analysis
Srinath R. Naidu
14.3 ALBORZ: Address Level Bus Power Optimization
Yazdan Aghaghiri, Farzan Fallah, Massoud Pedram

11.00 - 12.30 The Solved and Not Solved Problems and Discussion

12.30 - 2:30  Lunch and IWLS 2002 planning meeting