{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T11:04:34Z","timestamp":1740135874167,"version":"3.37.3"},"reference-count":0,"publisher":"Wiley","issue":"3-4","license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"vor","delay-in-days":1826,"URL":"http:\/\/creativecommons.org\/licenses\/by\/3.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["MIP 89-21842","MIP 92-08745"],"award-info":[{"award-number":["MIP 89-21842","MIP 92-08745"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["MIP 89-21842","MIP 92-08745"],"award-info":[{"award-number":["MIP 89-21842","MIP 92-08745"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["VLSI Design"],"published-print":{"date-parts":[[1995,1]]},"abstract":"<jats:p>Decomposition of system behavior along functional boundaries into interacting sequential components is a key step in\ntop\u2010down system design. In this paper, we present sequential decomposition, a method for factoring sequential components\nfrom a system specification based on interface specifications of the components. The resulting components can be\nindependently synthesized, or realized using off\u2010the\u2010shelf components. We introduce interface specification language (ISL),\nbased on finite\u2010state machine semantics, to specify the input\/output behavior of synchronous sub\u2010systems. A component is\nfactored from a system by embedding an implementation of the complement of its interface into the system description. The\ncomposition of a machine with its complement is shown to be isomorphic to the machine, and the composition of a machine\nwith an implementation of its component is shown to be a safe interaction. We apply sequential decomposition to a\nnon\u2010trivial example, a special\u2010purpose computer with Scheme programming language primitives as its instructions.<\/jats:p>","DOI":"10.1155\/1995\/74543","type":"journal-article","created":{"date-parts":[[2007,9,18]],"date-time":"2007-09-18T12:56:46Z","timestamp":1190120206000},"page":"347-358","source":"Crossref","is-referenced-by-count":3,"title":["Decomposition of Sequential Behavior UsingInterface Specification and Complementation"],"prefix":"10.1155","volume":"3","author":[{"given":"Kamlesh","family":"Rath","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Venkatesh","family":"Choppella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven D.","family":"Johnson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[1995,1]]},"container-title":["VLSI Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/downloads.hindawi.com\/archive\/1995\/074543.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1155\/1995\/74543","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T22:39:31Z","timestamp":1723070371000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1155\/1995\/74543"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":0,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["10.1155\/1995\/74543"],"URL":"https:\/\/doi.org\/10.1155\/1995\/74543","archive":["Portico"],"relation":{},"ISSN":["1065-514X","1563-5171"],"issn-type":[{"type":"print","value":"1065-514X"},{"type":"electronic","value":"1563-5171"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}