Optimized Assignment Coverage Computation in Formal Verification of Digital Systems | IEEE Conference Publication | IEEE Xplore