IEEE International Conference on Computer-Aided Design (ICCAD-88), 6th Digest of Technical Papers (IEEE Computer Society Press)