@book{elks_realizing_2019,
	title = {Realizing {Verifiable} {I}\&{C} and {Embedded} {Digital} {Devices} for {Nuclear} {Power} {Design}, {Verification} and {Demonstration} of the {SymPLe} {Architecture}},
	abstract = {This report describes the design, development, and Prototype implementation of the SymPle FPGA architecture for safety critical Nuclear Power Applications. We used Model based design and engineering tools (Simulink) to achieve rigorous design assurance with respect to IEC 61508 SIL 3 and 4.},
	author = {Elks, Carl and Tantawy, Ashraf and Hite, Richard and Gautham, Smitha and Jayakumar, Athira and Deloglos, Christopher},
	month = jun,
	year = {2019},
}

{"_id":"9yKgtjpZFXc3EobwZ","bibbaseid":"elks-tantawy-hite-gautham-jayakumar-deloglos-realizingverifiableicandembeddeddigitaldevicesfornuclearpowerdesignverificationanddemonstrationofthesymplearchitecture-2019","authorIDs":["gnpJ2XahbLkbuhcqz"],"author_short":["Elks, C.","Tantawy, A.","Hite, R.","Gautham, S.","Jayakumar, A.","Deloglos, C."],"bibdata":{"bibtype":"book","type":"book","title":"Realizing Verifiable I&C and Embedded Digital Devices for Nuclear Power Design, Verification and Demonstration of the SymPLe Architecture","abstract":"This report describes the design, development, and Prototype implementation of the SymPle FPGA architecture for safety critical Nuclear Power Applications. We used Model based design and engineering tools (Simulink) to achieve rigorous design assurance with respect to IEC 61508 SIL 3 and 4.","author":[{"propositions":[],"lastnames":["Elks"],"firstnames":["Carl"],"suffixes":[]},{"propositions":[],"lastnames":["Tantawy"],"firstnames":["Ashraf"],"suffixes":[]},{"propositions":[],"lastnames":["Hite"],"firstnames":["Richard"],"suffixes":[]},{"propositions":[],"lastnames":["Gautham"],"firstnames":["Smitha"],"suffixes":[]},{"propositions":[],"lastnames":["Jayakumar"],"firstnames":["Athira"],"suffixes":[]},{"propositions":[],"lastnames":["Deloglos"],"firstnames":["Christopher"],"suffixes":[]}],"month":"June","year":"2019","bibtex":"@book{elks_realizing_2019,\n\ttitle = {Realizing {Verifiable} {I}\\&{C} and {Embedded} {Digital} {Devices} for {Nuclear} {Power} {Design}, {Verification} and {Demonstration} of the {SymPLe} {Architecture}},\n\tabstract = {This report describes the design, development, and Prototype implementation of the SymPle FPGA architecture for safety critical Nuclear Power Applications. We used Model based design and engineering tools (Simulink) to achieve rigorous design assurance with respect to IEC 61508 SIL 3 and 4.},\n\tauthor = {Elks, Carl and Tantawy, Ashraf and Hite, Richard and Gautham, Smitha and Jayakumar, Athira and Deloglos, Christopher},\n\tmonth = jun,\n\tyear = {2019},\n}\n\n","author_short":["Elks, C.","Tantawy, A.","Hite, R.","Gautham, S.","Jayakumar, A.","Deloglos, C."],"key":"elks_realizing_2019","id":"elks_realizing_2019","bibbaseid":"elks-tantawy-hite-gautham-jayakumar-deloglos-realizingverifiableicandembeddeddigitaldevicesfornuclearpowerdesignverificationanddemonstrationofthesymplearchitecture-2019","role":"author","urls":{},"metadata":{"authorlinks":{"elks, c":"https://bibbase.org/show?bib=https%3A%2F%2Fapi.zotero.org%2Fgroups%2F2575028%2Fitems%3Fkey%3DWRT0i5KCH5DutUN8UOzXF5dC%26format%3Dbibtex%26limit%3D100"}},"downloads":0},"bibtype":"book","biburl":"https://api.zotero.org/groups/2575028/items?key=WRT0i5KCH5DutUN8UOzXF5dC&format=bibtex&limit=100","creationDate":"2020-11-10T15:43:26.297Z","downloads":0,"keywords":[],"search_terms":["realizing","verifiable","embedded","digital","devices","nuclear","power","design","verification","demonstration","symple","architecture","elks","tantawy","hite","gautham","jayakumar","deloglos"],"title":"Realizing Verifiable I&C and Embedded Digital Devices for Nuclear Power Design, Verification and Demonstration of the SymPLe Architecture","year":2019,"dataSources":["3szDtHe5XuBcrBHR4","2PHxSBEXp3AWgXrFz"]}