%0 Journal Article %1 journals/dt/ErnstB91 %A Ernst, Rolf %A Bhasker, Jayaram %D 1991 %J IEEE Des. Test Comput. %K dblp %N 1 %P 14-20 %T Simulation-Based Verification for High-Level Synthesis. %U http://dblp.uni-trier.de/db/journals/dt/dt8.html#ErnstB91 %V 8

@article{journals/dt/ErnstB91, added-at = {2020-05-17T00:00:00.000+0200}, author = {Ernst, Rolf and Bhasker, Jayaram}, biburl = {https://www.bibsonomy.org/bibtex/2bd00031a1f96d945c480223a3aa12e6a/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/54.75659}, interhash = {4c331e9718e7da98871373772f9d64a6}, intrahash = {bd00031a1f96d945c480223a3aa12e6a}, journal = {IEEE Des. Test Comput.}, keywords = {dblp}, number = 1, pages = {14-20}, timestamp = {2020-05-19T12:21:25.000+0200}, title = {Simulation-Based Verification for High-Level Synthesis.}, url = {http://dblp.uni-trier.de/db/journals/dt/dt8.html#ErnstB91}, volume = 8, year = 1991 }