{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T16:51:25Z","timestamp":1754153485953,"version":"3.41.2"},"reference-count":9,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T00:00:00Z","timestamp":1749600000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T00:00:00Z","timestamp":1749600000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,6,11]]},"DOI":"10.1109\/mocast65744.2025.11083926","type":"proceedings-article","created":{"date-parts":[[2025,7,22]],"date-time":"2025-07-22T18:01:35Z","timestamp":1753207295000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Evaluation of the Design Space for SORN Arithmetic Datatypes"],"prefix":"10.1109","author":[{"given":"Moritz","family":"B\u00e4rthel","sequence":"first","affiliation":[{"name":"Institute of Electrodynamics and Microelectronics (ITEM.me)"}]},{"given":"Yixuan","family":"Yao","sequence":"additional","affiliation":[{"name":"University of Bremen,Bremen,Germany"}]},{"given":"Nils","family":"H\u00fclsmeier","sequence":"additional","affiliation":[{"name":"Institute of Electrodynamics and Microelectronics (ITEM.me)"}]},{"given":"Steffen","family":"Paul","sequence":"additional","affiliation":[{"name":"Institute of Electrodynamics and Microelectronics (ITEM.me)"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MCAS.2020.3027425"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.14529\/jsfi170206"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.14529\/jsfi160203"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3091778"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/NorCAS64408.2024.10752458"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-09779-9_1"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/NEWCAS52662.2022.9841985"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.2983709"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/NorCAS64408.2024.10752462"}],"event":{"name":"2025 14th International Conference on Modern Circuits and Systems Technologies (MOCAST)","start":{"date-parts":[[2025,6,11]]},"location":"Dresden, Germany","end":{"date-parts":[[2025,6,13]]}},"container-title":["2025 14th International Conference on Modern Circuits and Systems Technologies (MOCAST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11083879\/11083724\/11083926.pdf?arnumber=11083926","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,23]],"date-time":"2025-07-23T05:10:03Z","timestamp":1753247403000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11083926\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,11]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/mocast65744.2025.11083926","relation":{},"subject":[],"published":{"date-parts":[[2025,6,11]]}}}