{"_id":"K6S63GbLvWbKwWkHn","bibbaseid":"clark-stuckley-braswell-haroldsen-sung--shears-automatedformalequivalencycheckingforfpgatools-2023","author_short":["Clark, C. R.","Stuckley, W.","Braswell, N.","Haroldsen, T.","Sung, T.","","Shears, O."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["C.","R."],"propositions":[],"lastnames":["Clark"],"suffixes":[]},{"firstnames":["W."],"propositions":[],"lastnames":["Stuckley"],"suffixes":[]},{"firstnames":["N."],"propositions":[],"lastnames":["Braswell"],"suffixes":[]},{"firstnames":["T."],"propositions":[],"lastnames":["Haroldsen"],"suffixes":[]},{"firstnames":["T.Y."],"propositions":[],"lastnames":["Sung"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":[""],"suffixes":[]},{"firstnames":["O."],"propositions":[],"lastnames":["Shears"],"suffixes":[]}],"title":"Automated Formal Equivalency Checking for FPGA Tools","booktitle":"Government Microcircuit Applications and Critical Technology Conference","month":"March","year":"2023","bibtex":"@inproceedings{gopher-gomac:2023,\n author = {C. R. Clark and W. Stuckley and N. Braswell and T. Haroldsen and T.Y. Sung and and O. Shears},\n title = {{Automated Formal Equivalency Checking for FPGA Tools}},\n booktitle = {Government Microcircuit Applications and Critical Technology Conference},\n month = {March},\n year = {2023},\n}\n\n","author_short":["Clark, C. R.","Stuckley, W.","Braswell, N.","Haroldsen, T.","Sung, T.","","Shears, O."],"bibbaseid":"clark-stuckley-braswell-haroldsen-sung--shears-automatedformalequivalencycheckingforfpgatools-2023","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/f/PFme4g7kvhRzCxeKy/tsung-2023.bib","dataSources":["hXPbxzsEqzDTbBrva","hab4gWBMe5b4a6Hhz"],"keywords":[],"search_terms":["automated","formal","equivalency","checking","fpga","tools","clark","stuckley","braswell","haroldsen","sung","","shears"],"title":"Automated Formal Equivalency Checking for FPGA Tools","year":2023}