SOPC Verification Technology Research Based on Software and Logical Combined Simulation

For the significance of high reliable SOPC test verification on Spaceflight application, SOPC simulation technology is analyzed and researched, and a set of feasible SOPC simulation technology is extracted.The specific realization method of SOPC simulation technology is clarified. The specific verification method of SOPC is analyzed, the test verification method between SOPC software and logical combined test. And the simulation verification technology is applied successfully on several reliable SOPC tests, many significant functional disabled problems can be found, and the common problems are classified and summarized.