行为驱动开发电路设计和验证

Melanie Diepenbeck, Mathias Soeken, Daniel Große, R. Drechsler
{"title":"行为驱动开发电路设计和验证","authors":"Melanie Diepenbeck, Mathias Soeken, Daniel Große, R. Drechsler","doi":"10.1109/HLDVT.2012.6418237","DOIUrl":null,"url":null,"abstract":"The design of hardware systems is a challenging and erroneous task where about 70% of the effort in designing these systems is spent on verification. In general, testing and verification are usually tasks that are being applied as a post-process to the implementation. In this paper, we propose a new design flow based on Behavior Driven Development (BDD), an agile technique for the development of software in which acceptance tests written in natural language play a central role and are the starting point in the design flow. We advance the flow such that the specifics that arise when modeling hardware are taken into account. Furthermore, we present a technique that allows for the automatic generalization of test cases to properties that are suitable for formal verification. This allows the designer to apply formal verification techniques based on test cases without specifying properties. We implemented our approach and evaluated the flow for an illustrative example that successfully demonstrates the advantages of the proposed flow.","PeriodicalId":184509,"journal":{"name":"2012 IEEE International High Level Design Validation and Test Workshop (HLDVT)","volume":"67 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"25","resultStr":"{\"title\":\"Behavior Driven Development for circuit design and verification\",\"authors\":\"Melanie Diepenbeck, Mathias Soeken, Daniel Große, R. Drechsler\",\"doi\":\"10.1109/HLDVT.2012.6418237\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The design of hardware systems is a challenging and erroneous task where about 70% of the effort in designing these systems is spent on verification. In general, testing and verification are usually tasks that are being applied as a post-process to the implementation. In this paper, we propose a new design flow based on Behavior Driven Development (BDD), an agile technique for the development of software in which acceptance tests written in natural language play a central role and are the starting point in the design flow. We advance the flow such that the specifics that arise when modeling hardware are taken into account. Furthermore, we present a technique that allows for the automatic generalization of test cases to properties that are suitable for formal verification. This allows the designer to apply formal verification techniques based on test cases without specifying properties. We implemented our approach and evaluated the flow for an illustrative example that successfully demonstrates the advantages of the proposed flow.\",\"PeriodicalId\":184509,\"journal\":{\"name\":\"2012 IEEE International High Level Design Validation and Test Workshop (HLDVT)\",\"volume\":\"67 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2012-11-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"25\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2012 IEEE International High Level Design Validation and Test Workshop (HLDVT)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/HLDVT.2012.6418237\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2012 IEEE International High Level Design Validation and Test Workshop (HLDVT)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HLDVT.2012.6418237","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 25

摘要

硬件系统的设计是一项具有挑战性和错误的任务,在设计这些系统的过程中,大约70%的努力都花在了验证上。一般来说,测试和验证通常是作为实现的后处理应用的任务。在本文中,我们提出了一种新的基于行为驱动开发(BDD)的设计流程,这是一种敏捷的软件开发技术,其中以自然语言编写的验收测试起着核心作用,是设计流程的起点。我们推进流程,以便考虑到建模硬件时出现的细节。此外,我们提出了一种技术,该技术允许将测试用例自动概括为适合正式验证的属性。这允许设计人员基于测试用例应用正式的验证技术,而无需指定属性。我们实现了我们的方法,并对流程进行了评估,以作为一个说明性的示例,成功地展示了所建议流程的优点。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Behavior Driven Development for circuit design and verification
The design of hardware systems is a challenging and erroneous task where about 70% of the effort in designing these systems is spent on verification. In general, testing and verification are usually tasks that are being applied as a post-process to the implementation. In this paper, we propose a new design flow based on Behavior Driven Development (BDD), an agile technique for the development of software in which acceptance tests written in natural language play a central role and are the starting point in the design flow. We advance the flow such that the specifics that arise when modeling hardware are taken into account. Furthermore, we present a technique that allows for the automatic generalization of test cases to properties that are suitable for formal verification. This allows the designer to apply formal verification techniques based on test cases without specifying properties. We implemented our approach and evaluated the flow for an illustrative example that successfully demonstrates the advantages of the proposed flow.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信