WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal VerificationApr 22, 2023·Wenji Fang,Hongce Zhang· 0 min read PDF Cite Code Slides VideoTypeConference paperPublicationIn Tools and Algorithms for the Construction and Analysis of SystemsLast updated on Feb 16, 2025Formal Verification AuthorsWenji FangPhD Student ← r-map: Relating Implementation and Specification in Hardware Refinement Checking Jun 1, 2023An Integrated Single-Shot Spectrometer With Large Bandwidth-Resolution Ratio and Wide Operation Temperature Range Jan 1, 2023 →
