同步并行管道设计的规范驱动测试平台开发

2009 NORCHIP Pub Date : 2009-11-01 DOI:10.1109/NORCHP.2009.5397808

M. Chupilko, A. Kamkin

{"title":"同步并行管道设计的规范驱动测试平台开发","authors":"M. Chupilko, A. Kamkin","doi":"10.1109/NORCHP.2009.5397808","DOIUrl":null,"url":null,"abstract":"In this paper an approach to testbench development for synchronous parallel-pipeline designs is considered. The approach is based on cycle-accurate formal specifications of a design under verification. Specifications include descriptions of control flow graphs of the design's operations and definitions of the microoperations with the help of Hoare triples. The approach allows to automate testbench development for complex synchronous designs with control flow branching and parallel starting operations.","PeriodicalId":308859,"journal":{"name":"2009 NORCHIP","volume":"83 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"Specification-driven testbench development for synchronous parallel-pipeline designs\",\"authors\":\"M. Chupilko, A. Kamkin\",\"doi\":\"10.1109/NORCHP.2009.5397808\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper an approach to testbench development for synchronous parallel-pipeline designs is considered. The approach is based on cycle-accurate formal specifications of a design under verification. Specifications include descriptions of control flow graphs of the design's operations and definitions of the microoperations with the help of Hoare triples. The approach allows to automate testbench development for complex synchronous designs with control flow branching and parallel starting operations.\",\"PeriodicalId\":308859,\"journal\":{\"name\":\"2009 NORCHIP\",\"volume\":\"83 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2009-11-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2009 NORCHIP\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/NORCHP.2009.5397808\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2009 NORCHIP","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/NORCHP.2009.5397808","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 7

摘要

本文研究了同步并行管道设计的试验台开发方法。该方法基于验证设计的周期精确形式规范。规范包括对设计操作的控制流程图的描述，以及借助Hoare三元组对微操作的定义。该方法允许对具有控制流分支和并行启动操作的复杂同步设计进行自动化测试台架开发。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Specification-driven testbench development for synchronous parallel-pipeline designs

In this paper an approach to testbench development for synchronous parallel-pipeline designs is considered. The approach is based on cycle-accurate formal specifications of a design under verification. Specifications include descriptions of control flow graphs of the design's operations and definitions of the microoperations with the help of Hoare triples. The approach allows to automate testbench development for complex synchronous designs with control flow branching and parallel starting operations.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2009 NORCHIP

自引率

0.00%

发文量