Invariant-oriented verification of HDL-based safety critical systems

Invariant-oriented approach to independent verification and validation of HDL-based projects is presented. Proposed methodology consists in identification and verification of so-called “check relations”, which can have general or specific nature. Invariants of HDL-based designs are based on features and constraints of HDL. The main tasks and stages of invariant-oriented assessment are specified. A brief description of the invariant concept is given. The meaning of invariant calibration procedure is presented.