{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T07:21:44Z","timestamp":1760080904543,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,8,6]],"date-time":"2023-08-06T00:00:00Z","timestamp":1691280000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,8,6]],"date-time":"2023-08-06T00:00:00Z","timestamp":1691280000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,8,6]]},"DOI":"10.1109\/mwscas57524.2023.10406038","type":"proceedings-article","created":{"date-parts":[[2024,1,31]],"date-time":"2024-01-31T18:29:15Z","timestamp":1706725755000},"page":"496-500","source":"Crossref","is-referenced-by-count":5,"title":["System-on-Chip Message Flow Mining with Masked-Language Models"],"prefix":"10.1109","author":[{"given":"Md Rubel","family":"Ahmed","sequence":"first","affiliation":[{"name":"University of South Florida,Tampa,FL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bardia","family":"Nadimi","sequence":"additional","affiliation":[{"name":"University of South Florida,Tampa,FL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hao","family":"Zheng","sequence":"additional","affiliation":[{"name":"University of South Florida,Tampa,FL"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","first-page":"48:1","article-title":"Foster. Trends in functional verification: A 2014 industry study","author":"Harry","year":"2015","journal-title":"DAC"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025151"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.71"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-013-5403-y"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"96:1","DOI":"10.1145\/3316781.3317847","article-title":"Learning temporal specifications from imperfect traces using bayesian inference","volume-title":"Proceedings of the 56th Annual Design Automation Conference 2019, DAC 19","author":"Mrowca","year":"2019"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2021.3109513"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED48828.2020.9137001"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218613"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/icmla.2011.166"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD53106.2021.00082"},{"journal-title":"Distilbert, a distilled version of bert: smaller, faster, cheaper and lighter","year":"2019","author":"Sanh","key":"ref11"},{"journal-title":"Bert: Pre-training of deep bidirectional transformers for language understanding","year":"2018","author":"Devlin","key":"ref12"},{"key":"ref13","article-title":"Attention is all you need","volume-title":"NIPS","volume":"30","author":"Vaswani","year":"2017"}],"event":{"name":"2023 IEEE 66th International Midwest Symposium on Circuits and Systems (MWSCAS)","start":{"date-parts":[[2023,8,6]]},"location":"Tempe, AZ, USA","end":{"date-parts":[[2023,8,9]]}},"container-title":["2023 IEEE 66th International Midwest Symposium on Circuits and Systems (MWSCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10405424\/10405847\/10406038.pdf?arnumber=10406038","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,2]],"date-time":"2024-02-02T00:12:12Z","timestamp":1706832732000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10406038\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,6]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/mwscas57524.2023.10406038","relation":{},"subject":[],"published":{"date-parts":[[2023,8,6]]}}}