Design automation. Proceedings - IEEE Conference on design automation (27 1990 Orlando) (New York IEEE, 1990)