Published January 16, 2015
| Version v1
Journal article
A verification system of RMAP protocol controller
Creators
- 1. Siberian State Aerospace University named after Academician M.F. Reshetnev 31 <sup>K</sup>rasnoyarskiyRabochiy<sup> </sup>prospect, Krasnoyarsk, 660014 (Russian Federation)
Description
The functional verification problem of IP blocks of RMAP protocol controller 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. The practical results of creating a system of verification of IP block of RMAP protocol controller is presented
Availability note (English)
Available from http://dx.doi.org/10.1088/1757-899X/70/1/012014Additional details
Identifiers
Publishing Information
- Journal Title
- IOP Conference Series. Materials Science and Engineering (Online)
- Journal Volume
- 70
- Journal Issue
- 1
- Journal Page Range
- [5 p.]
- ISSN
- 1757-899X
Conference
- Title
- 17. International Scientific Conference 'Reshetnev Readings'
- Dates
- 12-14 Nov 2014
- Place
- Krasnoyarsk (Russian Federation)
INIS
- Country of Publication
- United Kingdom
- Country of Input or Organization
- International Atomic Energy Agency (IAEA)
- INIS RN
- 47091690
- Subject category
- S97: MATHEMATICAL METHODS AND COMPUTING;
- Resource subtype / Literary indicator
- Conference
- Descriptors DEI
- COMPUTER ARCHITECTURE; COMPUTER CODES; FUNCTIONAL MODELS; VERIFICATION