Symbolic Quick Error Detection (Symbolic QED)

[Google Scholar]

End-to-end formal verification of a RISC-V processor extended with capability pointers [gao:fmcad:2021]

The opinions expressed are my own views and not my employer’s.