IEEE/ACM International Conference on Computer-aided Design : Digest of technical papers, November 10-14, 1996, San Jose, California. (IEEE Computer Society Press, 1996)