GitHub repository: lowRISC/synfi
Primary language: Python
Description: OpenTitan FI formal verification framework