WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification.

Wenji Fang Hongce Zhang

Published in: TACAS (2) (2023)

Keyphrases

formal verification
word level
information retrieval
information retrieval systems
document images
model checking
cross domain
probabilistic model