[otbn,dv] Add missing wait for valid instruction in `otbn_ctrl_redun_vseq`

When `otbn_ctrl_redun_vseq` injects a fault into the bignum MAC op and
the instruction is not valid, no error will be raised, which is correct.
So this sequence must either wait for a valid instruction before
injecting a fault, or it must not signal an error to the model if it
injects an error during an invalid instruction.  The latter would give
more coverage, since it would also test that injected faults for invalid
instructions do not result in an error.  However, this sequence
currently waits for a valid instruction before injecting any of the
other faults.

Thus, this commit adds the missing wait for a valid instruction when
injecting faults into the bignum MAC op.

Signed-off-by: Andreas Kurth <adk@lowrisc.org>
1 file changed
tree: 65b5cdda923b113f490d713456d65d75eaaa853a
  1. .github/
  2. ci/
  3. doc/
  4. hw/
  5. release/
  6. rules/
  7. site/
  8. sw/
  9. third_party/
  10. util/
  11. .bazelignore
  12. .bazelrc
  13. .bazelversion
  14. .clang-format
  15. .dockerignore
  16. .flake8
  17. .gitattributes
  18. .gitignore
  19. .style.yapf
  20. .svlint.toml
  21. .svls.toml
  22. _index.md
  23. apt-requirements.txt
  24. azure-pipelines.yml
  25. bazelisk.sh
  26. BUILD.bazel
  27. check_tool_requirements.core
  28. CLA
  29. COMMITTERS
  30. CONTRIBUTING.md
  31. LICENSE
  32. mypy.ini
  33. python-requirements.txt
  34. README.md
  35. tool_requirements.py
  36. topgen-reg-only.core
  37. topgen.core
  38. WORKSPACE
  39. yum-requirements.txt
README.md

OpenTitan

OpenTitan logo

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 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.

Documentation

The project contains comprehensive documentation of all IPs and tools. You can access it online at docs.opentitan.org.

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).