Login / Signup
Aries: A Semiformal Technique for Fine-Grained Bug Localization in Hardware Designs.
Binod Kumar
V. S. Vineesh
Puneet Nemade
Masahiro Fujita
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2022)
Keyphrases
</>
fine grained
hardware designs
bug localization
coarse grained
source code
model based diagnosis
access control
latent semantic indexing
data lineage
information systems
software systems
massively parallel
information retrieval
software engineering
open source
vector space