diff options
| author | Claire Xenia Wolf <claire@clairexen.net> | 2021-11-01 10:41:51 +0100 |
|---|---|---|
| committer | Claire Xenia Wolf <claire@clairexen.net> | 2021-11-01 10:41:51 +0100 |
| commit | 2ea757da5105fcd97c31e3b99069b19ca847e068 (patch) | |
| tree | 459ead3417ebfe508936816a29f7d1fc77ae1d09 /tests/fsm/generate.py | |
| parent | 97fce665c77211e1ee41e6cc974e5d9502b06102 (diff) | |
| download | yosys-2ea757da5105fcd97c31e3b99069b19ca847e068.tar.gz yosys-2ea757da5105fcd97c31e3b99069b19ca847e068.tar.bz2 yosys-2ea757da5105fcd97c31e3b99069b19ca847e068.zip | |
Add "verific -cfg" command
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
Diffstat (limited to 'tests/fsm/generate.py')
0 files changed, 0 insertions, 0 deletions