Author: Calif.) ACM International Conference on Computer-Aided Design (2000 : San Jose