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