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 Apr 22, 2023Formal 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 →
