{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T04:08:07Z","timestamp":1747886887812,"version":"3.41.0"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2012,11,1]],"date-time":"2012-11-01T00:00:00Z","timestamp":1351728000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2012,11,1]],"date-time":"2012-11-01T00:00:00Z","timestamp":1351728000000},"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":[[2012,11]]},"DOI":"10.1109\/hldvt.2012.6418237","type":"proceedings-article","created":{"date-parts":[[2013,1,30]],"date-time":"2013-01-30T22:50:54Z","timestamp":1359586254000},"page":"9-16","source":"Crossref","is-referenced-by-count":11,"title":["Behavior Driven Development for circuit design and verification"],"prefix":"10.1109","author":[{"given":"Melanie","family":"Diepenbeck","sequence":"first","affiliation":[{"name":"Institute of Computer Science, University of Bremen, 28359 Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"Soeken","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, University of Bremen, 28359 Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Gro\u00dfe","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, University of Bremen, 28359 Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, University of Bremen, 28359 Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"volume-title":"Test Driven Development. By Example","year":"2003","author":"Beck","key":"ref1"},{"article-title":"Manifesto for agile software development","year":"2001","author":"Beck","key":"ref2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-008-9062-z"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201238"},{"issue":"3","key":"ref5","article-title":"Behavior Modification: The evolution of behavior-driven development","volume":"8","author":"North","year":"2006","journal-title":"Better Software"},{"article-title":"The truth about BDD","year":"2008","author":"Martin","key":"ref6"},{"volume-title":"The Ruby Programming Language","year":"2008","author":"Flanagan","key":"ref7"},{"volume-title":"The Cucumber Book: Behaviour-Driven Development for Testers and Developers","year":"2012","author":"Wynne","key":"ref8"},{"volume-title":"Accellera Property Specification Language Reference Manual","year":"2005","key":"ref9"},{"volume-title":"A Practical Introduction to PSL (Series on Integrated Circuits and Systems)","year":"2006","author":"Eisner","key":"ref10"},{"volume-title":"Icarus Verilog","year":"2012","author":"Williams","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/11499053_17"},{"volume-title":"AgileSoC.","year":"2012","author":"Johnson","key":"ref13"},{"key":"ref14","article-title":"svunit: Bringing Test Driven Design Into Functional Verification","author":"Morris","year":"2009","journal-title":"SNUG"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27777-4_1"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MWSCAS.2004.1354388"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24617-6_4"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ITNG.2007.8"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30561-0_19"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33654-6_3"}],"event":{"name":"2012 IEEE International High Level Design Validation and Test Workshop (HLDVT)","start":{"date-parts":[[2012,11,9]]},"location":"Huntington Beach, CA, USA","end":{"date-parts":[[2012,11,10]]}},"container-title":["2012 IEEE International High Level Design Validation and Test Workshop (HLDVT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6412847\/6418230\/06418237.pdf?arnumber=6418237","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:53:10Z","timestamp":1747806790000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6418237\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2012.6418237","relation":{},"subject":[],"published":{"date-parts":[[2012,11]]}}}