Testing core-based digital systems: A symbolic methodology (1997)

by F Ferrandi, F Fummi, E Macii, M Poncino, D Sciuto
Venue:IEEE Design Test Comput