{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T06:57:18Z","timestamp":1725692238576},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,7]]},"DOI":"10.1109\/ivsw.2016.7566601","type":"proceedings-article","created":{"date-parts":[[2016,9,15]],"date-time":"2016-09-15T16:54:14Z","timestamp":1473958454000},"page":"1-6","source":"Crossref","is-referenced-by-count":2,"title":["Simulation-based verification of large-integer arithmetic circuits"],"prefix":"10.1109","author":[{"given":"Nejmeddine","family":"Alimi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Younes","family":"Lahbib","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohsen","family":"Machhout","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rached","family":"Tourki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0302-6"},{"journal-title":"Guide to Elliptic Curve Cryptography","year":"2003","author":"hankerson","key":"ref11"},{"article-title":"Using ModelSim Foreign Language Interface for C - VHDL Co-Simulation and for Simulator Control on Linux x86 Platform","year":"2014","author":"pool","key":"ref12"},{"article-title":"cocotb: COroutine based COsimulation TestBench environment for verifying VHDL\/Verilog RTL","year":"2014","author":"potential","key":"ref13"},{"article-title":"PyHVL, a verifcation tool","year":"2007","author":"smith","key":"ref14"},{"article-title":"Ruby-VPI","year":"0","author":"kurapati","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.15446\/ing.investig.v34n2.40542"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1155\/2013\/675161"},{"article-title":"Variable Precision Integer Arithmetic","year":"0","author":"d'errico","key":"ref18"},{"journal-title":"Hardware Implementation of Finite-Field Arithmetic","year":"2009","author":"deschamps","key":"ref19"},{"article-title":"NIST Special Publication 800-57, Recommendation for Key Management Part 1: General (Revision 3)","year":"2012","author":"barker","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-39799-X_31"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1587\/transfun.E97.A.347"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC.2013.6704676"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2013.10.013"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAEE.2012.6235402"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-1987-0866109-5"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/359340.359342"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ASAP.2014.6868630"}],"event":{"name":"2016 1st IEEE International Verification and Security Workshop (IVSW)","start":{"date-parts":[[2016,7,4]]},"location":"Sant Feliu de Guixols, Spain","end":{"date-parts":[[2016,7,6]]}},"container-title":["2016 1st IEEE International Verification and Security Workshop (IVSW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7565277\/7566596\/07566601.pdf?arnumber=7566601","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,10,5]],"date-time":"2016-10-05T08:09:01Z","timestamp":1475654941000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7566601\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/ivsw.2016.7566601","relation":{},"subject":[],"published":{"date-parts":[[2016,7]]}}}