Commit graph

14 commits

Author SHA1 Message Date
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
NilsGraf
7bb64842ba Update lec_sv2v.do 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
Tom Roberts
85ce3874eb [syn] Update path to prim_assert
- Also remove unsigned keyword stripping which is no longer required

Signed-off-by: Tom Roberts <tomroberts@lowrisc.org>
2020-06-08 11:20:09 +01:00
Greg Chadwick
5b97c26510 [syn] Add more Ibex parameters to flow
Can now control writeback stage inclusion, bitmanip extension and
multiplier implementation.
2020-05-20 12:08:10 +01:00
Greg Chadwick
2cfb5e8d78 [syn] Add STA util for investigating feedthroughs 2020-05-20 12:08:10 +01:00
Greg Chadwick
e89a939b0a [syn] Place result directories in sub-directory
syn/ filling up with result directories is a little annoying, this sets
up the default so everything ends up generated under syn/syn_out/. Flow
users can easily change this to meet their personal requirements.
2020-03-12 13:44:09 +00:00
Greg Chadwick
57c97536ec [syn] Synthesis fixes
Correcting some small issues that cause newer versions of OpenSTA to
fail (previously it issued an error and continued).

- ABC/OpenSTA disagree how set_driving_cell command works so introduce
  seperate ABC SDC file
- Run clean before generating STA netlist, otherwise yosys generates
  some assignements to unused wires that OpenSTA's verilog parser dislikes
2020-03-09 15:08:10 +00:00
Greg Chadwick
8e28ba0b9e [syn] Fix synthesis script
* prim_assert now an include so add appropriate include dir
* remove FPGA reg file from synthesised files
2020-02-10 17:01:50 +00:00
Greg Chadwick
639964514c [RTL] Added seperate ALU for branch target
On branches now compute target same cycle as the condition.  This
removes a stall cycle from all taken conditional branches.
2020-01-31 09:32:20 +00:00
Greg Chadwick
2ef34b6d05 [syn] Feed ABC faster clock for better results
Adds an 'uprate' clock period which is subtracted off the desired period
and given to ABC as the target clock period. This gives better overal
timing results with minimal area impact.
2020-01-23 17:41:52 +00:00
Greg Chadwick
79bb6c7832 [syn] Synth flow improvements
Adds significant functionality to synthesis flow. Timing reports are
generated using OpenSTA and an area report is generated. Flow supports
open Nangate45 library from OpenROAD.
2020-01-07 14:09:17 +00:00
Nils Graf
260ed5a98c [syn] Add initial Yosys synthesis script with example lib
This PR includes the following:
- add script syn_yosys.sh, which runs sv2v and yosys for ibex_core
- add example std. cell lib cmos_cells.lib (copied from yosys repo)
- add dummy prim_clock_gating.v module
- add initial yosys synthesis script syn.ys
2019-11-29 17:03:44 +00:00