@inproceedings{GUW061995,
               author = {G. Koch, U. Kebschull, W. Rosenstiel},
               title = {System Validation by Source Level Emulation of Behavioral VHDL Specifications},
               booktitle = {6th IEEE International Workshop on Rapid System Prototyping},
               year = {1995},
               month = {06},
               address = {Chapel Hill, USA}
}