{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:31:31Z","timestamp":1730280691624,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1109\/latw.2012.6261242","type":"proceedings-article","created":{"date-parts":[[2012,8,8]],"date-time":"2012-08-08T13:09:56Z","timestamp":1344431396000},"page":"1-5","source":"Crossref","is-referenced-by-count":3,"title":["Platform for automated HW\/SW co-verification, testing and simulation of microprocessors"],"prefix":"10.1109","author":[{"given":"Aleksandar","family":"Simevski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Kraemer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Milos","family":"Krstic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","first-page":"1847","article-title":"The study of hw\/sw co-verification on ann-prototype system. in Solid-State and Integrated-Circuit Technology, 008. ICSICT 2008","author":"wang","year":"2008","journal-title":"9th International Conference on"},{"key":"2","first-page":"256","article-title":"Assertion-based verification of a 32 thread sparctm cmt microprocessor. in Design Automation Conference, 2008. DAC 2008","author":"turumella","year":"2008","journal-title":"45th ACMnEEE"},{"journal-title":"A Property Checking Approach to Microprocessor Verification Using Symbolic Simulation","year":"2002","author":"mishra","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1147\/JRD.2011.2117370"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/309847.311478"},{"key":"6","first-page":"405","article-title":"Methodology for hardware\/software coverification in c\/c++. in Design Automation Conference, 2000. Proceedings of the ASP-DAC 2000","author":"semeria","year":"2000","journal-title":"Asia and South Pacific"},{"key":"5","first-page":"299","article-title":"A fast hardware\/software co-verification method for systern-on-A-chip by using a c\/c++ simulator and fpga emulator with shared register communication","author":"nakamura","year":"2004","journal-title":"Design Automation Conference 2004 Proceedings 41st"},{"key":"4","article-title":"Integrated iss and fpga soc hw\/sw co-verification environment design. in Computer Supported Cooperative Work in Design, 2008. CSCWD 2008","author":"zhang","year":"2008","journal-title":"12th International Conference On Pages 1071-1075"},{"key":"9","first-page":"1126","article-title":"Microprocessor verification via feedback-adjusted markov models. Computer-Aided Design of Integrated Circuits and Systems","volume":"26","author":"wagner","year":"2007","journal-title":"IEEE Transactions on"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.1998.657552"}],"event":{"name":"2012 13th Latin American Test Workshop - LATW","start":{"date-parts":[[2012,4,10]]},"location":"Quito, Ecuador","end":{"date-parts":[[2012,4,13]]}},"container-title":["2012 13th Latin American Test Workshop (LATW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6247526\/6261223\/06261242.pdf?arnumber=6261242","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T17:04:35Z","timestamp":1490115875000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6261242\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/latw.2012.6261242","relation":{},"subject":[],"published":{"date-parts":[[2012,4]]}}}