This repository has been archived by the owner on Aug 12, 2021. It is now read-only.

Suggestion for adding some formal verification #2

Open

tomaspecl opened this issue Feb 1, 2021 · 0 comments

tomaspecl commented Feb 1, 2021

riscv-reboot/IC_7416244.py

Line 155 in 66bdca9

Select lines are separate. Activating more than one is a really

You wrote: "Select lines are separate. Activating more than one is a really bad idea."
Maybe you should add some formal verification for it?

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.