Testing Functional Faults in Digital Systems Described by Register Transfer Language. - Stephen Y. H. Su; Yu-I Hsieh (ITC, 1981)