25th ACM/IEEE, Design Automation Conference.Proceedings 1988.