diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-08-26 23:35:27 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-08-26 23:35:27 +0200 |
| commit | 1276c87a56f6f6d1a134877f024d2af785354570 (patch) | |
| tree | e8b79ee0f55ff94d276b649b055bd2f4e731ba98 /backends/intersynth | |
| parent | 17233b11e185d2c863ccd06830e8cd0d2be38e83 (diff) | |
| download | yosys-1276c87a56f6f6d1a134877f024d2af785354570.tar.gz yosys-1276c87a56f6f6d1a134877f024d2af785354570.tar.bz2 yosys-1276c87a56f6f6d1a134877f024d2af785354570.zip | |
Added read_verilog -norestrict -assume-asserts
Diffstat (limited to 'backends/intersynth')
0 files changed, 0 insertions, 0 deletions