Rupert Swarbrick fb2a17a5a4 Add some formal cover properties for ICache ... Also (and probably more interestingly) put in the tooling framework to drive sby in the two different modes.		2020-07-02 15:19:11 +01:00
..
icache	Add some formal cover properties for ICache	2020-07-02 15:19:11 +01:00
riscv-formal	Move riscv-formal code into formal/riscv-formal	2020-07-02 15:19:11 +01:00
.gitignore	[formal] Create Ibex Verilog source	2020-05-25 16:47:25 +01:00