| commit | 94014696b693fc1e8ca05262de6809fffdf40e57 | [log] [tgz] |
|---|---|---|
| author | Philipp Wagner <phw@lowrisc.org> | Fri Mar 13 11:28:57 2020 +0000 |
| committer | Philipp Wagner <mail@philipp-wagner.com> | Sun Mar 15 21:24:27 2020 +0000 |
| tree | 1630e6c0314c65df9d43a5cf5c5c71ccc13fb667 | |
| parent | dd1706e292e6df28e4b612515d1de10a45b5d5e1 [diff] |
Remove property from assert message Assert macros in prim_assert.sv report the asserted property as part of the error message if the assertion fails. Doing that requires us to stringify the property. If the property is multi-line in the source code, this produces a multi-line string. According to the SystemVerilog standard, a multi-line string requires a backslash (`\`) at the end of a line. Adding this backslash through a macro is not possible (at least to my knowledge), giving us no way to produce a standards-compliant implementation of the `ASSERT` macros that report the property as string. This commit therefore removes the property from the error message if an assertion fails. It makes these messages less useful, but the information can still be recovered in a less convenient way through the name of the assertion, and the file and line numbers. File and line number were missing from the non-UVM code path before, this commit adds them there as well. This aligns the prim_assert.sv macro with what has been done in Ibex, where all the discussion around this change happened as well. Please have a look at https://github.com/lowRISC/ibex/issues/669 and https://github.com/lowRISC/ibex/pull/699 for the bigger picture. Signed-off-by: Philipp Wagner <phw@lowrisc.org>
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 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).