A MUTUAL EXCLUSIVE TESTING ALGORITHM

High level synthesis is an active area of research. During the processing of operation scheduling and resource allocation,the flow graph which contains conditonal constructs should be tested in order to save the resource and improve the design quality. By studying mutual exclusive testing problems, a mutual exclusive testing algorithm is developed. From the experimental results, it is found that this algorithm has the features of high speed and high efficiency.It can greatly improve the quality of high level synthesis.