{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,4]],"date-time":"2024-01-04T18:44:50Z","timestamp":1704393890458},"reference-count":55,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[1982,10,1]],"date-time":"1982-10-01T00:00:00Z","timestamp":402278400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[1982,10]]},"DOI":"10.1109\/tcad.1982.1270012","type":"journal-article","created":{"date-parts":[[2004,4,29]],"date-time":"2004-04-29T00:28:59Z","timestamp":1083198539000},"page":"201-212","source":"Crossref","is-referenced-by-count":27,"title":["Synthesis of Hardware for the Control of Digital Systems"],"prefix":"10.1109","volume":"1","author":[{"given":"A.W.","family":"Nagle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Cloutier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.C.","family":"Parker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","author":"nagle","year":"1980","journal-title":"Automated design of digital system control sequencers from register-transfer specifications"},{"key":"ref38","article-title":"Automatic design of micro-controllers","author":"nagle","year":"1978","journal-title":"Proc Eleventh Micro-programming Conf"},{"key":"ref33","author":"leive","year":"1979","journal-title":"The CMUDA module data base user's guide"},{"key":"ref32","author":"leive","year":"1977","journal-title":"The Binding of Modules to Abstract Digital Hardware Descriptions"},{"key":"ref31","author":"lavington","year":"1975","journal-title":"A History of Manchester Computers"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1976.1674639"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1974.223953"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1979.1600089"},{"key":"ref35","author":"mallett","year":"1978","journal-title":"Methods of compacting microprograms"},{"key":"ref34","author":"leive","year":"1980","journal-title":"The design implementation and analysis of an automated logic synthesis and module selection system"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675024"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1982.1675955"},{"key":"ref29","author":"huen","year":"1974","journal-title":"A unifying notation and analysis of modular register-transfer (RT) control"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675352"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1976.1674537"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3472-0_2"},{"key":"ref22","author":"fuller","year":"1976","journal-title":"PDP-11\/40E Microprogramming Reference Manual"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCS.1981.1085036"},{"key":"ref24","author":"hafer","year":"1977","journal-title":"Data-memory allocation in the distributed logic design style"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1970.222843"},{"key":"ref26","author":"hafer","year":"1979","journal-title":"Micro-operation documentation"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1978.1585172"},{"key":"ref50","author":"snow","year":"1978","journal-title":"Automation of Module Set Independent Register-Transfer Level Design"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1978.1585173"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1979.1600088"},{"key":"ref54","author":"mcfarland","year":"1978","journal-title":"The Value Trace A data base for automated digital design"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1976.1674540"},{"key":"ref52","author":"thomas","year":"1977","journal-title":"The design and analysis of an automated design style selector"},{"key":"ref10","year":"1975","journal-title":"Digital System Design Automation Languages Simulation & Data Base"},{"key":"ref11","author":"cloutier","year":"1980","journal-title":"The control allocator user's guide"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1981.1585400"},{"key":"ref12","author":"cloutier","year":"1980","journal-title":"Control allocation"},{"key":"ref13","author":"darringer","year":"1969","journal-title":"The description simulation and automatic implementation of digital computer processors"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1973.5009176"},{"key":"ref15","author":"dasgupta","year":"1976","journal-title":"Parallelism in microprogramming system"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1976.1674539"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/356757.356761"},{"key":"ref18","author":"davidson","year":"1979","journal-title":"Firmware engineering An extensive update"},{"key":"ref19","author":"dewitt","year":"1976","journal-title":"A Machine Independent Approach to the Production of Optimal Horizontal Microcode"},{"key":"ref4","author":"barbacci","year":"1977","journal-title":"The ISPS computer description language"},{"key":"ref3","author":"barbacci","year":"1974","journal-title":"Automated exploration of the design space for register transfer (RT) systems"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1972.223548"},{"key":"ref5","author":"bell","year":"1971","journal-title":"Computer Structures Readings and Examples"},{"key":"ref8","author":"brantley","year":"1979","journal-title":"Automatically decomposing signal processing applications on multiprocessors"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/800139.804544"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/1499799.1499890"},{"key":"ref9","volume":"one","year":"1972","journal-title":"Design Automation of Digital Systems"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675353"},{"key":"ref45","author":"rege","year":"1975","journal-title":"Designing variable data format modules with cost-performance tradeoffs"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/SWAT.1968.4"},{"key":"ref47","article-title":"Digital system design with control modules","author":"robinson","year":"1973","journal-title":"Proc 7th Annu IEEE Computer Soc Int Conf"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1979.1600091"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1977.1674808"},{"key":"ref44","doi-asserted-by":"crossref","DOI":"10.1145\/356698.356702","article-title":"Petri nets","volume":"9","author":"peterson","year":"1977","journal-title":"Computing Surveys"},{"key":"ref43","author":"patii","year":"1970","journal-title":"Coordination of asynchronous events"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/43\/28422\/01270012.pdf?arnumber=1270012","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:39:40Z","timestamp":1638218380000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1270012\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,10]]},"references-count":55,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1982,10]]}},"URL":"https:\/\/doi.org\/10.1109\/tcad.1982.1270012","relation":{},"ISSN":["0278-0070"],"issn-type":[{"value":"0278-0070","type":"print"}],"subject":[],"published":{"date-parts":[[1982,10]]}}}