@article{hite_symple_2021-1,
	title = {{SymPLe}: {A} {Complexity}-{Aware} {Approach} for {Realizing} {Verifiable} {FPGA}-{Based} {Digital} {I}\&{C} for {Safety} {Critical} {Applications}},
	journal = {Nuclear Science and Engineering},
	author = {Hite, Richard and Deloglos, Christopher and Jayakumar, Athira and Gautham, Smitha and Collins, Aidan and Rajagopala, Abhi and Elks, Carl and Gibson, Matt},
	year = {2021},
}

{"_id":"ipsrr5yyxReoxSc4K","bibbaseid":"hite-deloglos-jayakumar-gautham-collins-rajagopala-elks-gibson-sympleacomplexityawareapproachforrealizingverifiablefpgabaseddigitalicforsafetycriticalapplications-2021","author_short":["Hite, R.","Deloglos, C.","Jayakumar, A.","Gautham, S.","Collins, A.","Rajagopala, A.","Elks, C.","Gibson, M."],"bibdata":{"bibtype":"article","type":"article","title":"SymPLe: A Complexity-Aware Approach for Realizing Verifiable FPGA-Based Digital I&C for Safety Critical Applications","journal":"Nuclear Science and Engineering","author":[{"propositions":[],"lastnames":["Hite"],"firstnames":["Richard"],"suffixes":[]},{"propositions":[],"lastnames":["Deloglos"],"firstnames":["Christopher"],"suffixes":[]},{"propositions":[],"lastnames":["Jayakumar"],"firstnames":["Athira"],"suffixes":[]},{"propositions":[],"lastnames":["Gautham"],"firstnames":["Smitha"],"suffixes":[]},{"propositions":[],"lastnames":["Collins"],"firstnames":["Aidan"],"suffixes":[]},{"propositions":[],"lastnames":["Rajagopala"],"firstnames":["Abhi"],"suffixes":[]},{"propositions":[],"lastnames":["Elks"],"firstnames":["Carl"],"suffixes":[]},{"propositions":[],"lastnames":["Gibson"],"firstnames":["Matt"],"suffixes":[]}],"year":"2021","bibtex":"@article{hite_symple_2021-1,\n\ttitle = {{SymPLe}: {A} {Complexity}-{Aware} {Approach} for {Realizing} {Verifiable} {FPGA}-{Based} {Digital} {I}\\&{C} for {Safety} {Critical} {Applications}},\n\tjournal = {Nuclear Science and Engineering},\n\tauthor = {Hite, Richard and Deloglos, Christopher and Jayakumar, Athira and Gautham, Smitha and Collins, Aidan and Rajagopala, Abhi and Elks, Carl and Gibson, Matt},\n\tyear = {2021},\n}\n\n","author_short":["Hite, R.","Deloglos, C.","Jayakumar, A.","Gautham, S.","Collins, A.","Rajagopala, A.","Elks, C.","Gibson, M."],"key":"hite_symple_2021-1","id":"hite_symple_2021-1","bibbaseid":"hite-deloglos-jayakumar-gautham-collins-rajagopala-elks-gibson-sympleacomplexityawareapproachforrealizingverifiablefpgabaseddigitalicforsafetycriticalapplications-2021","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://api.zotero.org/groups/2575028/items?key=WRT0i5KCH5DutUN8UOzXF5dC&format=bibtex&limit=100","dataSources":["3szDtHe5XuBcrBHR4","2PHxSBEXp3AWgXrFz"],"keywords":[],"search_terms":["symple","complexity","aware","approach","realizing","verifiable","fpga","based","digital","safety","critical","applications","hite","deloglos","jayakumar","gautham","collins","rajagopala","elks","gibson"],"title":"SymPLe: A Complexity-Aware Approach for Realizing Verifiable FPGA-Based Digital I&C for Safety Critical Applications","year":2021}