{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:26Z","timestamp":1725664346731},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584193"},{"type":"electronic","value":"9783540487838"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58419-6_74","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:55:42Z","timestamp":1330271742000},"page":"111-113","source":"Crossref","is-referenced-by-count":0,"title":["A testbench design method suitable for FPGA-based prototyping of reactive systems"],"prefix":"10.1007","author":[{"given":"Volker","family":"Hamann","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"unstructured":"IEEE, IEEE Standard VHDL Language Reference Manual, IEEE, 1988.","key":"11_CR1"},{"doi-asserted-by":"crossref","unstructured":"David Hard: \u201cStatecharts: A Visual Formalism for Computer Systems,\u201d in: Science of Computer Programming, Vol. 8, North Holland, 1987.","key":"11_CR2","DOI":"10.1016\/0167-6423(87)90035-9"},{"unstructured":"Valentina Salapura, Volker Hamann: \u201cUsing Statecharts and Embedded VHDL for Fuzzy Controller Design\u201d, Proc. of VHDL-Forum for CAD in Europe, 1994.","key":"11_CR3"},{"key":"11_CR4","volume-title":"SPeeDCHART Reference Manual","author":"Speed","year":"1993","unstructured":"Speed: \u201cSPeeDCHART Reference Manual\u201d, Speed SA Neuchatel (Switzerland), 1993."},{"unstructured":"Synopsys, \u201cDesign Compiler Reference Manual,\u201d Version 3.0., Synopsys Inc., 1992.","key":"11_CR5"},{"unstructured":"VIEWlogic: \u201cWorkview Reference Manual,\u201d Version 4.1, VIEWlogic Systems Inc., 1991.","key":"11_CR6"},{"unstructured":"Xilinx: \u201cThe Programmable Logic Data Book,\u201d Xilinx Inc., 1993.","key":"11_CR7"}],"container-title":["Lecture Notes in Computer Science","Field-Programmable Logic Architectures, Synthesis and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58419-6_74.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:20:20Z","timestamp":1605648020000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58419-6_74"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584193","9783540487838"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-58419-6_74","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}