摘要 |
A circuit verification apparatus for verifying justice of wiring connections of PWB is provided. The circuit verification apparatus includes a net list reduction part for generating a reduction net list in which unnecessary components and connections for verification are eliminated from connection relationships for all components used in the PWB; a connection rule for defining conditions of a pair of start point and end point of each expected connection by using variables and function; a rule expanding part for developing the connection rule by using conditions of a pin specified to the start point, determining end point conditions corresponding to the start point and generating a post-development rule including developed conditions of the start point and end point; and a net list and rule matching verification part for verifying matching state of each connection with referring to the reduction net list and the post-development rule, and outputs a verification result.
|