International Conference on Computer Aided Design November 9 - 13, 2003, Doubletree Hotel, San Jose, CA ; [IEEE ACM digest of technical papers] (IEEE [u.a.], 2003)