Tim Todman, Wayne Luk. Verification of streaming designs by combining symbolic simulation and equivalence checking. In Dirk Koch, Satnam Singh, Jim Tørresen, editors, 22nd International Conference on Field Programmable Logic and Applications (FPL), Oslo, Norway, August 29-31, 2012. pages 203-208, IEEE, 2012. [doi]
@inproceedings{TodmanL12,
title = {Verification of streaming designs by combining symbolic simulation and equivalence checking},
author = {Tim Todman and Wayne Luk},
year = {2012},
doi = {10.1109/FPL.2012.6339261},
url = {http://dx.doi.org/10.1109/FPL.2012.6339261},
researchr = {https://researchr.org/publication/TodmanL12},
cites = {0},
citedby = {0},
pages = {203-208},
booktitle = {22nd International Conference on Field Programmable Logic and Applications (FPL), Oslo, Norway, August 29-31, 2012},
editor = {Dirk Koch and Satnam Singh and Jim Tørresen},
publisher = {IEEE},
isbn = {978-1-4673-2257-7},
}