Formal: Figure out what should be created

[mithro]

Probably something around SymbiYosys?

[umarcor]

Basically: GHDL + Yosys + Symbiyosys (Z3, Yices2, Bootlector, CVC4 and/or Super Prove). See the following references:

• tmeissner/formal_hw_verification
• tmeissner/psl_with_ghdl
• tmeissner/vhdl_verification

Repos found at ghdl/ghdl#1291

/cc @tmeissner

Refs:

• hdl.github.io/awesome/items/ghdl
• hdl.github.io/awesome/items/yosys
• hdl.github.io/awesome/items/symbiyosys