摘要 |
A computer implemented method for verifying that a circuit or other system satisfies its specifications, is based on creating a first Boolean formula G (110) representative of the system and its specification and through a serie of steps creating a second formula G' (120) having a known logical relationship to G and using the second formula G' to determine whether the system satisfies its specification.
|