{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:08:45Z","timestamp":1725538125887},"reference-count":15,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iwsoc.2004.1319874","type":"proceedings-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T09:50:22Z","timestamp":1096365022000},"page":"179-182","source":"Crossref","is-referenced-by-count":2,"title":["Observability-based RTL simulation using Java"],"prefix":"10.1109","author":[{"given":"S.G.","family":"Aly","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.M.","family":"Salem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Switching and Finite Automate Theroy 2nd Edition","year":"1978","author":"kohavi","key":"15"},{"journal-title":"The Semantic of Simple Language for Parallem Programming","year":"1974","author":"khan","key":"13"},{"key":"14","article-title":"Conlan: A short review and critical comparison with VHDL","author":"borrione","year":"1992","journal-title":"IEEE Design & Test of Computers"},{"journal-title":"The Verilog Hardware Description Language","year":"0","author":"moorby","key":"11"},{"journal-title":"Functional Specification for SystemC 2 0","year":"2001","key":"12"},{"journal-title":"System Design with SystemC","year":"2002","author":"grotker","key":"3"},{"key":"2","article-title":"Syntax and Semantics of the SpecC Language","author":"zhu","year":"1997","journal-title":"Proceedings of the Synthesis and System Integration of Mixed Technologies"},{"journal-title":"SystemVerilog 3 0 Accellera Extensions to Verilog","year":"2002","author":"accellera","key":"1"},{"journal-title":"IEEE","article-title":"IEEE standard VHDL language reference manual","year":"1993","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/307418.307466"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2000.835167"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1997.643613"},{"journal-title":"The Java Language Specification","year":"1996","author":"gosling","key":"4"},{"key":"9","doi-asserted-by":"crossref","DOI":"10.1109\/DAC.1997.597119","article-title":"An efficient implementation of reactivity for modeling hardware in the scenic environment","author":"liao","year":"1997","journal-title":"Proc Design Automation Conf"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/FPGA.1998.707895"}],"event":{"name":"4th IEEE International Workshop on System-on-Chip for Real-Time Applications","acronym":"IWSOC-04","location":"Banff, Alta., Canada"},"container-title":["4th IEEE International Workshop on System-on-Chip for Real-Time Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9224\/29242\/01319874.pdf?arnumber=1319874","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T06:25:54Z","timestamp":1497594354000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1319874\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/iwsoc.2004.1319874","relation":{},"subject":[]}}