{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T20:08:28Z","timestamp":1648584508002},"reference-count":13,"publisher":"Elsevier BV","issue":"1-5","license":[{"start":{"date-parts":[[1986,12,1]],"date-time":"1986-12-01T00:00:00Z","timestamp":533779200000},"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":[[1986,12]]},"DOI":"10.1016\/0165-6074(86)90091-8","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T04:56:11Z","timestamp":1060318571000},"page":"549-558","source":"Crossref","is-referenced-by-count":4,"title":["SMAX - A CONLAN member language for verifiable hardware descriptions"],"prefix":"10.1016","volume":"18","author":[{"given":"Hans","family":"Eveking","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"No. 2","key":"10.1016\/0165-6074(86)90091-8_BIB1","volume":"Vol. 18","year":"1985","journal-title":"IEEE Computer Special Issue on Hardware Description Languages"},{"key":"10.1016\/0165-6074(86)90091-8_BIB2","author":"Piloty","year":"1983"},{"issue":"No. 2","key":"10.1016\/0165-6074(86)90091-8_BIB3","first-page":"81","article-title":"THe CONLAN Project: Concepts, Implementations, and Applications","volume":"Vol. 18","author":"Piloty","year":"1985","journal-title":"IEEE Computer Special Issue on Hardware Description Languages"},{"key":"10.1016\/0165-6074(86)90091-8_BIB4","doi-asserted-by":"crossref","unstructured":"Chu, Y., An ALGOL-like computer design language, CACM Vol. 8, pp. 607\u2013615.","DOI":"10.1145\/365628.365650"},{"key":"10.1016\/0165-6074(86)90091-8_BIB5","series-title":"Proc. 5th Int. Symp. on CHDL","first-page":"3","article-title":"The Worker Model of Evaluation","author":"Borrione","year":"1981"},{"key":"10.1016\/0165-6074(86)90091-8_BIB6","series-title":"Proc. 7th Int. Symp. on CHDL","first-page":"418","article-title":"Specification and Verification Using Higher-Order Logic","author":"Hanna","year":"1985"},{"key":"10.1016\/0165-6074(86)90091-8_BIB7","series-title":"Proc. 7th Int. Symp. on CHDL","first-page":"167","article-title":"The Application of CHDL's to the Abstract Specification of Hardware","author":"Eveking","year":"1985"},{"key":"10.1016\/0165-6074(86)90091-8_BIB8","series-title":"Computer Design Aids for VLSI Circuits","first-page":"285","article-title":"Description and Simulation of Complex Digital Systems by means of the Register Transfer Language RTS IA","author":"Knobloch","year":"1981"},{"key":"10.1016\/0165-6074(86)90091-8_BIB9","series-title":"Proc. 19th DAC","first-page":"594","article-title":"Timing Verification and the Timing Analysis Program","author":"Hitchcock","year":"1982"},{"key":"10.1016\/0165-6074(86)90091-8_BIB10","series-title":"Mathematical Logic","author":"Shoenfield","year":"1967"},{"key":"10.1016\/0165-6074(86)90091-8_BIB11","series-title":"Proc. IFIP WG 10.1 Work. Conf. on Methodologies for Computer System Design","first-page":"71","article-title":"A Structured Methodology for the Verification of Multilevel Hardware Description","author":"Eveking","year":"1983"},{"key":"10.1016\/0165-6074(86)90091-8_BIB12","article-title":"Expertensystem f\u00fcr komplexe boolesche Funktionen","author":"Schurig","year":"1985"},{"key":"10.1016\/0165-6074(86)90091-8_BIB13","article-title":"Entwicklung eines Timing-Verifiers","author":"Kropf","year":"1986"}],"container-title":["Microprocessing and Microprogramming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0165607486900918?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0165607486900918?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:53:30Z","timestamp":1552618410000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0165607486900918"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,12]]},"references-count":13,"journal-issue":{"issue":"1-5","published-print":{"date-parts":[[1986,12]]}},"alternative-id":["0165607486900918"],"URL":"https:\/\/doi.org\/10.1016\/0165-6074(86)90091-8","relation":{},"ISSN":["0165-6074"],"issn-type":[{"value":"0165-6074","type":"print"}],"subject":[],"published":{"date-parts":[[1986,12]]}}}