Written by Calif.) IEEE/ACM International Conference on Computer-Aided Design (13th : 1995 : San Jose