THE APPROACHES TO STANDALONE VERIFICATION OF MICROPROCESSOR SYSTEM COMUNICATION CONTROLLERS
In this paper novel approaches to standalone verification of communication controllers are proposed. They do not require developing several test systems and reference models and use two instance of a communication controller as a device under verification. The structure most of communication controllers is described. Main three layers of communication controllers and methods of its verification are marked out. The architecture of a test system for complex standalone verification of communication controllers is proposed.