DV system
Project description
DVSim
About the project
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.
About this repository
This repository contains DVSim which is a build and run system written in Python that runs a variety of EDA tool flows. There are multiple steps involved in running EDA tool flows. DVSim encapsulates them all to provide a single, standardized command-line interface to launch them. While DVSim was written to support OpenTitan, it can be used for any ASIC project.
All EDA tool flows on OpenTitan are launched using the DVSim tool. The following flows are currently supported:
- Simulations
- Coverage Unreachability Analysis (UNR)
- Formal (formal property verification (FPV), and connectivity)
- Lint (semantic and stylistic)
- Synthesis
- CDC
- RDC
Installation
Using nix and direnv
If you have Nix and direnv installed, then it's as simple as direnv allow ..
New to Nix? Perhaps checkout this installer which will enable flakes by default.
Using uv direct
The recommended way of installing DVSim is inside a virtual environment to isolate the dependencies from your system python install.
We use the uv tool for python dependency management and creating virtual environments.
First make sure you have uv installed, see the installation documentation for details and alternative installation methods.
There is a python package that can be installed with pip install uv, however the standalone installer is preferred.
macOS and Linux
curl -LsSf https://astral.sh/uv/install.sh | sh
uv venv
uv sync
From there you can run the dvsim tool.
Windows (Powershell)
irm https://astral.sh/uv/install.ps1 | iex
uv venv
uv sync
From there you can run the dvsim tool.
Using DVSim
For further information on how to use DVsim with OpenTitan see Getting Started
History
DVSim development started in the main OpenTitan repository under utils/dvsim.
This repository contains the code that origionaly lived there, as well as the full git history copied over as generated by git subtree split -p utils/dvsim.
Documentation
The project contains comprehensive documentation of all IPs and tools. You can access it online at opentitan.org/book/.
Other related documents
How to contribute
Have a look at CONTRIBUTING and our documentation on project organization and processes for guidelines on how to contribute code to this repository.
Licensing
Unless otherwise noted, everything in this repository is covered by the Apache License, Version 2.0 (see LICENSE for full text).
Bugs
Please see link for a list of open bugs and feature requests.
Project details
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file dvsim-1.0.4.tar.gz.
File metadata
- Download URL: dvsim-1.0.4.tar.gz
- Upload date:
- Size: 348.5 kB
- Tags: Source
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/6.1.0 CPython/3.13.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
bb93c1ffe949d35661e0b81b05cf4ead7aa261026515c9b1fed616018fac9792
|
|
| MD5 |
a86ee54fe9269e39e7a9e3793f374706
|
|
| BLAKE2b-256 |
b47279a59c9299686ff2458c80b4e1bcc2cdca7788870d08d8d387cd9f01a33c
|
Provenance
The following attestation bundles were made for dvsim-1.0.4.tar.gz:
Publisher:
release.yml on lowRISC/dvsim
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
dvsim-1.0.4.tar.gz -
Subject digest:
bb93c1ffe949d35661e0b81b05cf4ead7aa261026515c9b1fed616018fac9792 - Sigstore transparency entry: 675947384
- Sigstore integration time:
-
Permalink:
lowRISC/dvsim@d64033d580b7acaba61b9fc98515e22de720dfe5 -
Branch / Tag:
refs/heads/master - Owner: https://github.com/lowRISC
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
release.yml@d64033d580b7acaba61b9fc98515e22de720dfe5 -
Trigger Event:
push
-
Statement type:
File details
Details for the file dvsim-1.0.4-py3-none-any.whl.
File metadata
- Download URL: dvsim-1.0.4-py3-none-any.whl
- Upload date:
- Size: 166.0 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/6.1.0 CPython/3.13.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
979d58cdf532004eea3153e82739ec9e92a860558ad79fd9949210b461f57c78
|
|
| MD5 |
e98ff4bd2090ab2b9a3ca23ac392ce43
|
|
| BLAKE2b-256 |
87f558f6c6074a0aebe25c39b3d2090df738ad52c7aa8f68428b2122afa10c3c
|
Provenance
The following attestation bundles were made for dvsim-1.0.4-py3-none-any.whl:
Publisher:
release.yml on lowRISC/dvsim
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
dvsim-1.0.4-py3-none-any.whl -
Subject digest:
979d58cdf532004eea3153e82739ec9e92a860558ad79fd9949210b461f57c78 - Sigstore transparency entry: 675947393
- Sigstore integration time:
-
Permalink:
lowRISC/dvsim@d64033d580b7acaba61b9fc98515e22de720dfe5 -
Branch / Tag:
refs/heads/master - Owner: https://github.com/lowRISC
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
release.yml@d64033d580b7acaba61b9fc98515e22de720dfe5 -
Trigger Event:
push
-
Statement type: