PROTOCOL VALIDATION SYSTEM

摘要

TITLE OF THE INVENTION A Protocol Validation System A communication protocol validation system which produces a global state transition chart having a plurality of states and a plurality of transitions between states in electrical form to find an error and/or a deadlock of the protocol has been improved by coupling a plurality of global transitions according to a predetermined algorithm and deleting redundant global transitions. Thus, a number of global states and a number of global transitions in the chart are reduced, and the validation is implemented by using a reasonable amount of hardware in a reasonable time.