| commit | 7ec5dbd0d483f9c2138a2588b2ee26142b006cd7 | [log] [tgz] |
|---|---|---|
| author | Cindy Chen <chencindy@google.com> | Wed Nov 04 18:07:16 2020 -0800 |
| committer | cindychip <cindy.chen0316@gmail.com> | Thu Nov 05 09:57:09 2020 -0800 |
| tree | d849afa96c3ac90e2e998f25c5a7fe36a26f2e7d | |
| parent | 4e1a4a3d0f5839a802903864318da4f2c822ee25 [diff] |
[fpv] Fix fusesoc dependecy issue When CSR assertions can be generated automatically, we encountered some fusesoc dependency issue. Because CSR auto-gen assertions depend on RTL(reg core file), for most of IPs, there isn't an independent reg file core, thus the auto-gen file directly used the rtl core file. And formal target is build on the default RTL core file. Now we try to import the CSR auto-gen core file, and this creates a dependency issue. To solve this issue, the new formal core file is built on IP_sva.core instead of RTL core file. Signed-off-by: Cindy Chen <chencindy@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 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).