event-icon
Description
We present a methodology for the complete connectivity verification of SOCs. The designers’ created connectivity specifications in CSV format. These specifications were formally verified against the RTL. The completeness was verified using formal fault injection analysis. The formally covered connections were used to generate toggle coverage. Nearly 20% of toggle coverage was achieved without running any simulations. In parallel, the specifications were analyzed to sort out any loops, many-to-one, one-to-one, one-to-many relationships. The loops were reported as errors. One-to-one, one-to-many and many-to-one relationship were statically verified to be preserving the intended relationships. A number of bugs were found and fixed.
Tags