... [ Team LiB ] 15 .2 Assertion Checking The traditional verification flow discussed in the previous section is a black box approach, i.e., ... state). To circumvent the problems of formal verification, semi-formal techniques are used. 15.3.1 Semi-formal Verification Semi-formal verification combines the traditional verification flow ... simulation test suites. Figure 15-9 shows the verification flow with a semi-formal tool. Figure 15-9. Semi-formal Verification Flow Formal and semi-formal verification methods have recently...