Automatic Design and Testing of Large Synchronous Sequential Logic Systems. - M. Sepehry Rad (1978)