Experiments related to our FMCAD 2021 paper "Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition"
We are in the process of adding further designs.- Proceedings version of paper: https://repositum.tuwien.at/handle/20.500.12708/18628
- Extended version with appendix: https://arxiv.org/abs/2108.06081
- Presentation video: https://youtu.be/ZpTUVM6vKdw
- Presentation slides: https://fmcad.org/FMCAD21/slides/hardware-accelerator-verification.pdf
Prerequisites:
CBMC(tested on v5.10)