No abstract

No abstract

No abstract

No abstract

Thiis paper approaches the testing and verification problems of ani? itemii of radio navigation equipnment used in aviationi. The application belongs to a field usually referred to as critical. Critical systems require complete testintg during the design, prototype and exploitation stages in order to eliminate any error which couild affect the safe operation of the equipment. For the logic circuits, this requirement can be met largely by physically probing the signals in an.y, signtificant node.The practical example of the tested system was implemented on an XC3S400 (Xilinx Spartan 3 family) based development board.