%0 Conference Paper %1 conf/cav/TruongHSMDZDSHB20 %A Truong, Lenny %A Herbst, Steven %A Setaluri, Rajsekhar %A Mann, Makai %A Daly, Ross G. %A Zhang, Keyi %A Donovick, Caleb %A Stanley, Daniel %A Horowitz, Mark %A Barrett, Clark W. %A Hanrahan, Pat %B CAV (1) %D 2020 %E Lahiri, Shuvendu K. %E Wang, Chao %I Springer %K dblp %P 403-414 %T fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components. %U http://dblp.uni-trier.de/db/conf/cav/cav2020-1.html#TruongHSMDZDSHB20 %V 12224 %@ 978-3-030-53288-8

@inproceedings{conf/cav/TruongHSMDZDSHB20, added-at = {2022-01-03T00:00:00.000+0100}, author = {Truong, Lenny and Herbst, Steven and Setaluri, Rajsekhar and Mann, Makai and Daly, Ross G. and Zhang, Keyi and Donovick, Caleb and Stanley, Daniel and Horowitz, Mark and Barrett, Clark W. and Hanrahan, Pat}, biburl = {https://www.bibsonomy.org/bibtex/299b0a4f605718a1754a4c6b17453f958/dblp}, booktitle = {CAV (1)}, crossref = {conf/cav/2020-1}, editor = {Lahiri, Shuvendu K. and Wang, Chao}, ee = {https://doi.org/10.1007/978-3-030-53288-8_19}, interhash = {6daa8d8d45725b2c9fcbf0c886b42803}, intrahash = {99b0a4f605718a1754a4c6b17453f958}, isbn = {978-3-030-53288-8}, keywords = {dblp}, pages = {403-414}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T09:20:57.000+0200}, title = {fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2020-1.html#TruongHSMDZDSHB20}, volume = 12224, year = 2020 }