Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Create a fusesoc hook for FPGA splice script #1

Closed
rpenugo opened this issue Aug 30, 2019 · 2 comments
Closed

Create a fusesoc hook for FPGA splice script #1

rpenugo opened this issue Aug 30, 2019 · 2 comments
Assignees

Comments

@rpenugo
Copy link
Contributor

rpenugo commented Aug 30, 2019

On top of PR lowRISC/stwg-base#847 there is a need to hook this script to fusesoc just like extended run after bitfile generation is complete

@imphil has offered to help on this.. once the original PR lowRISC/stwg-base#847 merges in.

Creating a tracker for the same

@lowrisc-bot lowrisc-bot transferred this issue from another repository Aug 31, 2019
cdgori referenced this issue Oct 17, 2019
This commit replaces long ternary expressions by a combination of
`if/else` and `unique case` statements.
@sjgitty
Copy link
Contributor

sjgitty commented Oct 25, 2019

@imphil I'm guessing this is no longer needed?

weicaiyang added a commit that referenced this issue Nov 5, 2019
1. Fix cover.cfg to remove #1
2  Fix outstanding covergroup in tl monitor
@imphil
Copy link
Contributor

imphil commented Dec 7, 2019

That's unnecessary, since we build the bootrom into the bitstream at synthesis time using Vivado directly. The splice script is optional and only used in special cases.

@imphil imphil closed this as completed Dec 7, 2019
drewmacrae pushed a commit to drewmacrae/opentitan that referenced this issue Mar 28, 2022
)

Initial toolchain definition for riscv32

1. Configure lowrisc_toolchain_rv32imc for use by the OpenTitan project.
2. Deliver per-device flags to the GccEmbeddedFeatures function.
3. Turn off some per-feature compiler/linker flags.  Need to find a
   better way to do this.

Signed-off-by: Chris Frantz <cfrantz@google.com>
rswarbrick added a commit that referenced this issue Apr 25, 2024
This precondition for the assertion was never possible because
!state_q was never InitReq or InitAckWait.

Unfortunately, fixing this makes the assertion false. It turns out
that the problem was that the init_trig_i signal squashes the ping.
Add a condition based on this.

Annoyingly the result is very repetitive! To make things a bit tidier,
move the condition into the __rst argument of the `ASSERT macro.

Finally, drop the initial "##1" (which avoided the property triggering
just after reset). The $rose(...) condition implies this
anyway (because it's false on the first cycle after reset), so we can
drop the cycle. This makes the property marginally stronger (and
Jasper still proves it!)

Signed-off-by: Rupert Swarbrick <rswarbrick@lowrisc.org>
Scheremo pushed a commit to mosaic-soc/opentitan that referenced this issue Nov 18, 2024
* vendor: Update to using Bender 0.27.0

* vendor: Fixes to spi_host

* makefile: Fix vendor command

* vendor: Update generated regfiles

Co-authored-by: Christopher Reinwardt <creinwar@ethz.ch>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

4 participants