Behavioral level modeling of digital systems for testing purposesUbar, Raimund-Johannes42nd International Conference, Ilmenau, Germany, September 22-25, 1997. Part 11997 / p. 510-515