{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T20:20:19Z","timestamp":1740169219124,"version":"3.37.3"},"reference-count":25,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Ministry of Economy and Competitiveness (MINECO) of the Spanish Government through PLATINO project","award":["TEC2017-86722-C4-R4"],"award-info":[{"award-number":["TEC2017-86722-C4-R4"]}]},{"name":"Regional Government of Castilla-La Mancha through SymbIoT project","award":["SBPLY\/17\/180501\/000334"],"award-info":[{"award-number":["SBPLY\/17\/180501\/000334"]}]},{"name":"EU\u2019s Horizon 2020 Programme through SHAPES project","award":["857159"],"award-info":[{"award-number":["857159"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2021]]},"DOI":"10.1109\/access.2021.3059941","type":"journal-article","created":{"date-parts":[[2021,2,18]],"date-time":"2021-02-18T15:01:20Z","timestamp":1613660480000},"page":"31581-31594","source":"Crossref","is-referenced-by-count":3,"title":["Towards Test-Driven Development for FPGA-Based Modules Across Abstraction Levels"],"prefix":"10.1109","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7641-4643","authenticated-orcid":false,"given":"Julian","family":"Caba","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4688-8650","authenticated-orcid":false,"given":"Fernando","family":"Rincon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1931-3245","authenticated-orcid":false,"given":"Jesus","family":"Barba","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3188-4633","authenticated-orcid":false,"given":"Jose A.","family":"De La Torre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julio","family":"Dondo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7372-1568","authenticated-orcid":false,"given":"Juan C.","family":"Lopez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2990299.2990307"},{"key":"ref11","first-page":"957","article-title":"Design and application of reusable SoC verification platform","author":"feng","year":"2011","journal-title":"Proc 9th IEEE Int Conf ASIC"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TENCON.2009.5395829"},{"year":"2014","key":"ref13","article-title":"Standard universal verication methodology class reference manual, release 1.2"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS.2015.33"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ISOCC.2011.6138671"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ISOCC.2012.6407068"},{"key":"ref17","first-page":"1","article-title":"UVM SchmooVM-I want my C tests","author":"edelman","year":"2014","journal-title":"Proc Design Verification Conf Exhib (DVCON)"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPSW.2010.5470747"},{"key":"ref19","first-page":"15","author":"gong","year":"2015","journal-title":"Verification challenges"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2017.2735383"},{"article-title":"2020 Wilson research group functional verification study: FPGA functional verification trend report","year":"2020","author":"foster","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-008-9062-z"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.37"},{"key":"ref8","first-page":"7d5-1","article-title":"FPGA level in-hardware verification for DO-254 compliance","author":"de luna","year":"2011","journal-title":"Proc IEEE\/AIAA 30th Digit Avionics Syst Conf"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2008.34"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2017.2691348"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCAS.2010.5581847"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2011.2110592"},{"article-title":"A simple unit test framework for embedded C","year":"2012","author":"karlesky","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2005.177"},{"journal-title":"Agile Software Development Principles Patterns and Practices","year":"2003","author":"martin","key":"ref21"},{"journal-title":"Distributed Systems Concepts and Design (International Computer Science)","year":"2005","author":"coulouris","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2007.4341483"},{"key":"ref25","first-page":"1192","article-title":"CHStone: A benchmark program suite for practical C-based high-level synthesis","author":"hara","year":"2008","journal-title":"Proc IEEE Int Symp Circuits Syst"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/9312710\/09355128.pdf?arnumber=9355128","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,17]],"date-time":"2021-12-17T19:56:53Z","timestamp":1639771013000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9355128\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/access.2021.3059941","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2021]]}}}