{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T23:39:47Z","timestamp":1770766787116,"version":"3.50.0"},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,11,17]],"date-time":"2025-11-17T00:00:00Z","timestamp":1763337600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,11,17]],"date-time":"2025-11-17T00:00:00Z","timestamp":1763337600000},"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":[[2025,11,17]]},"DOI":"10.1109\/icecs66544.2025.11270614","type":"proceedings-article","created":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T18:31:34Z","timestamp":1765305094000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["VerTrace: An Open-Source Toolchain for Portable Stimulus Vertical Reuse"],"prefix":"10.1109","author":[{"given":"Petr","family":"Bardonek","sequence":"first","affiliation":[{"name":"Brno University of Technology,Brno,Czech Republic"}]},{"given":"Marcela","family":"Zachari\u00e1\u0161ov\u00e1","sequence":"additional","affiliation":[{"name":"Brno University of Technology,Brno,Czech Republic"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Portable Test and Stimulus Standard","year":"2019"},{"key":"ref2","article-title":"Unleashing Portable Stimulus Productivity with a PSS Reuse Strategy","volume-title":"DVCon US 2019; Design and Verification Conference and Exhibition Europe","author":"Ballance"},{"key":"ref3","first-page":"79","article-title":"MetaPSS: An Automation Framework for Generation of Portable Stimulus Model","volume-title":"DVCon Europe 2023; Design and Verification Conference and Exhibition Europe","author":"Nagar"},{"key":"ref4","article-title":"Tackling the verification complexities of a processor subsystem through Portable stimulus","volume-title":"DVCon India 2023; Design and Verification Conference and Exhibition Europe","author":"Gopalkrishna"},{"key":"ref5","article-title":"Scalable Functional Verification using Portable Stimulus Standard","volume-title":"DVCon US 2024; Design and Verification Conference and Exhibition","author":"Kumar"},{"key":"ref6","first-page":"65","article-title":"Control flow analysis for bottom-up portable models creation","volume-title":"DVCon Europe 2023; Design and Verification Conference and Exhibition Europe","author":"Bardonek"},{"key":"ref7","article-title":"Designing PSS Environment Integration for Maximum Reuse","volume-title":"DVCon Europe 2019; Design and Verification Conference and Exhibition Europe","author":"Ballance"},{"key":"ref8","article-title":"VerTrace: Static Analysis Toolchain for Vertical Reuse in PSS Verification","author":"Bardonek"},{"key":"ref9","article-title":"Verible: SystemVerilog Analysis and Linting Tool"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16214-0_42"},{"key":"ref11","article-title":"Z3 Theorem Prover"},{"key":"ref12","article-title":"RI5CY, CV32E40P"},{"key":"ref13","article-title":"USB Device Core"},{"key":"ref14","article-title":"VGA LCD Core"},{"key":"ref15","article-title":"Ethernet MAC"}],"event":{"name":"2025 32nd IEEE International Conference on Electronics, Circuits and Systems (ICECS)","location":"Marrakech, Morocco","start":{"date-parts":[[2025,11,17]]},"end":{"date-parts":[[2025,11,19]]}},"container-title":["2025 32nd IEEE International Conference on Electronics, Circuits and Systems (ICECS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11270487\/11270494\/11270614.pdf?arnumber=11270614","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T20:59:07Z","timestamp":1770757147000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11270614\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,17]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/icecs66544.2025.11270614","relation":{},"subject":[],"published":{"date-parts":[[2025,11,17]]}}}