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

Wenji Fang, Hongce Zhang

Browse the full TACAS paper archive.