A functional verification system of IP-blocks in network protocols

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.