Proceedings of the ASP-DAC 2001. Asia and South Pacific Design Automation Conference 2001 (Cat. No.01EX455)

摘要

The following topics were covered: device/circuit co-designing for advanced technologies; system level specification and simulation; BDD and sequential verification issues; interconnect design optimisation; design for manufacturability; system-level design; equivalence checking; parasitic extraction and reduced order models; functional decomposition and PLA-based logic synthesis; low power techniques for embedded software; asynchronous system design - architecture and low-power; analog design methodology; low power design methodology; advanced BIST; DSM design and analysis; signal integrity and analysis; design experiments for mobile applications; compilation techniques for embedded software; asynchronous system design - synthesis; system level power optimisation; multi-level logic optimization for logic circuits; practical and high level DFT; performance driven floorplaning and placement; delay and power estimation improvement; networked reconfiguration and systems; advances in timing optimisation of logic circuits; logic synthesis for low power and design space exploration; optimisation techniques for FPGAs; processor synthesis.