Proceedings of International Conference on Computer Aided Design

The following topics were dealt with: technology mapping; interconnect characterisation and analysis; high performance routing synthesis; sequential circuit testing; formal verification; system design: synthesis and compilation; timing analysis; high level design; high performance circuit optimisation; circuit partitioning; ATPG; implication based logic synthesis; numerical simulation techniques; robust routing; BIST and DFT; yield and technology modelling; verification and fault tolerance; analog CAD and methodology; delay fault test; BDD applications and techniques; transmission line analysis; power and current modelling; mixed-signal testing; logic synthesis; system level optimisation and validation; and fault diagnosis