{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T23:57:06Z","timestamp":1780444626532,"version":"3.54.1"},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"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":[[2023,4]]},"DOI":"10.23919\/date56975.2023.10137166","type":"proceedings-article","created":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T19:32:57Z","timestamp":1685734377000},"page":"1-2","source":"Crossref","is-referenced-by-count":10,"title":["Polynomial Formal Verification of Floating Point Adders"],"prefix":"10.23919","author":[{"given":"Jan","family":"Kleinekath\u00f6fer","sequence":"first","affiliation":[{"name":"University of Bremen,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alireza","family":"Mahzoon","sequence":"additional","affiliation":[{"name":"University of Bremen,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[{"name":"University of Bremen,Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref13","first-page":"2","article-title":"*PHDD: an efficient graph representation for floating point circuit verification","author":"chen","year":"1997","journal-title":"ICCAD"},{"key":"ref12","first-page":"1298","article-title":"Automatic formal verification of fused-multiply-add fpus","author":"jacobi","year":"2005","journal-title":"DATE"},{"key":"ref15","article-title":"Lower bound proof for the size of BDDs representing a shifted addition","author":"kleinekathofer","year":"2022","journal-title":"coRR abs\/2209 12477"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/103516.103519"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/309847.309968"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-1539-9_3"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS52668.2021.9417052"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1021752130394"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/217474.217583"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s100090100056"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_32"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586107"},{"key":"ref3","first-page":"85","article-title":"Polynomial formal verification of prefix adders","author":"mahzoon","year":"2021","journal-title":"ATS"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3508352.3561104"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS54261.2022.9770156"}],"event":{"name":"2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)","location":"Antwerp, Belgium","start":{"date-parts":[[2023,4,17]]},"end":{"date-parts":[[2023,4,19]]}},"container-title":["2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10136870\/10136706\/10137166.pdf?arnumber=10137166","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,17]],"date-time":"2023-07-17T17:30:59Z","timestamp":1689615059000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10137166\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4]]},"references-count":15,"URL":"https:\/\/doi.org\/10.23919\/date56975.2023.10137166","relation":{},"subject":[],"published":{"date-parts":[[2023,4]]}}}