Title: 1995 Ieee/Acm International Conference on Computer-Aided Design: Digest of Technical Papers