{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T21:25:17Z","timestamp":1757625917997,"version":"3.44.0"},"reference-count":26,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1990,9,1]],"date-time":"1990-09-01T00:00:00Z","timestamp":652147200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1990,9,1]],"date-time":"1990-09-01T00:00:00Z","timestamp":652147200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2004,8,13]],"date-time":"2004-08-13T00:00:00Z","timestamp":1092355200000},"content-version":"vor","delay-in-days":5095,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[1990,9]]},"DOI":"10.1016\/0164-1212(90)90033-i","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T13:06:23Z","timestamp":1062594383000},"page":"39-54","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Hermod behavioral synthesis system"],"prefix":"10.1016","volume":"13","author":[{"given":"Masayasu","family":"Odani","sequence":"first","affiliation":[]},{"given":"Sun Young","family":"Hwang","sequence":"additional","affiliation":[]},{"given":"Tom","family":"Blank","sequence":"additional","affiliation":[]},{"given":"Tom","family":"Rokicki","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0164-1212(90)90033-I_BIB1","first-page":"777","article-title":"Automating the VLSI Design Process Using Expert Systems and Silicon Compilation","volume":"75","author":"Parker","year":"1987"},{"key":"10.1016\/0164-1212(90)90033-I_BIB2","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/TC.1981.6312154","article-title":"Instruction Set Processor Specifications (ISPS): The Notation and its Applications","volume":"C-30","author":"Barbacci","year":"1981","journal-title":"IEEE Trans. Computer"},{"article-title":"Language and Environment for Multi-Level Simulation","year":"1980","author":"Hill","key":"10.1016\/0164-1212(90)90033-I_BIB3"},{"key":"10.1016\/0164-1212(90)90033-I_BIB4","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1109\/MC.1986.1663210","article-title":"Hardware Design Languages for Computer Design and Test","volume":"19","author":"Waxman","year":"1986","journal-title":"IEEE Computer"},{"article-title":"A Module Binder for the CMU-DA System","year":"1985","author":"Dirkes","key":"10.1016\/0164-1212(90)90033-I_BIB5"},{"key":"10.1016\/0164-1212(90)90033-I_BIB6","series-title":"Design Systems for VLSI Circuits: Logic Synthesis and Silicon Compilation","first-page":"327","article-title":"Synthesis of Control Systems","author":"De Micheli","year":"1987"},{"key":"10.1016\/0164-1212(90)90033-I_BIB7","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1109\/TCAD.1982.1270012","article-title":"Synthesis of Hardware for the Control of Digital Systems","volume":"CAD-1","author":"Nagle","year":"1982","journal-title":"IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems"},{"key":"10.1016\/0164-1212(90)90033-I_BIB8","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1109\/MDT.1984.5005693","article-title":"Automated Synthesis of Digital Systems","volume":"1","author":"Parker","year":"1984","journal-title":"IEEE Design and Test of Computers"},{"key":"10.1016\/0164-1212(90)90033-I_BIB9","series-title":"Proc. Int. Conf. Computer-Aided Design, IEEE","first-page":"206","article-title":"A Versatile Finite State Machine Synthesizer","author":"Tseng","year":"1986"},{"key":"10.1016\/0164-1212(90)90033-I_BIB10","series-title":"Proc. 22nd Design Automation Conference, ACM\/IEEE","first-page":"475","article-title":"Synthesis Techniques for Digital Systems Design","author":"Camposano","year":"1985"},{"key":"10.1016\/0164-1212(90)90033-I_BIB11","doi-asserted-by":"crossref","first-page":"634","DOI":"10.1109\/TCS.1981.1085036","article-title":"A Design Methodology and Computer Aids for Digital VLSI Systems","volume":"CAS-28","author":"Director","year":"1981","journal-title":"IEEE Trans. Circuits and Systems"},{"key":"10.1016\/0164-1212(90)90033-I_BIB12","doi-asserted-by":"crossref","first-page":"1098","DOI":"10.1109\/TCAD.1987.1270350","article-title":"Design Tools for Intelligent Silicon Compilation","volume":"CAD-6","author":"Pangrle","year":"1987","journal-title":"IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems"},{"key":"10.1016\/0164-1212(90)90033-I_BIB13","series-title":"Proc. 23rd Design Automation Conference, ACM\/IEEE","first-page":"454","article-title":"Sehwa: A Program for Synthesis of Pipelines","author":"Park","year":"1986"},{"key":"10.1016\/0164-1212(90)90033-I_BIB14","series-title":"Proc. 23rd Design Automation Conference, ACM\/IEEE","first-page":"263","article-title":"HAL: A Multi-Paradigm Approach to Automatic Data Path Synthesis","author":"Paulin","year":"1986"},{"key":"10.1016\/0164-1212(90)90033-I_BIB15","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/TCAD.1987.1270270","article-title":"Flamel: A High Level Hardware Compiler","volume":"CAD-6","author":"Trickey","year":"1987","journal-title":"IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems"},{"key":"10.1016\/0164-1212(90)90033-I_BIB16","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1109\/TCAD.1986.1270207","article-title":"Automated Synthesis of Data Paths in Digital Systems","volume":"CAD-5","author":"Tseng","year":"1986","journal-title":"IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems"},{"article-title":"The ILSP Behavioral Description Language and its Graph Representation for Behavioral Synthesis","year":"1988","author":"Odani","key":"10.1016\/0164-1212(90)90033-I_BIB17"},{"article-title":"THOR User's Manual: Tutorial and Comands","year":"1988","author":"Alverson","key":"10.1016\/0164-1212(90)90033-I_BIB18"},{"article-title":"The Value Trace: A Data Base for Automated Digital Design","year":"1978","author":"McFarland","key":"10.1016\/0164-1212(90)90033-I_BIB19"},{"article-title":"THOR User's Manual: Library Functions","year":"1988","author":"Alverson","key":"10.1016\/0164-1212(90)90033-I_BIB20"},{"year":"1984","series-title":"Logic Minimization Algorithms for VLSI Synthesis","author":"Brayton","key":"10.1016\/0164-1212(90)90033-I_BIB21"},{"key":"10.1016\/0164-1212(90)90033-I_BIB22","series-title":"Proc. 23rd Design Automation Conference, ACM\/IEEE","first-page":"474","article-title":"Using Bottom-Up Design Techniques in the Synthesis of Digital Hardware from Abstract Behavioral Descriptions","author":"McFarland","year":"1986"},{"year":"1979","series-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"Garey","key":"10.1016\/0164-1212(90)90033-I_BIB23"},{"year":"1979","series-title":"Principles of Compiler Design","author":"Aho","key":"10.1016\/0164-1212(90)90033-I_BIB24"},{"key":"10.1016\/0164-1212(90)90033-I_BIB25","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1109\/MC.1983.1654270","article-title":"MacPitts: An Approach to Silicon Compilation","volume":"vol. 16","author":"Southard","year":"1983","journal-title":"IEEE Computer"},{"year":"1982","series-title":"Computer Structures: Principles and Examples","author":"Siewiorek","key":"10.1016\/0164-1212(90)90033-I_BIB26"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016412129090033I?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016412129090033I?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T19:58:24Z","timestamp":1757447904000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/016412129090033I"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,9]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1990,9]]}},"alternative-id":["016412129090033I"],"URL":"https:\/\/doi.org\/10.1016\/0164-1212(90)90033-i","relation":{},"ISSN":["0164-1212"],"issn-type":[{"type":"print","value":"0164-1212"}],"subject":[],"published":{"date-parts":[[1990,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"The Hermod behavioral synthesis system","name":"articletitle","label":"Article Title"},{"value":"Journal of Systems and Software","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/0164-1212(90)90033-I","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1990 Published by Elsevier Inc.","name":"copyright","label":"Copyright"}]}}