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]
@inproceedings{NabiSMN07, title = {Optimized Assignment Coverage Computation in Formal Verification of Digital Systems}, author = {Majid Nabi and Hamid Shojaei and Siamak Mohammadi and Zainalabedin Navabi}, year = {2007}, doi = {10.1109/ATS.2007.40}, url = {https://doi.org/10.1109/ATS.2007.40}, researchr = {https://researchr.org/publication/NabiSMN07}, cites = {0}, citedby = {0}, pages = {172-177}, booktitle = {16th Asian Test Symposium, ATS 2007, Beijing, China, October 8-11, 2007}, publisher = {IEEE}, isbn = {978-0-7695-2890-8}, }