Ivanov

 Development of software models of digital devices involves verification of compliance of the developed software project with initial requirements to logical functions of the device. In this paper the authors consider principles of developing test software environment for design of digital logic modules of a high-speed communications network. The verification methods for software models of logic modules of distributed data transmission and processing systems. The test software environment for a router block is responsible for reception and transmission of data packets.