{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:06:14Z","timestamp":1730221574759,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T00:00:00Z","timestamp":1598918400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T00:00:00Z","timestamp":1598918400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T00:00:00Z","timestamp":1598918400000},"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":[[2020,9]]},"DOI":"10.1109\/ewdts50664.2020.9225031","type":"proceedings-article","created":{"date-parts":[[2020,10,15]],"date-time":"2020-10-15T20:00:47Z","timestamp":1602792047000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["Optimizing Components of Multi-Module Systems Based on don\u2019t Care Input Sequences"],"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"}]},{"given":"Nina","family":"Yevtushenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Optimization of components of multimodular systems based on the solution of automaton equations","author":"schwarzkop","year":"2019","journal-title":"Master's thesis"},{"key":"ref11","first-page":"272","author":"gill","year":"1966","journal-title":"Introduction to the Theory of Finite-State Machines"},{"key":"ref12","first-page":"219","author":"hartmanis","year":"1966","journal-title":"Algebraic Structure Theory of Sequential Machines"},{"key":"ref13","first-page":"521","author":"hopcroft","year":"2001","journal-title":"Introduction to Automata Theory Languages and Computation"},{"key":"ref4","first-page":"323","article-title":"The Problem of the Unknown Component: from Theory to Applications","author":"villa","year":"2011"},{"key":"ref3","first-page":"111","article-title":"Non-deterministic FSMs: analysis and synthesis","author":"yevtushenko","year":"2009","journal-title":"Part 2 Solving FSM Equations"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.264"},{"key":"ref5","article-title":"Optimization of multicomponent discrete systems based on the solution of FSM equations","author":"tikhomirova","year":"2008","journal-title":"The dissertation for the degree of candidate of technical sciences"},{"key":"ref8","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"},{"key":"ref7","article-title":"Development of synthesis and testing algorithms for finite-automaton compensators","author":"vetrova","year":"2003","journal-title":"The dissertation for the degree of candidate of technical sciences"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1002\/dac.2417"},{"key":"ref1","first-page":"142","article-title":"Nondeterministic finite state machines: analysis and synthesis","volume":"2006","author":"yevtushenko","year":"2006","journal-title":"Part 1 Relations and operations"},{"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"}],"event":{"name":"2020 IEEE East-West Design & Test Symposium (EWDTS)","start":{"date-parts":[[2020,9,4]]},"location":"Varna, Bulgaria","end":{"date-parts":[[2020,9,7]]}},"container-title":["2020 IEEE East-West Design & Test Symposium (EWDTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9220087\/9224633\/09225031.pdf?arnumber=9225031","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T16:06:09Z","timestamp":1656345969000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9225031\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/ewdts50664.2020.9225031","relation":{},"subject":[],"published":{"date-parts":[[2020,9]]}}}