{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T21:33:23Z","timestamp":1771018403981,"version":"3.50.1"},"reference-count":6,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T00:00:00Z","timestamp":1769904000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T00:00:00Z","timestamp":1769904000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T00:00:00Z","timestamp":1769904000000},"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":["IEEE Embedded Syst. Lett."],"published-print":{"date-parts":[[2026,2]]},"DOI":"10.1109\/les.2025.3571040","type":"journal-article","created":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T13:57:19Z","timestamp":1747663039000},"page":"27-30","source":"Crossref","is-referenced-by-count":0,"title":["Exception Coverage on Automotive Processors"],"prefix":"10.1109","volume":"18","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8703-0437","authenticated-orcid":false,"given":"Sourav","family":"Roy","sequence":"first","affiliation":[{"name":"Advanced Chip Engineering Department, NXP Semiconductors, Austin, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-4244-0522","authenticated-orcid":false,"given":"Nikhil","family":"Jain","sequence":"additional","affiliation":[{"name":"Advanced Chip Engineering Department, NXP Semiconductors, Austin, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-1176-9744","authenticated-orcid":false,"given":"Neha","family":"Srivastava","sequence":"additional","affiliation":[{"name":"Advanced Chip Engineering Department, NXP Semiconductors, Austin, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-2459-6033","authenticated-orcid":false,"given":"Ravinder","family":"Dasila","sequence":"additional","affiliation":[{"name":"Advanced Chip Engineering Department, NXP Semiconductors, Austin, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-8657-1555","authenticated-orcid":false,"given":"Prokash","family":"Ghosh","sequence":"additional","affiliation":[{"name":"Electrical Engineering Department, Indian Institute of Technology Bombay, Mumbai, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-8716-9822","authenticated-orcid":false,"given":"Ajay","family":"Sharma","sequence":"additional","affiliation":[{"name":"Advanced Chip Engineering Department, NXP Semiconductors, Austin, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-2050-4411","authenticated-orcid":false,"given":"Afshan","family":"Anjum","sequence":"additional","affiliation":[{"name":"Advanced Chip Engineering Department, NXP Semiconductors, Austin, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-1632-4612","authenticated-orcid":false,"given":"Jeff","family":"Scott","sequence":"additional","affiliation":[{"name":"Advanced Chip Engineering Department, NXP Semiconductors, Austin, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"The RISC-V instruction set manual, volume II: Privileged architecture, document version 20190608-Priv-MSU-ratified","year":"2019"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2021.3054934"},{"key":"ref3","article-title":"Specification-driven validation of programmable embedded systems","author":"Mishra","year":"2004"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1367045.1367051"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.927737"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0028740"}],"container-title":["IEEE Embedded Systems Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/4563995\/11395183\/11006835.pdf?arnumber=11006835","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T20:50:14Z","timestamp":1771015814000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11006835\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2]]},"references-count":6,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/les.2025.3571040","relation":{},"ISSN":["1943-0663","1943-0671"],"issn-type":[{"value":"1943-0663","type":"print"},{"value":"1943-0671","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,2]]}}}