A VLSI Design Verification Strategy. - Arnold S. Tran; Richard A. Forsberg; Jack C. Lee (IBM J. Res. Dev., 1982)