嵌入式微电子系统粗粒度并行程序的形式化验证

2018 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF) Pub Date : 2018-11-01 DOI:10.1109/WECONF.2018.8604425

S. Pakharev, A. Syschikov

{"title":"嵌入式微电子系统粗粒度并行程序的形式化验证","authors":"S. Pakharev, A. Syschikov","doi":"10.1109/WECONF.2018.8604425","DOIUrl":null,"url":null,"abstract":"This paper described formal verification of coarse-grained programs by example of programs created by VPL language at VIPE IDE. The article discusses methods that allow the verification of the program to identify the main errors specific to parallel programs.","PeriodicalId":198958,"journal":{"name":"2018 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Fonmal Verification of Coarse-Grained Parallel Programs for Embedded Microelectronic Systems\",\"authors\":\"S. Pakharev, A. Syschikov\",\"doi\":\"10.1109/WECONF.2018.8604425\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper described formal verification of coarse-grained programs by example of programs created by VPL language at VIPE IDE. The article discusses methods that allow the verification of the program to identify the main errors specific to parallel programs.\",\"PeriodicalId\":198958,\"journal\":{\"name\":\"2018 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF)\",\"volume\":\"30 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-11-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2018 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WECONF.2018.8604425\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2018 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WECONF.2018.8604425","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文以VPL语言在VIPE IDE上编写的程序为例，描述了粗粒度程序的形式化验证。本文讨论了允许对程序进行验证以识别特定于并行程序的主要错误的方法。

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

查看原文本刊更多论文

Fonmal Verification of Coarse-Grained Parallel Programs for Embedded Microelectronic Systems

This paper described formal verification of coarse-grained programs by example of programs created by VPL language at VIPE IDE. The article discusses methods that allow the verification of the program to identify the main errors specific to parallel programs.

求助全文

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

来源期刊

2018 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF)

自引率

0.00%

发文量