Published January 16, 2015 | Version v1
Journal article

A verification system of RMAP protocol controller

  • 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/012014

Additional details

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