{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,13]],"date-time":"2025-01-13T02:40:09Z","timestamp":1736736009217,"version":"3.32.0"},"reference-count":4,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[2025,1,13]],"date-time":"2025-01-13T00:00:00Z","timestamp":1736726400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,13]],"date-time":"2025-01-13T00:00:00Z","timestamp":1736726400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2025,7]]},"DOI":"10.1007\/s11704-024-40127-0","type":"journal-article","created":{"date-parts":[[2025,1,13]],"date-time":"2025-01-13T02:14:04Z","timestamp":1736734444000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["PyABV: a framework for enhancing PyRTL with assertion-based verification"],"prefix":"10.1007","volume":"19","author":[{"given":"Yue","family":"Cheng","sequence":"first","affiliation":[]},{"given":"Tun","family":"Li","sequence":"additional","affiliation":[]},{"given":"Hongji","family":"Zou","sequence":"additional","affiliation":[]},{"given":"Wanxia","family":"Qu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,1,13]]},"reference":[{"issue":"4","key":"40127_CR1","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1109\/MM.2020.3003092","volume":"40","author":"L K John","year":"2020","unstructured":"John L K. Agile hardware design. IEEE Micro, 2020, 40(4): 4\u20135","journal-title":"IEEE Micro"},{"key":"40127_CR2","first-page":"1","volume-title":"Proceedings of the 27th International Conference on Field Programmable Logic and Applications","author":"J Clow","year":"2017","unstructured":"Clow J, Tzimpragos G, Dangwal D, Guo S, McMahan J, Sherwood T. A pythonic approach for rapid hardware prototyping and instrumentation. In: Proceedings of the 27th International Conference on Field Programmable Logic and Applications. 2017, 1\u20137"},{"key":"40127_CR3","volume-title":"A Practical Guide for SystemVerilog Assertions","author":"S Vijayaraghavan","year":"2005","unstructured":"Vijayaraghavan S, Ramanathan M. A Practical Guide for SystemVerilog Assertions. New York: Springer, 2005"},{"key":"40127_CR4","first-page":"542","volume-title":"Proceedings of the 11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools","author":"R Wille","year":"2008","unstructured":"Wille R, Fey G, Messing M, Angst G, Linhard L, Drechsler R. Identifying a subset of system Verilog assertions for efficient bounded model checking. In: Proceedings of the 11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools. 2008, 542\u2013549"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-024-40127-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11704-024-40127-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-024-40127-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,13]],"date-time":"2025-01-13T02:14:15Z","timestamp":1736734455000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11704-024-40127-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1,13]]},"references-count":4,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2025,7]]}},"alternative-id":["40127"],"URL":"https:\/\/doi.org\/10.1007\/s11704-024-40127-0","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,1,13]]},"assertion":[{"value":"31 January 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 November 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 January 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Competing interests The authors declare that they have no competing interests or financial conflicts to disclose.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics"}}],"article-number":"197204"}}