| commit | 7f559d90d521cb9ea7fea8061c58b1e3f3d08350 | [log] [tgz] |
|---|---|---|
| author | Weicai Yang <weicai@google.com> | Mon Jan 27 16:42:18 2020 -0800 |
| committer | weicaiyang <49293026+weicaiyang@users.noreply.github.com> | Thu Jan 30 10:29:26 2020 -0800 |
| tree | 307a7c1ce603070e1b907348351e874c24b9d236 | |
| parent | 3e4cd9d5a5ab24cb39a784c6147b593f24eaa06d [diff] |
[dv] Improve sim performace for tl_errors Constraint took 99.5% of time and found tl_access_unmapped_addr took most of the time. Use 2 ways to improve perf 1. Move for-loop calculation out of the constraint and use `inside` instead 2. Split the randomization into 2 parts and randomize addr first. Sim time is reduced from 530s to 7s in worst case (running all tl_access_unmapped_addr) and from 38s to 10s in normal case (running mixed tl error cases) Signed-off-by: Weicai Yang <weicai@google.com>
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 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 either access it online or build it locally by following the steps below.
$ sudo apt install curl python3 python3-pip $ pip3 install --user -r python-requirements.txt
$ ./util/build_docs.py --preview
This compiles the documentation into ./build/docs and starts a local server, which allows you to access the documentation at http://127.0.0.1:1313.
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).