github-mirrors/ibex
1
0
Fork 0
mirror of https://github.com/lowRISC/ibex.git synced 2025-06-28 17:24:11 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions
ibex/formal/icache
History
Exact
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
..
formal_tb.sv Add some formal cover properties for ICache 2020-07-02 15:19:11 +01:00
formal_tb_frag.svh Formal protocol checking for icache <-> core interface 2020-07-02 15:19:11 +01:00
ibex_icache_fpv.core Add some formal cover properties for ICache 2020-07-02 15:19:11 +01:00
Makefile Add some formal cover properties for ICache 2020-07-02 15:19:11 +01:00
run.sby Add some formal cover properties for ICache 2020-07-02 15:19:11 +01:00
sv2v_in_place.py A simple formal flow for the ICache based on SymbiYosys 2020-07-02 15:19:11 +01:00