使用符号技术生成交互fsm网络的测试

Proceedings of the Sixth Great Lakes Symposium on VLSI Pub Date : 1996-03-22 DOI:10.1109/GLSV.1996.497621

Fabrizio Ferrandi, F. Fummi, E. Macii, M. Poncino, D. Sciuto

{"title":"使用符号技术生成交互fsm网络的测试","authors":"Fabrizio Ferrandi, F. Fummi, E. Macii, M. Poncino, D. Sciuto","doi":"10.1109/GLSV.1996.497621","DOIUrl":null,"url":null,"abstract":"This paper presents a new testing strategy for networks of interacting FSMs. The approach allows us to generate test patterns for faults in the network by separately handling the network's components. The proposed algorithms are fully symbolic; therefore, they allow the manipulation of large designs. Experimental results, though preliminary, are promising.","PeriodicalId":191171,"journal":{"name":"Proceedings of the Sixth Great Lakes Symposium on VLSI","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"11","resultStr":"{\"title\":\"Test generation for networks of interacting FSMs using symbolic techniques\",\"authors\":\"Fabrizio Ferrandi, F. Fummi, E. Macii, M. Poncino, D. Sciuto\",\"doi\":\"10.1109/GLSV.1996.497621\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper presents a new testing strategy for networks of interacting FSMs. The approach allows us to generate test patterns for faults in the network by separately handling the network's components. The proposed algorithms are fully symbolic; therefore, they allow the manipulation of large designs. Experimental results, though preliminary, are promising.\",\"PeriodicalId\":191171,\"journal\":{\"name\":\"Proceedings of the Sixth Great Lakes Symposium on VLSI\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-03-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"11\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the Sixth Great Lakes Symposium on VLSI\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/GLSV.1996.497621\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the Sixth Great Lakes Symposium on VLSI","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/GLSV.1996.497621","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 11

摘要

本文提出了一种新的相互作用fsm网络测试策略。该方法允许我们通过单独处理网络的组件来为网络中的故障生成测试模式。提出的算法是完全符号化的;因此，它们允许对大型设计进行操作。实验结果虽然是初步的，但很有希望。

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

查看原文本刊更多论文

Test generation for networks of interacting FSMs using symbolic techniques

This paper presents a new testing strategy for networks of interacting FSMs. The approach allows us to generate test patterns for faults in the network by separately handling the network's components. The proposed algorithms are fully symbolic; therefore, they allow the manipulation of large designs. Experimental results, though preliminary, are promising.

求助全文

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

来源期刊

Proceedings of the Sixth Great Lakes Symposium on VLSI

自引率

0.00%

发文量