Books by IEEE/ACM International Conference on Computer-Aided Design (2001 San Jose, Calif.)