{"_id":"43idNZT7EfaQdLrw9","bibbaseid":"christopherclark-nathanbraswell-tingyeansung-automatedformalequivalencycheckingforfpgatools-2023","author_short":["Christopher Clark, W. S.","Nathan Braswell, T. H.","Ting-Yean Sung, O. S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Christopher","Clark"],"firstnames":["William","Stuckey"],"suffixes":[]},{"propositions":[],"lastnames":["Nathan","Braswell"],"firstnames":["Travis","Haroldsen"],"suffixes":[]},{"propositions":[],"lastnames":["Ting-Yean","Sung"],"firstnames":["Osaze","Shears"],"suffixes":[]}],"title":"Automated Formal equivalency checking for FPGA Tools","booktitle":"GOMACTech-23","year":"2023","isiarea":"CAS","bibtex":"@InProceedings{ Clark-2023,\r\nauthor = {Christopher Clark, William Stuckey, Nathan Braswell, Travis Haroldsen, Ting-Yean Sung, Osaze Shears},\r\ntitle = {Automated Formal equivalency checking for FPGA Tools},\r\nbooktitle = {GOMACTech-23},\r\nyear = {2023},\r\nISIArea = {CAS}\r\n}\r\n\r\n","author_short":["Christopher Clark, W. S.","Nathan Braswell, T. H.","Ting-Yean Sung, O. S."],"bibbaseid":"christopherclark-nathanbraswell-tingyeansung-automatedformalequivalencycheckingforfpgatools-2023","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/f/y9Wqpb9FP55mEEuQJ/shears-2023.bib","dataSources":["3cquXvvCgRPxJEhej"],"keywords":[],"search_terms":["automated","formal","equivalency","checking","fpga","tools","christopher clark","nathan braswell","ting-yean sung"],"title":"Automated Formal equivalency checking for FPGA Tools","year":2023}