{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:06:35Z","timestamp":1730221595031,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,9,10]],"date-time":"2021-09-10T00:00:00Z","timestamp":1631232000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,9,10]],"date-time":"2021-09-10T00:00:00Z","timestamp":1631232000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,9,10]],"date-time":"2021-09-10T00:00:00Z","timestamp":1631232000000},"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":[[2021,9,10]]},"DOI":"10.1109\/ewdts52692.2021.9580991","type":"proceedings-article","created":{"date-parts":[[2021,10,26]],"date-time":"2021-10-26T17:13:28Z","timestamp":1635268408000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["FSM-based Sequential Circuits Optimization by Changing Initial State of Specification"],"prefix":"10.1109","author":[{"given":"Maxim","family":"Gromov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Natalia","family":"Shabaldina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aleksandr","family":"Tvardovskii","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Svetlana","family":"Prokopenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"200","article-title":"Polinomial’naya realizaciya chastichnyh bulevyh funkcij i sistem","author":"zakrevskii","year":"2021","journal-title":"Izd Stereotip"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.264"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1109\/TCAD.1985.1270123","article-title":"Optimal state assignment for finite state machines","volume":"4","author":"demicheli","year":"1985","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/43.16807"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/43.62789"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MELCON.2010.5475949"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cdt.2010.0045"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.8.6.1406-1410"},{"key":"ref18","first-page":"845","article-title":"FSM state-encoding for area and power minimization using simulated evolution algorithm","volume":"10","author":"oughali","year":"2012","journal-title":"Journal of Applied Research and Technology"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.compeleceng.2015.03.014"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.07.001"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-51724-7_17"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-89874-6.50021-0"},{"key":"ref3","first-page":"427","article-title":"The Programmable Logic-in- Memory (PLiM) computer","author":"gaillardon","year":"2016","journal-title":"Design Automation Test in Europe Conference Exhibition"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"6300","DOI":"10.1109\/TIT.2016.2611527","article-title":"The next-to-minimal weights of binary projective Reed-Muller codes","volume":"62","author":"cicero","year":"2016","journal-title":"IEEE Transactions on Information Theory"},{"key":"ref5","first-page":"747","article-title":"Maj-n Logic Synthesis for Emerging Technology","author":"neutzling","year":"2019","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"ref8","first-page":"323","author":"villa","year":"2011","journal-title":"The Problem of the Unknown Component from Theory to Applications"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0817-5_9"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TNANO.2009.2028609"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1109\/DSD.2003.1231901","article-title":"Multi component digital circuit optimization by solving FSM equations","author":"yevtushenko","year":"2003","journal-title":"Proceedings Euromicro Symposium on Digital Systems Design DSD-01"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1063\/1.2834714"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cdt.2015.0038"},{"journal-title":"Introduction to the Theory of Finite State Machines","year":"1962","author":"gill","key":"ref22"},{"journal-title":"ABC A System for Sequential Synthesis and Verification","year":"2021","key":"ref21"},{"key":"ref24","first-page":"712","author":"harris","year":"2012","journal-title":"Digital Design and computer Architecture"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/S0140-3664(96)01157-7"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/32.87284"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"}],"event":{"name":"2021 IEEE East-West Design & Test Symposium (EWDTS)","start":{"date-parts":[[2021,9,10]]},"location":"Batumi, Georgia","end":{"date-parts":[[2021,9,13]]}},"container-title":["2021 IEEE East-West Design & Test Symposium (EWDTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9580973\/9580974\/09580991.pdf?arnumber=9580991","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T12:55:57Z","timestamp":1652187357000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9580991\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,10]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/ewdts52692.2021.9580991","relation":{},"subject":[],"published":{"date-parts":[[2021,9,10]]}}}