2. ASYNC 1996: Aizu-Wakamatsu, Fukushima, Japan

Session 1: High-Speed Design

Session 2: Logic Synthesis

Session 3: Architectural Synthesis

Session 4: Formal Methods

Session 5: Novel Techniques

Session 6: Design Automation and Measurements

Session 7: Low Power and System Design

Session 8: Logic Optimization