# compsec-snu/difuzz-rtl

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/compsec-snu-difuzz-rtl).**

0 stars · 0 forks

## Links

- GitHub: https://github.com/compsec-snu/difuzz-rtl
- awesome-repositories: https://awesome-repositories.com/repository/compsec-snu-difuzz-rtl.md

## Description

DifuzzRTL is a differential fuzz testing approach for CPU verification. We introduce new coverage metric, register-coverage, which comprehensively captures the states of an RTL design and correctly guides the input generation. DifuzzRTL automatically instruments register-coverage, randomly…

## Tags

### Part of an Awesome List

- [CPU and Hardware Fuzzing](https://awesome-repositories.com/f/awesome-lists/devtools/cpu-and-hardware-fuzzing.md) — Differential fuzz testing approach for CPU verification.