1. Corno F, Prinetto P, Sonza Reorda M. Testability analysis and ATPG on behavioral RT-level VHDL. In: Proceedings of IEEE international test conference, October 1997. p. 753–59.
2. Chiusano S, Corno F, Prinetto P. A test pattern generation algorithm exploiting behavioral information. In: Proceedings of seventh Asian test symposium (ATS’98), Singapore, December 1998. p. 480–85.
3. Rudnick EM, Vietti R, Ellis A, Corno F, Prinetto P, Sonza Reorda M. Fast sequential circuit test generation using high-level and gate-level techniques. In: Proceedings of IEEE design, automation and test in Europe, February 1998. p. 570–76.
4. Test generation and testability alternatives exploration of critical algorithms for embedded applications;Ferrandi;IEEE Trans Comput,2002
5. Cho CH, and Armstrong JR. B-algorithm: a behavioral test generation algorithm. In: Proceedings of international test conference, October 1994. p. 968–79.