ibex/formal/.gitignore
Tobias Wölfel 8779bcd1db [formal] Create Ibex Verilog source
Provide a process to create a single Verilog source of Ibex for
riscv-formal.
Option to enable writeback stage.
2020-05-25 16:47:25 +01:00

2 lines
14 B
Text