@inproceedings{CAW1996,
               author = {C. Hansen, A. Kunzmann, W. Rosenstiel},
               title = {Re-use of Test Vectors for High Level Verification},
               booktitle = {High Level Design Validation and Test Workshop},
               year = {1996},
               address = {Oakland, CA, USA}
}