网络协议中ip块的功能验证系统

2014 12th International Conference on Actual Problems of Electronics Instrument Engineering (APEIE) Pub Date : 2014-10-01 DOI:10.1109/APEIE.2014.7040764

A. Shakhmatov, V. Khanov, S. A. Chekmarev

{"title":"网络协议中ip块的功能验证系统","authors":"A. Shakhmatov, V. Khanov, S. A. Chekmarev","doi":"10.1109/APEIE.2014.7040764","DOIUrl":null,"url":null,"abstract":"The functional verification problem of IP blocks of network protocols controllers is considered. The application of the verification method using fully-functional models of the processor and the internal bus of a system-on-chip is justified. Principles of construction of a verification system based on the given approach are proposed. As an example, the verification of IP block of RMAP-protocol controller of SpaceWire network is presented.","PeriodicalId":202524,"journal":{"name":"2014 12th International Conference on Actual Problems of Electronics Instrument Engineering (APEIE)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2014-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"A functional verification system of IP-blocks in network protocols\",\"authors\":\"A. Shakhmatov, V. Khanov, S. A. Chekmarev\",\"doi\":\"10.1109/APEIE.2014.7040764\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The functional verification problem of IP blocks of network protocols controllers is considered. The application of the verification method using fully-functional models of the processor and the internal bus of a system-on-chip is justified. Principles of construction of a verification system based on the given approach are proposed. As an example, the verification of IP block of RMAP-protocol controller of SpaceWire network is presented.\",\"PeriodicalId\":202524,\"journal\":{\"name\":\"2014 12th International Conference on Actual Problems of Electronics Instrument Engineering (APEIE)\",\"volume\":\"19 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2014-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2014 12th International Conference on Actual Problems of Electronics Instrument Engineering (APEIE)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/APEIE.2014.7040764\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2014 12th International Conference on Actual Problems of Electronics Instrument Engineering (APEIE)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/APEIE.2014.7040764","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

研究了网络协议控制器IP块的功能验证问题。利用全功能的处理器模型和片上系统内部总线验证方法的应用是合理的。提出了基于该方法的验证系统的构建原则。以SpaceWire网络rmap协议控制器的IP块验证为例进行了验证。

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

查看原文本刊更多论文

A functional verification system of IP-blocks in network protocols

The functional verification problem of IP blocks of network protocols controllers is considered. The application of the verification method using fully-functional models of the processor and the internal bus of a system-on-chip is justified. Principles of construction of a verification system based on the given approach are proposed. As an example, the verification of IP block of RMAP-protocol controller of SpaceWire network is presented.

求助全文

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

来源期刊

2014 12th International Conference on Actual Problems of Electronics Instrument Engineering (APEIE)

自引率

0.00%

发文量