Limor Fix (Intel Corporation), Coverage in Formal Verification

Although formal verification is an exhaustive verification technique, the correctness of the design under test is not guaranteed. The exhaustiveness of the validation also depends on the density of the properties. The talk will cover several papers published on a joint work by Intel and IIT.