{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T22:56:06Z","timestamp":1648680966301},"reference-count":19,"publisher":"Elsevier BV","issue":"2-3","license":[{"start":{"date-parts":[[1982,9,1]],"date-time":"1982-09-01T00:00:00Z","timestamp":399686400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Microprocessing and Microprogramming"],"published-print":{"date-parts":[[1982,9]]},"DOI":"10.1016\/0165-6074(82)90095-3","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T04:56:11Z","timestamp":1060318571000},"page":"153-162","source":"Crossref","is-referenced-by-count":4,"title":["Logic design strategies"],"prefix":"10.1016","volume":"10","author":[{"given":"Hans Martin","family":"Lipp","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0165-6074(82)90095-3_BIB1","unstructured":"Proceedings of the ACM-IEEE Design Automation Conferences, 1st (1964) to 18th (1981)."},{"key":"10.1016\/0165-6074(82)90095-3_BIB2","unstructured":"IEEE Transactions on Computers."},{"key":"10.1016\/0165-6074(82)90095-3_BIB3","unstructured":"Proceedings of the International Conferences on Computers in Design Engineering, No. 1\u20134, Brighton\/UK."},{"key":"10.1016\/0165-6074(82)90095-3_BIB4","unstructured":"Proceedings of the IFIP Intern. Symposions on Computer Hardware Description Languages."},{"key":"10.1016\/0165-6074(82)90095-3_BIB5","unstructured":"SIGDA Newsletter, ACM Special Interest Group on Design Automation;"},{"key":"10.1016\/0165-6074(82)90095-3_BIB6","series-title":"Design Automation of Digital Systems; Theory and Techniques","year":"1972"},{"key":"10.1016\/0165-6074(82)90095-3_BIB7","series-title":"Digital System Design Automation; Languages, Simulation & Data Base","year":"1975"},{"key":"10.1016\/0165-6074(82)90095-3_BIB8","series-title":"Conference Proceedings","volume":"Vol. 49","author":"N.N","year":"1974"},{"key":"10.1016\/0165-6074(82)90095-3_BIB9","series-title":"Computer-Aided Design of Digital Electronic Circuits and Systems","year":"1979"},{"key":"10.1016\/0165-6074(82)90095-3_BIB10","series-title":"CAD in Medium Sized and Small Industries","year":"1981"},{"key":"10.1016\/0165-6074(82)90095-3_BIB11","doi-asserted-by":"crossref","DOI":"10.1016\/0165-6074(82)90054-0","article-title":"The MCP Adventures: Experiences with the Generation of VLSI Design and Implementation Methodologies","author":"Conway","year":"1982","journal-title":"Microprocessing and Microprogramming"},{"issue":"4","key":"10.1016\/0165-6074(82)90095-3_BIB12","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1147\/rd.254.0272","article-title":"Logic synthesis through local transformations","volume":"25","author":"Darringer","year":"1981","journal-title":"IBM J. Res. Dev."},{"key":"10.1016\/0165-6074(82)90095-3_BIB13","first-page":"1","article-title":"Ein leistungsf\u00e4higer Algorithmus zur Optimierung von Funktionsb\u00fcndeln","volume":"7","author":"Grass","year":"1981","journal-title":"Digital Processes"},{"issue":"1","key":"10.1016\/0165-6074(82)90095-3_BIB14","first-page":"3","article-title":"Strukturiertes Entwerfen in der Digitaltechnik","volume":"4","author":"Lipp","year":"1982","journal-title":"ntz Archiv"},{"key":"10.1016\/0165-6074(82)90095-3_BIB15","series-title":"Proceedings of the Int. Conf. on Microcomputer Application to Industrial Control ICMATIC 81","first-page":"111","article-title":"An approach to the systematic design of digital control structures","author":"Lipp","year":"1981"},{"key":"10.1016\/0165-6074(82)90095-3_BIB16","series-title":"Introduction to VLSI Systems","author":"Mead","year":"1980"},{"key":"10.1016\/0165-6074(82)90095-3_BIB17","series-title":"Proc. 16th Design Automation Conf.","first-page":"73","article-title":"The CMU design automation system \u2014 An example of automated data path design","author":"Parker","year":"1979"},{"key":"10.1016\/0165-6074(82)90095-3_BIB18","series-title":"Proc. NCC 49","article-title":"CONLAN \u2014 A formal construction method for hardware description languages","author":"Piloty","year":"1980"},{"key":"10.1016\/0165-6074(82)90095-3_BIB19","first-page":"13","article-title":"Programmsystem LOGE \u2014 Rechnerunterst\u00fctzter Entwurf digitaler Steuerungen","volume":"10","author":"Seng","year":"1981","journal-title":"Elektronik-Industrie"}],"container-title":["Microprocessing and Microprogramming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0165607482900953?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0165607482900953?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T02:29:14Z","timestamp":1552616954000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0165607482900953"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,9]]},"references-count":19,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1982,9]]}},"alternative-id":["0165607482900953"],"URL":"https:\/\/doi.org\/10.1016\/0165-6074(82)90095-3","relation":{},"ISSN":["0165-6074"],"issn-type":[{"value":"0165-6074","type":"print"}],"subject":[],"published":{"date-parts":[[1982,9]]}}}