A generic scheme for communication representation and mappingMeincke, Thomas; Jantsch, Axel; Ellervee, Peeter; Hemani, Ahmed; Tenhunen, Hannu17th NORCHIP Conference : Oslo, Norway, 8-9 November 1999 : proceedings1999 / p. 334-339 : ill

High-level test synthesis with hierarchical test generationJervan, Gert; Eles, Petru; Peng, Zebo; Raik, Jaan; Ubar, Raimund-Johannes17th NORCHIP Conference : Oslo, Norway, 8-9 November 1999 : proceedings1999 / p. 291-296

Two-level simulation-based test generation for finite state machinesBrik, Marina; Ubar, Raimund-Johannes17th NORCHIP Conference : Oslo, Norway, 8-9 November 1999 : proceedings1999 / p. 211-216: ill