[dv/fpv] Clean up FPV script and add EndpointType to tlul_assert.sv This commit strives at eliminating some of the explicitly added demotions (from assert -> assume) in the fpv.tcl file. In particular, tlul_assert module contains now a parameter EndpointType that can either be set to "Host" or "Device", depending on what kind of endpoint it is bound to. Internally, some of the assertions are switched to assumptions based on that parameter. In order to keep code duplication to a minimum, the asserted/assumed sequences have been split out as discrete sequence items such that they are only declared once. The assertion enable/disable functions had to be revised as well, and the tlul_assert interface has been changed into a module. Further, two additional ASSUME macros have been added to prim_assert in order to support immediate assumptions, and the reqParity assertion in the register file is changed into an assumption everywhere. All FPV and DV testbenches have been adapted to use the proper EndpointType. Note that the behavior of the assertions/assumptions will remain the same for all DV sims, but it changes the way they behave in FPV.
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.
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.
Download and install hugo-extended.
Ensure that you have the required Python modules installed (to be executed in the repository root):
$ sudo apt install 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 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).