High-level test synthesis with hierarchical test generation
Jervan, Gert
;
Eles, Petru
;
Peng, Zebo
;
Raik, Jaan
;
Ubar, Raimund-Johannes
17th NORCHIP Conference : Oslo, Norway, 8-9 November 1999 : proceedings
1999
/
p. 291-296