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

EURO-DAC 1990: Glasgow, Scotland, UK

Gordon Adshead, Jochen A. G. Jess (Eds.): European Design Automation Conference, EURO-DAC 1990, Glasgow, Scotland, UK, March 12-15, 1990. IEEE Computer Society 1990, ISBN 0-8186-2024-2 BibTeX

Tools for testing

Databases and frameworks

Formal verification

Scheduling and allocation I

Simulation languages

Cell generators

Scheduling and allocation II

Description of design systems and methodologies

Compaction and circuit packing

Combinational logic design optimization

Simulation I

Floorplanning

High level synthesis systems

Simulation II

Placement

Delay and CMOS testing

Databases and datastructuring

Physical verification and simulation

Low-level fault modelling and test generation

Selected topics in CAD systems

Routing

Test pattern generation and fault simulation

Procedural interfaces

Timing analysis and verification

Finit state machine synthesis I

Simulation modelling

Physical design optimization

Finite state machine synthesis - II

Verification and PLA testing

Novel approaches in placement

Copyright © Sat May 16 23:11:12 2009 by Michael Ley (ley@uni-trier.de)