A formal approach towards electrical verification of synchronous MOS circuits
Ivo Bolsens, W. De Rammelaere, Catherine Van Overloop, Luc Claesen, Hillarie Man · 2003
The authors present a formal view on the analysis of the electrical behavior of synchronous MOS circuits. Rule-based techniques are used to derive the intended behavior of the transistor schematics by applying rules of common sense, to increase the efficiency of the verification procedures by topological rules that recognize known circuit configurations and to locally approve specific subcircuits by applying provable correct rules. The combination of rule-based verification methods and fundamental algorithms, founded on a formal theory, makes it possible to generate the relevant error messages. The overall approach is a mixture of expert-system techniques and procedural programming.>