{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T22:37:38Z","timestamp":1649111858802},"reference-count":20,"publisher":"Elsevier BV","issue":"1-5","license":[{"start":{"date-parts":[[1989,8,1]],"date-time":"1989-08-01T00:00:00Z","timestamp":617932800000},"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":[[1989,8]]},"DOI":"10.1016\/0165-6074(89)90057-4","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T13:14:48Z","timestamp":1062594888000},"page":"261-266","source":"Crossref","is-referenced-by-count":0,"title":["Application of system semantics to VLSI for the transformational design of a parameterized booth multiplier module \u2014 a case study"],"prefix":"10.1016","volume":"27","author":[{"given":"L.","family":"Claesen","sequence":"first","affiliation":[]},{"given":"R.T.","family":"Boute","sequence":"additional","affiliation":[]},{"given":"J.","family":"De Man","sequence":"additional","affiliation":[]},{"given":"W.","family":"Ploegaerts","sequence":"additional","affiliation":[]},{"given":"M.","family":"Seutter","sequence":"additional","affiliation":[]},{"given":"J.","family":"Vanslembrouck","sequence":"additional","affiliation":[]},{"given":"D.","family":"Verkest","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"no 1","key":"10.1016\/0165-6074(89)90057-4_BIB1","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1145\/42192.45067","article-title":"System Semantics: Principles, Applications and Implementation","volume":"Vol. 10","author":"Boute","year":"1988","journal-title":"ACM Transactions on Prog. Languages and Systems"},{"issue":"No. 12","key":"10.1016\/0165-6074(89)90057-4_BIB2","doi-asserted-by":"crossref","first-page":"1219","DOI":"10.1109\/TCS.1986.1085878","article-title":"System Semantics and Formal Circuit Description","volume":"Vol. CAS-33","author":"Boute","year":"1986","journal-title":"IEEE Transactions on Circuits and Systems"},{"key":"10.1016\/0165-6074(89)90057-4_BIB3","series-title":"Proceedings IEEE COMPEURO-88 conference","first-page":"90","article-title":"Guided Synthesis and Formal Verification Techniques for Parameterized Hardware Modules","author":"Claesen","year":"1988"},{"key":"10.1016\/0165-6074(89)90057-4_BIB4","series-title":"proceedings IEEE International Conference on Computer Design: VLSI in Computers & Processors ICCD-87","first-page":"142","article-title":"Electrical, Timing and Behavioral Verification in teh Meetin-the-Middle MOSVLSI Design Environment of CATHEDRAL-II","author":"Claesen","year":"1988"},{"key":"10.1016\/0165-6074(89)90057-4_BIB5","series-title":"Proceedings European Solid Stat Circuits Conference, ESSCIRC-86","article-title":"SLOCOP: A timing verification tool for synchronous CMOS logic","author":"Vanden Meersch","year":"1986"},{"key":"10.1016\/0165-6074(89)90057-4_BIB6","series-title":"Proceedings IEEE International Conference on Computer-Aided Design, ICCAD-87","first-page":"44","article-title":"Efficient Algorithms for Solving The False Path Problem in Timing Verification","author":"Benkoski","year":"1987"},{"key":"10.1016\/0165-6074(89)90057-4_BIB7","series-title":"Proceedings of the 1988 IEEE International Symposium on Circuits and Systems, ISCAS-88","first-page":"2113","article-title":"A formal Approach towards electrical Verification of Synchronous MOS Circuits","author":"Bolsens","year":"1988"},{"key":"10.1016\/0165-6074(89)90057-4_BIB8","first-page":"73","article-title":"CATHEDRAL-II: A Silicon Compiler for Digital Signal Processing","author":"De Man","year":"1986","journal-title":"IEEE Design & Test of Computers"},{"key":"10.1016\/0165-6074(89)90057-4_BIB9","series-title":"Proceedings IEEE COMPEURO Conference 1988","first-page":"9","article-title":"Generalized Combinators in Functional Languages and Their Applications","author":"De Man","year":"1988"},{"key":"10.1016\/0165-6074(89)90057-4_BIB10","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0165-6074(88)90058-0","article-title":"Designing Digital Systems with a Functional Language","volume":"24","author":"De Man","year":"1988","journal-title":"North-Holland Microprocessing and Microprogramming"},{"key":"10.1016\/0165-6074(89)90057-4_BIB11","article-title":"Computer Aided Synthesis of Parameterized Hardware Modules","author":"Verkest","year":"1987"},{"key":"10.1016\/0165-6074(89)90057-4_BIB12","series-title":"Proceedings IFIP WG 10.2 International Working Conference on: \u201cThe Fusion of Hardware Design and Verification\u201d","first-page":"75","article-title":"Formal Techniques for Proving Correctness of Parameterized Hardware using Correctness Preserving Transformations","author":"Verkest","year":"1988"},{"key":"10.1016\/0165-6074(89)90057-4_BIB13","series-title":"Proceedings IEEE International Symposium on Circuits and Systems ISCAS-89","first-page":"1174","article-title":"Program Transformation of Hardware Descriptions by Means of ILP","author":"Verkest","year":"1989"},{"key":"10.1016\/0165-6074(89)90057-4_BIB14","series-title":"Proceedings IEEE International Conference on Computer Design: VLSI in Computers & Processors, ICCD-89","article-title":"Correctness Verification of VLSI Modules Supported by a Very Efficient Boolean Prover","author":"Lammens","year":"1989"},{"key":"10.1016\/0165-6074(89)90057-4_BIB15","article-title":"Report on the Electronic System Description Language Glass","author":"Seutter","year":"1987","journal-title":"Internal report K.U. Nijmegen"},{"key":"10.1016\/0165-6074(89)90057-4_BIB16","series-title":"Internal report IMEC MR03-KUL-7-B3-2","author":"Vanden Meersch","year":"1986"},{"key":"10.1016\/0165-6074(89)90057-4_BIB17","unstructured":"R.T. Boute, \u201cSyntactic and semantic aspects of formal circuit description\u201d, internal report K.U. Nijmegen, submitted for publication in EUROMICRO-89 session Application of System Semantics to VLSI."},{"key":"10.1016\/0165-6074(89)90057-4_BIB18","series-title":"internal report K.U. Nijmegen, Proceedings EUROMICRO-89","article-title":"GLASS \u2014 A language for analog and digital circuit description, and its environment","author":"Oolman","year":"1989"},{"key":"10.1016\/0165-6074(89)90057-4_BIB19","series-title":"Proceedings EUROMICRO-89","article-title":"Transformational Design of Digital Circuits","author":"De Man","year":"1989"},{"key":"10.1016\/0165-6074(89)90057-4_BIB20","series-title":"Proceedings EUROMICRO-89","article-title":"Description and Verification of Regular Structures using a Functional Hardware Description Language","author":"Ploegaerts","year":"1989"}],"container-title":["Microprocessing and Microprogramming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0165607489900574?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0165607489900574?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T04:57:56Z","timestamp":1551070676000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0165607489900574"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,8]]},"references-count":20,"journal-issue":{"issue":"1-5","published-print":{"date-parts":[[1989,8]]}},"alternative-id":["0165607489900574"],"URL":"https:\/\/doi.org\/10.1016\/0165-6074(89)90057-4","relation":{},"ISSN":["0165-6074"],"issn-type":[{"value":"0165-6074","type":"print"}],"subject":[],"published":{"date-parts":[[1989,8]]}}}