| commit | a07394dc003f7aae87beb8d1e983b5ec087e5266 | [log] [tgz] |
|---|---|---|
| author | Zachary Snow <zach@zachjs.com> | Sat Jul 25 17:22:44 2020 -0400 |
| committer | Philipp Wagner <mail@philipp-wagner.com> | Tue Jul 28 22:55:33 2020 +0100 |
| tree | fd5787a7888dee3d185e47d9d4c58799bb1bfc02 | |
| parent | 301ad912f2a67d04dcc85c83c12d60133864f1fd [diff] |
[util/syn_yosys] fix yosys/sv2v flow - Adjust key point mapping method to fix false non-equivalences in rv_dm and to improve performance, and per recommendations from Cadence support staff - Skip checking full top_earlgrey, for now - Remove now unneeded hacks for past sv2v issues - Workaround unsupported strengths in prim_generic_pad_wrapper.sv - Compatibility with BSD-style sed - Remove checked-in lec_sv2v.do swapfile - Limit number of threads used by sv2v (faster conversion) With these changes, all of the modules pass verification, and the converted result successfully passes the Yosys frontend. Tool versions: - sv2v v0.0.5 - Yosys 0.9+2406 (git sha1 9bcde4d, gcc 4.8.5 -fPIC -Os) - LEC version 19.10-s300 (24-Aug-2019) Signed-off-by: Zachary Snow <zach@zachjs.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 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).