dblp.uni-trier.de www.uni-trier.de

31. DAC 1994: San Diego, California, USA

Proceedings of the 31st Conference on Design Automation, San Diego, California, USA, June 6-10, 1994. ACM Press, 1994, ISBN 0-7803-1836-6

Software & Instruction Set Synthesis

Transition Densities for Sequential Systems

CAD for Analog and High-Performance Digital Circuits

Management of Electronic Design Automation

Panel

Asynchronous Synthesis

New Developments in Design for Test

Timing Analysis

Managing The Design Process

Estimation & Synthesis of Memory Structures

Intellectual Property

Panel

Technology-Driven Routing

Panel

data-Path Synthesis & Test

Topics in Verification and Diagnosis

FPGA Partitioning and Optimization

Design Implementation

BDD Techniques and Formal Verification

Panel

FPGA Placement & Routing

Formal Verification

Panel

Layout and Technology Dependent Synthesis

Delay and Self Test

Routing for High Performance

Panel

Logic Synthesis

Tutorial: Hardware-Software Co-Design

Design Representations and Data Structures for High Level Design

Design Methodology

Scheduling

CAD Algorithms in Non-CAD Problems

Fault Simulation and Diagnosis

World Class Electronic Design Methodologies I

New Ideas in High-level Synthesis

Panel

Electrical and Thermal Analysis

World Class Design Methodologies II

Formal Verification of Systems

Interconnect Analysis

Circuit Partitioning

Panel

Sequential Synthesis

New Techniques in Test Generation

Discrete Simulation

Copyright © Mon Mar 15 03:28:00 2010 by Michael Ley (ley@uni-trier.de)