1. Digital Systems Testings and Testable Design;Abramovici,1990
2. B-algorithm;Cho,1994
3. VHDL behavioral ATPG and fault simulation of digital systems;Chen;IEEE Trans. Aerosp. Electron. Syst.,1998
4. An RT-level fault model with high gate level correlation;Corno,2000
5. Testability analysis and ATPG on behavioral RT-level VHDL;Corno,1997