%0 Journal Article %1 journals/todaes/HuangLLHSTGCCWGTM24 %A Huang, Bo-Yuan %A Lyubomirsky, Steven %A Li, Yi %A He, Mike %A Smith, Gus Henry %A Tambe, Thierry %A Gaonkar, Akash %A Canumalla, Vishal %A Cheung, Andrew %A Wei, Gu-Yeon %A Gupta, Aarti %A Tatlock, Zachary %A Malik, Sharad %D 2024 %J ACM Trans. Design Autom. Electr. Syst. %K dblp %N 2 %P 35:1-35:25 %T Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface. %U http://dblp.uni-trier.de/db/journals/todaes/todaes29.html#HuangLLHSTGCCWGTM24 %V 29

@article{journals/todaes/HuangLLHSTGCCWGTM24, added-at = {2024-04-01T00:00:00.000+0200}, author = {Huang, Bo-Yuan and Lyubomirsky, Steven and Li, Yi and He, Mike and Smith, Gus Henry and Tambe, Thierry and Gaonkar, Akash and Canumalla, Vishal and Cheung, Andrew and Wei, Gu-Yeon and Gupta, Aarti and Tatlock, Zachary and Malik, Sharad}, biburl = {https://www.bibsonomy.org/bibtex/2a2cd0c6d02a8b7f0c3d6f2a6e59403c5/dblp}, ee = {https://doi.org/10.1145/3639051}, interhash = {02dc17aadd49fb0e647f0ad85d1f3263}, intrahash = {a2cd0c6d02a8b7f0c3d6f2a6e59403c5}, journal = {ACM Trans. Design Autom. Electr. Syst.}, keywords = {dblp}, month = {March}, number = 2, pages = {35:1-35:25}, timestamp = {2024-04-08T21:43:16.000+0200}, title = {Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface.}, url = {http://dblp.uni-trier.de/db/journals/todaes/todaes29.html#HuangLLHSTGCCWGTM24}, volume = 29, year = 2024 }