Commit graph

6 commits

Author SHA1 Message Date
Marno van der Maas
a376f85f26 [lint] Shellcheck bash scripts in repo 2022-10-21 14:52:42 +01:00
Tom Roberts
6a3200929b [rtl] Add a new top level plus wiring
This commit creates a new top level wrapping the core, register file and
icache RAMs. The tracing top level is also renamed to ibex_top_tracing
to match. This new top level is intended to enable a dual core lockstep
implementation of Ibex.

There are no functional changes in this commit, only wiring.

Signed-off-by: Tom Roberts <tomroberts@lowrisc.org>
2021-04-07 12:07:38 +01:00
Pirmin Vogel
9559bbb6ff Add RegFile parameter for selecting register file implementation
Signed-off-by: Pirmin Vogel <vogelpi@lowrisc.org>
2020-08-21 14:20:34 +02:00
NilsGraf
f9badaf073 Update lec_sv2v.sh 2020-06-19 17:08:39 -07:00
NilsGraf
31d797162c Update lec_sv2v.sh 2020-06-19 17:08:39 -07:00
Nils Graf
c453436b75 Add LEC script to formally verify sv2v translation 2020-06-19 17:08:39 -07:00