{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T07:30:25Z","timestamp":1725435025186},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1109\/latw.2011.5985893","type":"proceedings-article","created":{"date-parts":[[2011,8,16]],"date-time":"2011-08-16T19:29:25Z","timestamp":1313522965000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Evaluating coverage collection using the VEasy functional verification tool suite"],"prefix":"10.1109","author":[{"given":"Samuel Nascimento","family":"Pagliarini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo Andre","family":"Haacke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernanda Lima","family":"Kastensmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Design for verification methodology allows silicon success","year":"2003","author":"schutten","key":"ref10"},{"key":"ref11","article-title":"Efficient simulation based verification by reordering","author":"yan","year":"0","journal-title":"presented at the Design and Verification Conference"},{"key":"ref12","article-title":"Principles of verifiable RTL design","author":"bening","year":"0","journal-title":"a functional coding style supporting verification processes in Verilog Springer"},{"year":"2001","key":"ref13"},{"year":"1989","key":"ref14"},{"journal-title":"Icarus verilog","year":"1999","author":"williams","key":"ref15"},{"journal-title":"Verilator","year":"1994","author":"snyder","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/240518.240580"},{"journal-title":"t65071p ip core","year":"2009","author":"pagliarini","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0302-6"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2007.4397275"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1999.810715"},{"year":"2009","key":"ref6"},{"year":"2005","key":"ref5"},{"key":"ref8","article-title":"Verification Methodology Man-ual: Techniques for Verifying HDL Designs","author":"dempster","year":"2001","journal-title":"Teamwork International"},{"key":"ref7","first-page":"15","article-title":"User defined coverage – a tool supported methodology for design verication","author":"grinwald","year":"0","journal-title":"Proc 35th Annual Design Automation Conference"},{"journal-title":"VSI Alliance","article-title":"Specification for Verification Components\/SoC Functional Verification","year":"2004","key":"ref2"},{"article-title":"Functional Verification Coverage Measurement and Analysis","year":"2004","author":"piziali","key":"ref1"},{"key":"ref9","first-page":"286","article-title":"Coverage directed test generation for functional verification using bayesian networks","author":"fine","year":"0","journal-title":"DAC'03 Proceedings of the 40th Annual Design Automation Conference"},{"key":"ref20","article-title":"Designers work less with quality formal equivalence checking","author":"cohen","year":"0","journal-title":"Design and Verification Conference"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"454","DOI":"10.1145\/196244.196467","article-title":"hsis: a bdd-based environment for formal verification","author":"aziz","year":"1994","journal-title":"31st Design Automation Conference"}],"event":{"name":"2011 12th Latin American Test Workshop - LATW","start":{"date-parts":[[2011,3,27]]},"location":"Beach of Porto de Galinhas, Brazil","end":{"date-parts":[[2011,3,30]]}},"container-title":["2011 12th Latin American Test Workshop (LATW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5978853\/5985882\/05985893.pdf?arnumber=5985893","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T04:48:36Z","timestamp":1497934116000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5985893\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/latw.2011.5985893","relation":{},"subject":[],"published":{"date-parts":[[2011,3]]}}}