Author: China) Asia and South Pacific Design Automation Conference (2005 Shanghai