@inproceedings{TTMWMY2001,
               author = {T. Kuhn, T. Oppold, M. Winterholer, W. Rosenstiel, M. Edwards, , Y. Kashai},
               title = {A Framework for Object Oriented Hardware Specification, Verification, and Synthesis},
               booktitle = {38. Design Automation Conference (DAC)},
               year = {2001},
               address = {Las Vegas, USA}
}