| commit | a13b0adbaae0b5339e2e187b1990ac57fc801f4c | [log] [tgz] |
|---|---|---|
| author | Weicai Yang <weicai@google.com> | Mon May 16 13:51:58 2022 -0700 |
| committer | weicaiyang <49293026+weicaiyang@users.noreply.github.com> | Tue May 17 15:13:48 2022 -0700 |
| tree | a53c480c8592ae43a5f7fe2eaf6ea9ce685be277 | |
| parent | 3bd444b2c3e5cec0764f1bcdb71e3fdedc89f727 [diff] |
[dv] Update prim_sparse_fsm_flop_if to force at the flop To solve the FSM coverage issue, we deposit invalid value to the FSM at these 2 places. 1. the __q at the same hierarchy of the state machine 2. state_o in the prim_sparse_fsm_flop But `state_o` isn't the actual flop, after depositing the value, it won't be changed unless `state_d` is updated, while __q will be changed back to __d in the next cycle. changed to desposit value on the flop rather than `state_o` Signed-off-by: Weicai Yang <weicai@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]({{< relref “CONTRIBUTING.md” >}}) and our documentation on project organization and processes 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).