{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T11:06:31Z","timestamp":1725447991120},"reference-count":9,"publisher":"IEEE Comput. Soc. Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/edtc.1994.326810","type":"proceedings-article","created":{"date-parts":[[2002,12,17]],"date-time":"2002-12-17T09:32:51Z","timestamp":1040117571000},"page":"641-647","source":"Crossref","is-referenced-by-count":7,"title":["Clean formal semantics for VHDL"],"prefix":"10.1109","author":[{"given":"P.T.","family":"Breuer","sequence":"first","affiliation":[]},{"given":"L.S.","family":"Fernandez","sequence":"additional","affiliation":[]},{"given":"C.D.","family":"Kloos","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","journal-title":"Standard Vhdl Language Reference Manual","key":"ref4"},{"year":"1991","author":"hudak","journal-title":"Report on the programming language Haskell a Non-Strict Purely Functional Language","key":"ref3"},{"year":"1991","author":"olcoz","journal-title":"2nd Intl Conf EuroVHDL 91","article-title":"Petri net based analysis of VHDL descriptions","key":"ref6"},{"year":"1991","author":"jones","journal-title":"Introduction to Gofer","key":"ref5"},{"year":"1993","author":"s\ufffdnchez","journal-title":"Segundo Congreso de Programacion Declarativa PRODE 93","article-title":"Functional description of VHDL","key":"ref8"},{"year":"1992","author":"salem","journal-title":"VHDL for Simulation Synthesis and Format Proofs of Hardware","key":"ref7"},{"year":"1992","author":"damm","journal-title":"A formal semantics for VHDL based on interpreted petri nets","key":"ref2"},{"year":"1992","author":"van tassel","journal-title":"A formalization of the VHDL simulation cycle","key":"ref9"},{"year":"1989","author":"bird","journal-title":"Introduction to Functional Programming","key":"ref1"}],"event":{"acronym":"EDTC-94","name":"European Design and Test Conference EDAC-ETC-EUROASIC","location":"Paris, France"},"container-title":["Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx2\/946\/7755\/00326810.pdf?arnumber=326810","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,9]],"date-time":"2017-03-09T03:43:34Z","timestamp":1489031014000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/326810\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/edtc.1994.326810","relation":{},"subject":[]}}
