Binod Kumar 0001, V. S. Vineesh, Puneet Nemade, Masahiro Fujita. Aries: A Semiformal Technique for Fine-Grained Bug Localization in Hardware Designs. IEEE Trans. on CAD of Integrated Circuits and Systems, 41(12):5709-5721, 2022. [doi]
@article{KumarVNF22,
title = {Aries: A Semiformal Technique for Fine-Grained Bug Localization in Hardware Designs},
author = {Binod Kumar 0001 and V. S. Vineesh and Puneet Nemade and Masahiro Fujita},
year = {2022},
doi = {10.1109/TCAD.2022.3166114},
url = {https://doi.org/10.1109/TCAD.2022.3166114},
researchr = {https://researchr.org/publication/KumarVNF22},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {41},
number = {12},
pages = {5709-5721},
}