{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:31:11Z","timestamp":1755221471573,"version":"3.43.0"},"reference-count":0,"publisher":"IEEE","license":[{"start":{"date-parts":[[2014,9,1]],"date-time":"2014-09-01T00:00:00Z","timestamp":1409529600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2014,9,1]],"date-time":"2014-09-01T00:00:00Z","timestamp":1409529600000},"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":[[2014,9]]},"DOI":"10.1109\/socc.2014.6948888","type":"proceedings-article","created":{"date-parts":[[2014,11,12]],"date-time":"2014-11-12T17:41:20Z","timestamp":1415814080000},"page":"xlv-xlvi","source":"Crossref","is-referenced-by-count":0,"title":["T4B: Formal verification in system-on-chip design: Scientific foundations and practical methodology"],"prefix":"10.1109","author":[{"given":"Wolfgang","family":"Kunz","sequence":"first","affiliation":[{"name":"Dept. of Electrical & Computer Engineering, University of Kaiserslautern, Germany"}]},{"given":"Dominik","family":"Stoffel","sequence":"additional","affiliation":[{"name":"Dept. of Electrical & Computer Engineering, University of Kaiserslautern, Germany"}]},{"given":"Joakim","family":"Urdahl","sequence":"additional","affiliation":[{"name":"Dept. of Electrical & Computer Engineering, University of Kaiserslautern, Germany"}]}],"member":"263","event":{"name":"2014 27th IEEE International System-on-Chip Conference (SOCC)","start":{"date-parts":[[2014,9,2]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2014,9,5]]}},"container-title":["2014 27th IEEE International System-on-Chip Conference (SOCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6937053\/6948870\/06948888.pdf?arnumber=6948888","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T18:35:46Z","timestamp":1754678146000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6948888\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":0,"URL":"https:\/\/doi.org\/10.1109\/socc.2014.6948888","relation":{},"subject":[],"published":{"date-parts":[[2014,9]]}}}