{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:32Z","timestamp":1725664832152},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616481"},{"type":"electronic","value":"9783540706533"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61648-9_59","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:10:29Z","timestamp":1330276229000},"page":"471-474","source":"Crossref","is-referenced-by-count":0,"title":["A tool for translation of VHDL descriptions into a formal model and its application to formal verification and synthesis"],"prefix":"10.1007","author":[{"given":"Rajesh K.","family":"Bawa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emmanuelle","family":"Encrenaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"29_CR1","unstructured":"R. K. Bawa, E. Encrenaz, \u201cFormal Verification of VHDL Descriptions by Symbolic State Space Exploration applied to Finite State Machines\u201d, proceedings of VHDL International Users Forum Spring'96, Santa Clara, U.S.A., February\u2013March 96, pp 115\u2013124."},{"key":"29_CR2","unstructured":"R. K. Bawa, E. Encrenaz, \u201cVMC\u201d: A tool for Model Checking VHDL descriptions\u201d, proceedings of VHDL User Forum in Europe SIG-VHDL Spring'96 working conference, Dresden, Germany, May 96."},{"key":"29_CR3","unstructured":"D.Borrione, L.Pierre, A.Salem, \u201cPREVAIL: A proof environment for VHDL descriptions\u201d, in Correct Hardware Design Methodologies, ed P.Camurati and P.Prinetto, North Holland 1992"},{"key":"29_CR4","unstructured":"C.Bayol, B.Soulas, F.Corno, P.Prinetto, D.Borrione, \u201cA Process Algebra Interpretation of a Verification Oriented Overlanguage of VHDL\u201d.Proc of the EURO-VHDL, Grenoble France 1994, pp. 506\u2013511."},{"key":"29_CR5","unstructured":"D.D\u00e9harbe,D.Borrione,\u201cA qualitative finite subset of VHDL and semantics\u201d, Technical Report of IMAG Institut, RR 943-I, feb 1995"},{"key":"29_CR6","volume-title":"Formal Semantics for VHDL","author":"G. D\u00f6hmen","year":"1995","unstructured":"G. D\u00f6hmen, R. Herrmann, \u201cA Deterministic Finite-State Model for VHDL\u201d, Formal Semantics for VHDL, edited by C. Delgado Kloos and P.T. Breur, Universitad Politecnica de Madrid, Spain, feb 1995."},{"key":"29_CR7","unstructured":"E. Encrenaz, \u201cA Symbolic Relation for a Subset of VHDL'87 Descriptions and its Application to Symbolic Model Checking\u201d, proceedings of CHARME'95, Frankfurt, Germany, Oct. 95. LNCS 987."},{"key":"29_CR8","unstructured":"A. Evans, E. Encrenaz, R.K. Bawa, L. Jacomme, \u201cAn Approach to the Synthesis of VHDL Concurrent Processes as a FSM\u201d, proceedings of IFIP WG 10.5 Workshop on Logic and Architecture Synthesis, INPG, Grenoble, France, December 1995."},{"key":"29_CR9","doi-asserted-by":"crossref","unstructured":"T.Murata, \u201cPetri Nets: Properties, Analysis and Applications\u201d. Proc IEEE, vol 77 n\u22184, apr 89, pp 541\u2013580.","DOI":"10.1109\/5.24143"},{"key":"29_CR10","unstructured":"Olcoz \u2014 Colom, \u201cA Petri Net Approach for the Analysis of VHDL Descriptions\u201d, in: Proc of the CHARME 1993."},{"key":"29_CR11","unstructured":"J.P. Van Tassel, \u201cFemto-VHDL: The Semantics of a Subset of VHDL and its Embedding in the HOL Proof Assitant\u201d, PhD Thesis, University of Cambridge, 1993."},{"key":"29_CR12","unstructured":"\u201cIEEE Standard VHDL Language Reference Manual\u201d IEEE Std 1076-1987."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61648-9_59.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:35:21Z","timestamp":1619559321000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61648-9_59"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616481","9783540706533"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-61648-9_59","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}