Abstract: A method for verifying the correctness of the functional behavior of a processor cooperating with software is provided. Furthermore, the method allows verification of a CPU having at least a part of its instruction set implemented with microcode. First, the microcode is independently tested by using a functional emulator performing in the same way as the processor hardware according to the processor's functional specification. Then, the microcode is tested by using a hardware emulator behaving in the same way as the processor hardware according to the design of the processor's logic gates. Finally, the microcode is tested against the actual processor hardware. This method allows the functionality of a newly designed CPU to be checked in a simulation, even before actual system integration. Advantageously, many problems in this area, relating to the interaction of the microcode and the processor hardware can be found before the actual processor hardware is manufactured.

Abstract: A communications protocol conversion system and methodology includes one or more first interface devices for receiving data signals communicated by a first communications device in accordance with a first communications protocol; a format converter device for on the fly converting the received data signals into data signals in accordance with a second communications protocol; and, one or more second interface devices for outputting the data signals in accordance with the second protocol to a second communications device. Advantageously, the protocol conversion system obviates a necessity for multiprotocol support in communications devices thereby enabling such devices to remain relatively smaller in size.