{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:06:37Z","timestamp":1730221597196,"version":"3.28.0"},"reference-count":19,"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.9580995","type":"proceedings-article","created":{"date-parts":[[2021,10,26]],"date-time":"2021-10-26T17:13:28Z","timestamp":1635268408000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["Optimizing Components of Finite State Machines Composition Based on Don\u2019t Care Input Sequences in Hardware Implementation"],"prefix":"10.1109","author":[{"given":"Ekaterina","family":"Shirokova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Larisa","family":"Evtushenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrey","family":"Laputenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"186","author":"agibalov","year":"1984","journal-title":"Lectures on the theory of FSMs"},{"key":"ref11","first-page":"142","author":"yevtushenko","year":"2006","journal-title":"Non-deterministic FSMs analysis and synthesis Part 1 Relations and operations Textbook"},{"key":"ref12","first-page":"272","author":"gill","year":"1966","journal-title":"Introduction to the Theory of Finite-State Machines"},{"key":"ref13","first-page":"592","author":"zakrevsky","year":"2007","journal-title":"Logical principles of designing discrete devices"},{"year":"2003","author":"vetrova","journal-title":"Development of synthesis and testing algorithms for finite-automaton compensators","key":"ref14"},{"year":"0","journal-title":"Quartus II Handbook website [Electronic resource]","key":"ref15"},{"year":"0","journal-title":"Test generation for Finite State Machine","key":"ref16"},{"year":"1992","author":"sentovich","journal-title":"SIS A system for sequential circuit synthesis","key":"ref17"},{"year":"0","journal-title":"Berkeley logic interchange format (BLIF) [Electronic resource]","key":"ref18"},{"year":"0","journal-title":"ABC A System for Sequential Synthesis and Verification","key":"ref19"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1145\/3020078.3021741"},{"year":"2008","author":"tikhomirova","journal-title":"Optimization of multicomponent discrete systems based on the solution of FSM equations","key":"ref3"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"865","DOI":"10.1109\/43.293943","article-title":"Don’t care sequences and the optimization of interacting finite state machines","volume":"13","author":"rho","year":"1994","journal-title":"IEEE Trans Comp Aided Des"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/DATE.2005.264"},{"year":"2019","author":"schwarzkop","journal-title":"Optimization of components of multimodularsystems based on the solution of automaton equations","key":"ref8"},{"key":"ref7","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":"ref2","first-page":"111","article-title":"Non-deterministic FSMs: analysis and synthesis. Part 2. Solving FSM Equations","author":"yevtushenko","year":"2009","journal-title":"Tomsk State University"},{"key":"ref1","first-page":"323","article-title":"The Unknown Component Problem: Theory and Applications","author":"villa","year":"2011","journal-title":"Springer"},{"key":"ref9","first-page":"1","article-title":"Optimizing Components of Multi–Module Systems Based on don’t Care Input Sequences","author":"shirokova","year":"2020","journal-title":"IEEE EastWest Design & Test Symposium (EWDTS)"}],"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\/09580995.pdf?arnumber=9580995","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\/9580995\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,10]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/ewdts52692.2021.9580995","relation":{},"subject":[],"published":{"date-parts":[[2021,9,10]]}}}