Mingyuan Ma, Jinxue Sui, Xia Zhang. Design of a Three-Level Cross-Verification Coverage Model for Complex IP Verification. In Proceedings of the 2023 7th International Conference on Electronic Information Technology and Computer Engineering, EITCE 2023, Xiamen, China, October 20-22, 2023. pages 1428-1434, ACM, 2023. [doi]
@inproceedings{MaSZ23-2,
title = {Design of a Three-Level Cross-Verification Coverage Model for Complex IP Verification},
author = {Mingyuan Ma and Jinxue Sui and Xia Zhang},
year = {2023},
doi = {10.1145/3650400.3650640},
url = {https://doi.org/10.1145/3650400.3650640},
researchr = {https://researchr.org/publication/MaSZ23-2},
cites = {0},
citedby = {0},
pages = {1428-1434},
booktitle = {Proceedings of the 2023 7th International Conference on Electronic Information Technology and Computer Engineering, EITCE 2023, Xiamen, China, October 20-22, 2023},
publisher = {ACM},
}