| commit | ca3e6844e99eee1f5e03880447086d1e47c669be | [log] [tgz] |
|---|---|---|
| author | Rupert Swarbrick <rswarbrick@lowrisc.org> | Thu Jan 21 15:23:16 2021 +0000 |
| committer | Rupert Swarbrick <rswarbrick@gmail.com> | Sun Jan 24 21:19:37 2021 +0000 |
| tree | de4254032b947d51ba1dd937e653a9c67cc21114 | |
| parent | 98aaf5caa356a84e3db61bb2d5de60a977b5b99f [diff] |
[otbn] Tidy up how we deal with fuel in RIG We used to have quite a bit of complicated juggling, where every generator made sure to leave enough fuel for a following ECALL instruction. Stop doing that: it's way more complicated than it needs to be. Generators still have to make sure they don't paint themselves in a corner (by running out of actual space), but they can now exhaust fuel without worrying. This makes it much easier to do recursive generation. It's needed in particular for sane loop generation, where we want to constrain model.fuel dramatically when we're generating loop bodies. While we're changing this, we also refactor the methods in SnippetGens a little, to reflect what's going on a bit more obviously in the types. Signed-off-by: Rupert Swarbrick <rswarbrick@lowrisc.org>
OpenTitan is an open source silicon Root of Trust (RoT) project. OpenTitan will make the silicon RoT design and implementation more transparent, trustworthy, and secure for enterprises, platform providers, and chip manufacturers. OpenTitan is administered by lowRISC CIC as a collaborative project to produce high quality, open IP for instantiation as a full-featured product. See the OpenTitan site and OpenTitan docs for more information about the project.
This repository contains hardware, software and utilities written as part of the OpenTitan project. It is structured as monolithic repository, or “monorepo”, where all components live in one repository. It exists to enable collaboration across partners participating in the OpenTitan project.
The project contains comprehensive documentation of all IPs and tools. You can access it online at docs.opentitan.org.
Have a look at CONTRIBUTING for guidelines on how to contribute code to this repository.
Unless otherwise noted, everything in this repository is covered by the Apache License, Version 2.0 (see LICENSE for full text).