Tommy Kuhn, Tobias Oppold, Markus Winterholer, Wolfgang Rosenstiel, Mark Edwards, Yaron Kashai
A Framework for Object Oriented Hardware Specification, Verification, and Synthesis
DAC, 2001.
@inproceedings{DAC-2001-KuhnOWREK,
author = "Tommy Kuhn and Tobias Oppold and Markus Winterholer and Wolfgang Rosenstiel and Mark Edwards and Yaron Kashai",
booktitle = "{Proceedings of the 38th Design Automation Conference}",
doi = "10.1145/378239.378537",
isbn = "1-58113-297-2",
pages = "413--418",
publisher = "{ACM}",
title = "{A Framework for Object Oriented Hardware Specification, Verification, and Synthesis}",
year = 2001,
}