wasim-cpp

C++ version of WASIM. Also, please find the Python version in repo

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

Citation

@inproceedings{fang2023wasim,
  title={WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification},
  author={Fang, Wenji and Zhang, Hongce},
  booktitle={Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS)},
  pages={11--18},
  year={2023},
  organization={Springer}
}

Prerequisite

pip3 install toml
sudo apt install build-essential cmake default-jre libgmp-dev libboost-all-dev

SETUP

./contrib/setup-glog.sh
./contrib/setup-bison.sh
./contrib/setup-btor2tools.sh
./contrib/setup-smt-switch.sh
./contrib/setup-vexpparser.sh
cd build
make

Usage