{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T14:44:51Z","timestamp":1754145891677,"version":"3.41.2"},"reference-count":34,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[1982,2,1]],"date-time":"1982-02-01T00:00:00Z","timestamp":381369600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[1982,2,1]],"date-time":"1982-02-01T00:00:00Z","timestamp":381369600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[1982,2,1]],"date-time":"1982-02-01T00:00:00Z","timestamp":381369600000},"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":["IEEE Trans. Comput."],"published-print":{"date-parts":[[1982,2]]},"DOI":"10.1109\/tc.1982.1675955","type":"journal-article","created":{"date-parts":[[2007,9,4]],"date-time":"2007-09-04T16:35:10Z","timestamp":1188923710000},"page":"93-109","source":"Crossref","is-referenced-by-count":37,"title":["Automated Synthesis of Digital Hardware"],"prefix":"10.1109","volume":"C-31","author":[{"family":"Hafer","sequence":"first","affiliation":[{"name":"Department of Computing Science, Simon Fraser University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Parker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"PDP-8\/E Maintenance Manual","year":"1972","key":"ref33"},{"journal-title":"Digital Design With Standard MSI\/LSI","year":"1975","author":"blakeslee","key":"ref32"},{"journal-title":"Automatically decomposing signal processing applictions on multiprocessors","year":"1978","author":"brantley","key":"ref31"},{"journal-title":"Optical design of central processor data paths","year":"1972","author":"mcclain","key":"ref30"},{"journal-title":"The CMU design automation system Evaluation of automatically synthesized distributed design","year":"0","author":"kim","key":"ref34"},{"journal-title":"Automated design of digital system control sequencers from register-transfer specifications","year":"1980","author":"nagle","key":"ref10"},{"journal-title":"The design implementation and analysis of an automated logic synthesis and module selection system","year":"1981","author":"leive","key":"ref11"},{"journal-title":"Design style selector An automated computer program implementation","year":"1978","author":"lawson","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1981.1585398"},{"journal-title":"Data-memory allocation in the distributed logic design style","year":"1977","author":"hafer","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1978.1585172"},{"journal-title":"The SYNNER's Guide","year":"1980","author":"leive","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1981.1585399"},{"journal-title":"The CMU Design System Module Database-User's Guide","year":"1979","author":"leive","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1981.1585400"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1980.1585299"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1981.1585454"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1979.1600089"},{"journal-title":"The symbolic manipulation of computer descriptions ISPS application note An ISPS simulator","year":"1978","author":"barbacci","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1978.1585173"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/776379.776381"},{"journal-title":"Automation of module set independent register transfer level design","year":"1978","author":"snow","key":"ref5"},{"journal-title":"The design and analysis of an automated design style selector","year":"1977","author":"thomas","key":"ref8"},{"journal-title":"The Value Trace A data base for automated digital design","year":"1978","author":"mcfarland","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1499402.1499435"},{"key":"ref9","first-page":"411","article-title":"measuring designer performance to verify design automation systems","author":"thomas","year":"1977","journal-title":"Proc 34th Design Autom Conf"},{"journal-title":"The symbolic manipulation of computer descriptions The ISPS computer description language","year":"1978","author":"barbacci","key":"ref1"},{"journal-title":"Control allocation The automated design of digital controllers","year":"1980","author":"cloutier","key":"ref20"},{"key":"ref22","first-page":"643","article-title":"the cmu rt-cad system: an innovative approach to computer aided design","volume":"45","author":"barbacci","year":"1976","journal-title":"Proc Amer Fed of Inform Processing Soc Conf"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1981.1585337"},{"key":"ref24","first-page":"117","author":"dietmeyer","year":"1975","journal-title":"Digital System Design Automation Languages Simulation and Data Base"},{"journal-title":"Designing variable data format modules with cost-performance tradeoffs","year":"1974","author":"rege","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1979.1600088"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1969.222727"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/12\/35212\/01675955.pdf?arnumber=1675955","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,17]],"date-time":"2025-07-17T17:56:50Z","timestamp":1752775010000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/1675955\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,2]]},"references-count":34,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tc.1982.1675955","relation":{},"ISSN":["0018-9340","1557-9956","2326-3814"],"issn-type":[{"type":"print","value":"0018-9340"},{"type":"electronic","value":"1557-9956"},{"type":"electronic","value":"2326-3814"}],"subject":[],"published":{"date-parts":[[1982,2]]}}}