TY  - RPRT
TI  - HyPFuzz: Formal-Assisted Processor Fuzzing
AU  - Chen Chen
AU  - Rahul Kande
AU  - Nathan Nguyen
AU  - Flemming Andersen
AU  - Aakash Tyagi
AU  - Ahmad-Reza Sadeghi
AU  - Jeyavijayan Rajendran
PY  - 2023
UR  - https://arxiv.org/abs/2304.02485
ID  - 2304.02485
ER  -