Harry Hsieh, Felice Balarin. Synchronous equivalence for embedded systems: a tool for design exploration. In Jacob K. White, Ellen Sentovich, editors, Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999, San Jose, California, USA, November 7-11, 1999. pages 505-510, IEEE, 1999. [doi]
@inproceedings{HsiehB99,
title = {Synchronous equivalence for embedded systems: a tool for design exploration},
author = {Harry Hsieh and Felice Balarin},
year = {1999},
url = {http://portal.acm.org/citation.cfm?id=339492.340068},
tags = {design},
researchr = {https://researchr.org/publication/HsiehB99},
cites = {0},
citedby = {0},
pages = {505-510},
booktitle = {Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999, San Jose, California, USA, November 7-11, 1999},
editor = {Jacob K. White and Ellen Sentovich},
publisher = {IEEE},
isbn = {0-7803-5832-5},
}