Majid Nabi, Hamid Shojaei, Siamak Mohammadi, Zainalabedin Navabi. Optimized Assignment Coverage Computation in Formal Verification of Digital Systems. In 16th Asian Test Symposium, ATS 2007, Beijing, China, October 8-11, 2007. pages 172-177, IEEE, 2007. [doi]
Abstract is missing.