{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:13:10Z","timestamp":1775052790307,"version":"3.50.1"},"reference-count":18,"publisher":"Wiley","issue":"11","license":[{"start":{"date-parts":[[2006,10,27]],"date-time":"2006-10-27T00:00:00Z","timestamp":1161907200000},"content-version":"vor","delay-in-days":8761,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1982,11]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The paper addresses the problem of automating microprogram generation, starting from a high\u2010level language (namely from a subset of PL\/1). The microprogram synthesis process is structured in four steps in a highly hierarchical way; each step may be viewed as an independent process which uses formal representations for both data (i.e. the input program) and machine specifications. The translation system is based on a microcode model built on a formal definition of microoperations, microinstruction semantics, and relationships among microinstructions.<\/jats:p>","DOI":"10.1002\/spe.4380121102","type":"journal-article","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T11:26:36Z","timestamp":1163762796000},"page":"985-1010","source":"Crossref","is-referenced-by-count":3,"title":["A machine\u2010independent approach to microprogram synthesis"],"prefix":"10.1002","volume":"12","author":[{"given":"M.","family":"Mezzalama","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Prinetto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,10,27]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"Foundation of Microprogramming","author":"Agrawala A. K.","year":"1976"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1980.1675451"},{"key":"e_1_2_1_4_2","volume-title":"Firmware, Microprogramming and Restructurable Hardware","author":"Davidson S.","year":"1980"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/357094.357102"},{"key":"e_1_2_1_6_2","doi-asserted-by":"crossref","unstructured":"E.TamuraandM.Tokoro \u2018Hierarchical microprogram generating system\u2019 Proc. MICRO 12: 12thAnnual Workshop on Microprogramming 7\u201321(1979).","DOI":"10.1145\/1014188.803007"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1976.1674538"},{"key":"e_1_2_1_8_2","volume-title":"Compiler Construction for Digital Computers","author":"Gries D.","year":"1971"},{"key":"e_1_2_1_9_2","unstructured":"\u2018PL\/MIC metacompiler\u2019 Thesis Politecnico di Torino Italy 1979(in Italian)."},{"key":"e_1_2_1_10_2","unstructured":"M.MezzalamaandP.Prinetto \u2018A hierarchical description model for microcode\u2019 to be published inIEEE Trans. on Computers."},{"key":"e_1_2_1_11_2","unstructured":"M.MezzalamaandP.Prinetto \u2018Microinstruction modeling using timing and semantic constraints\u2019 Simulation Modeling and Development Cairo Egypt 1981 pp.32\u201335."},{"key":"e_1_2_1_12_2","unstructured":"H. J.Knoblock \u2018Description and simulation of complex digital systems by means of the register transfer language RTS1a\u2019 ASI NATO on CAD for VLSI Circuits Urbino Italy 1980."},{"key":"e_1_2_1_13_2","doi-asserted-by":"crossref","unstructured":"M.Siut \u2018A survey of high level microprogramming languages\u2019 Proc. MICRO 13: 13th AnnualWorkshop on Microprogramming 141\u2013153(1980).","DOI":"10.1145\/1014190.802721"},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1974.224035"},{"key":"e_1_2_1_15_2","doi-asserted-by":"crossref","unstructured":"D.Patterson K.LewandR.Tuck \u2018Towards an efficient machine independent language for microprogramming\u2019 Proc. MICRO 12: 12th Annual Workshop on Microprogramming 22\u201335(1979).","DOI":"10.1145\/1014188.803008"},{"key":"e_1_2_1_16_2","volume-title":"Digital Systems: Hardware Organization and Design","author":"Hill F. J.","year":"1980"},{"key":"e_1_2_1_17_2","unstructured":"J.DimandC. J.Tan \u2018Register assignment algorithms for optimizing microcode compilers\u2014Part I\u2019 IBM T. J. Watson Research Center Report RC7639 (1979)."},{"key":"e_1_2_1_18_2","unstructured":"\u2018Automatic generation of microcode\u2019 Thesis Politecnico di Torino Italy 1980(in Italian)."},{"key":"e_1_2_1_19_2","unstructured":"D. J.De Witt \u2018A machine independent approach to the production of optimal horizontal microcode\u2019 Ph.D. Dissertation The University of Michigan USA 1976."}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380121102","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380121102","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,12]],"date-time":"2023-11-12T11:34:06Z","timestamp":1699788846000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380121102"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,11]]},"references-count":18,"journal-issue":{"issue":"11","published-print":{"date-parts":[[1982,11]]}},"alternative-id":["10.1002\/spe.4380121102"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380121102","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1982,11]]}}}