Author: IEEE/ACM International Conference on Computer-Aided Design (1994 San Jose, Calif.)