diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-03 20:23:37 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-03 20:23:37 -0700 |
| commit | 1217e47e83d099561fed933208621d0402cf0972 (patch) | |
| tree | 65eebcc8acd73f7bc2d83ff6a271a1fd8e3668a1 /backends/smt2/example.v | |
| parent | 36120fcc3064d0be20d5b9871a804b226471ceae (diff) | |
| parent | 02973474df5b0b88b1744baa9cec703d089ff007 (diff) | |
| download | yosys-1217e47e83d099561fed933208621d0402cf0972.tar.gz yosys-1217e47e83d099561fed933208621d0402cf0972.tar.bz2 yosys-1217e47e83d099561fed933208621d0402cf0972.zip | |
Merge pull request #1061 from YosysHQ/eddie/techmap_and_arith_map
Execute techmap and arith_map simultaneously
Diffstat (limited to 'backends/smt2/example.v')
0 files changed, 0 insertions, 0 deletions