Title: 31st Design Automation Conference: Proceedings 1994