共 2 条
[1]
Partial scan flip-flop selection by use of empirical testability[J] . Kee S. Kim,Charles R. Kime.Journal of Electronic Testing . 1995 (1)
[2]
Program slices: Formal, psychological, and practical investigation of an automatic program abstraction method. Weiser M. . 1979