OpenTitan FI formal verification framework - View it on GitHub