%0 Journal Article %1 journals/pacmpl/HerklotzPRW21 %A Herklotz, Yann %A Pollard, James D. %A Ramanathan, Nadesh %A Wickerson, John %D 2021 %J Proc. ACM Program. Lang. %K dblp %N OOPSLA %P 1-30 %T Formal verification of high-level synthesis. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl5.html#HerklotzPRW21 %V 5

@article{journals/pacmpl/HerklotzPRW21, added-at = {2022-01-08T00:00:00.000+0100}, author = {Herklotz, Yann and Pollard, James D. and Ramanathan, Nadesh and Wickerson, John}, biburl = {https://www.bibsonomy.org/bibtex/218bf2f5de778ed587af23c3e0be07f22/dblp}, ee = {https://doi.org/10.1145/3485494}, interhash = {e97e8d26bdf1e8be37c000d878b323a9}, intrahash = {18bf2f5de778ed587af23c3e0be07f22}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {OOPSLA}, pages = {1-30}, timestamp = {2024-04-08T09:54:45.000+0200}, title = {Formal verification of high-level synthesis.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl5.html#HerklotzPRW21}, volume = 5, year = 2021 }