| 摘要 |
<P>PROBLEM TO BE SOLVED: To provide a verifying method capable of testing and verifying components of a safety system device such as a nuclear power plant with high standard reliability. <P>SOLUTION: This verifying method of the safety system device is provided with a procedure for preliminarily and comprehensively verifying a plurality of functional elements, by a real machine a procedure for generating each functional element subjected to real-machine verification in a prescribed hardware description language, a procedure for independently and logically synthesizing respective functional elements and converting them into a plurality of first net lists, a procedure for generating a connection function between respective functional elements in a prescribed hardware description language, a means for logically synthesizing the connection function and converting it into a second net list, a procedure for synthesizing the first net lists with the second net list to generate a third net list, a procedure for writing a logic circuit in a programmable logic element on the basis of the third net list, and a real-machine verifying procedure for verifying the programmable logic element by the real machine. <P>COPYRIGHT: (C)2006,JPO&NCIPI |
