| commit | 98aaf5caa356a84e3db61bb2d5de60a977b5b99f | [log] [tgz] |
|---|---|---|
| author | Rupert Swarbrick <rswarbrick@lowrisc.org> | Thu Jan 21 12:55:11 2021 +0000 |
| committer | Rupert Swarbrick <rswarbrick@gmail.com> | Sun Jan 24 21:19:37 2021 +0000 |
| tree | fe92fd78316a77b12726b0b2709a86eb779b0811 | |
| parent | cbe384f933eba31939fc62f4585a829bf42be308 [diff] |
[otbn] Add support for "const values" to RIG This is going to be important for generating loop bodies. The trick is that we want to say something like "don't touch x3, x4 or x10 in the loop body" to make sure that they still have the same values each iteration. This way, they can be used as base addresses for memory accesses or jumps, without having to worry that they'll get trashed on the following iteration. This also adds support for "forgetting values" in the model. We'll generate a loop body by iterating over all known registers and either marking them const or forgetting their exact values. This guarantees that we don't use a trashable register as a base address. 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).