Digital Version of Green`s Theorem and its Application to The Coverage Problem in Formal Verification

Eli Appleboim, Emil Saucan

We present a novel scheme to the coverage problem, introducing a quantitative way to estimate the interaction between a block and its enviroment.This is achieved by setting a discr…