Published October 25, 2022 | Version v1
Software Open

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

Authors/Creators

  • 1. The Hong Kong University of Science and Technology (Guangzhou)

Description

WASIM artifact for TACAS2023 submission, including tool code, scripts, benchmarks and dependencies.

Files

tacas23-wasim.zip

Files (76.7 MB)

Name Size Download all
md5:ad3541d8599f10758a15cfb0fbdb7d1b
76.7 MB Preview Download