A Generalized Theory for Formal Assertion Coverage | IEEE Conference Publication | IEEE Xplore