diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-07-27 16:11:37 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-07-27 16:11:37 +0200 |
| commit | da56a5bbc60e58c305227105b68654264738c241 (patch) | |
| tree | bfae24cda2952ca3ed99f92d06dab0cf0849152a /passes/techmap | |
| parent | 8d88fcb27011a6f8f47a8615c30ab658fafab0f2 (diff) | |
| download | yosys-da56a5bbc60e58c305227105b68654264738c241.tar.gz yosys-da56a5bbc60e58c305227105b68654264738c241.tar.bz2 yosys-da56a5bbc60e58c305227105b68654264738c241.zip | |
Added $initstate support to smtbmc flow
Diffstat (limited to 'passes/techmap')
0 files changed, 0 insertions, 0 deletions