10th Design automation workshop : proceedings (Institute of Electrical and Electronics Engineers Inc, 1973)