diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-05-15 14:05:28 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-05-15 14:05:28 -0700 |
| commit | 39fa1e160d4af42aa6d186e8e684ea1cafdc2391 (patch) | |
| tree | ecbbc8472706a678ed225eef10dc92b6829f2134 /passes/proc/proc_prune.cc | |
| parent | 07eecff9cca555086667666c4dbdb4c6a7133c67 (diff) | |
| download | yosys-39fa1e160d4af42aa6d186e8e684ea1cafdc2391.tar.gz yosys-39fa1e160d4af42aa6d186e8e684ea1cafdc2391.tar.bz2 yosys-39fa1e160d4af42aa6d186e8e684ea1cafdc2391.zip | |
verific: rewrite initial assume/asserts prior to elaboration
Diffstat (limited to 'passes/proc/proc_prune.cc')
0 files changed, 0 insertions, 0 deletions