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]
Abstract is missing.