diff options
| author | clairexen <claire@symbioticeda.com> | 2020-07-02 17:50:22 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-02 17:50:22 +0200 |
| commit | 3d8d98d7093aa92f858a98d21a82cd453d8481dc (patch) | |
| tree | 912eb6440e032d9ff19ab559d56a12135da1c48a /techlibs/intel_alm | |
| parent | e4b9e64d1b356b690140dd41d836bc4d5c368234 (diff) | |
| parent | 39fa1e160d4af42aa6d186e8e684ea1cafdc2391 (diff) | |
| download | yosys-3d8d98d7093aa92f858a98d21a82cd453d8481dc.tar.gz yosys-3d8d98d7093aa92f858a98d21a82cd453d8481dc.tar.bz2 yosys-3d8d98d7093aa92f858a98d21a82cd453d8481dc.zip | |
Merge pull request #2132 from YosysHQ/eddie/verific_initial
verific: rewrite initial assume/asserts prior to elaboration
Diffstat (limited to 'techlibs/intel_alm')
0 files changed, 0 insertions, 0 deletions