Signal Coverage Computation in Formal Verification. - Hamid Shojaei; Mohammad Sayyaran (VLSI-SoC, 2006)