{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T07:06:28Z","timestamp":1730271988747,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1109\/iscas.2016.7527407","type":"proceedings-article","created":{"date-parts":[[2016,11,1]],"date-time":"2016-11-01T20:59:26Z","timestamp":1478033966000},"page":"982-985","source":"Crossref","is-referenced-by-count":2,"title":["Assertion-based verification of industrial WLAN system"],"prefix":"10.1109","author":[{"given":"Infall","family":"Syafalni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nico","family":"Surantha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Duc Khai","family":"Lam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nana","family":"Sutisna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuhei","family":"Nagao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katsuhiko","family":"Wakasugi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Tongxin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroshi","family":"Ochi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Taadaki","family":"Tsuchiya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"297","article-title":"SoC HW\/SW verification and validataion","author":"huang","year":"2011","journal-title":"ASPDAC"},{"key":"ref3","first-page":"1","author":"sutherland","year":"2015","journal-title":"Who put assertion in my rtl code? And why? How RTL design engineers can benefit from the use of SystemVerilog assertions"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICIT.2015.7125359"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1016568.1016592"},{"key":"ref11","first-page":"331","article-title":"MU-MIMO system on chip evaluation platform with 2.4\/5 GHz RF-module for next generation IEEE 802.11 wireless LAN","author":"lanante","year":"2014","journal-title":"IEICE General Conference"},{"key":"ref5","article-title":"HPChecker: AMBA AHB protocol checker with efficient debugging mechanism","volume":"e93 d","author":"lin","year":"2010","journal-title":"IEICE Transactions on Information and Systems"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2009.5117872"},{"journal-title":"Verification for AMBA AHB VMT User Manual","year":"2012","key":"ref7"},{"journal-title":"A Practical Guide for SystemVerilog Assertions","year":"2005","author":"vijayaraghavan","key":"ref2"},{"journal-title":"ARM AMBA specification 2 0 ARM IHI0011A","year":"1999","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.923415"}],"event":{"name":"2016 IEEE International Symposium on Circuits and Systems (ISCAS)","start":{"date-parts":[[2016,5,22]]},"location":"Montr\u00e9al, QC, Canada","end":{"date-parts":[[2016,5,25]]}},"container-title":["2016 IEEE International Symposium on Circuits and Systems (ISCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7515073\/7527154\/07527407.pdf?arnumber=7527407","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T16:15:37Z","timestamp":1602692137000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7527407"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/iscas.2016.7527407","relation":{},"subject":[],"published":{"date-parts":[[2016,5]]}}}