aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-08-20 19:18:36 -0700
committerEddie Hung <eddie@fpgeh.com>2019-08-20 19:18:36 -0700
commitd46dc9c5b4362c1e333979cbbac4f3567904fee5 (patch)
tree1f7b9a765b2def3ca6acf412c1e6282132b582b7 /passes/sat
parent55acf3120fa47bb95be8a6551738f4f9b1c70a21 (diff)
downloadyosys-d46dc9c5b4362c1e333979cbbac4f3567904fee5.tar.gz
yosys-d46dc9c5b4362c1e333979cbbac4f3567904fee5.tar.bz2
yosys-d46dc9c5b4362c1e333979cbbac4f3567904fee5.zip
ecp5 to use -max_iter 1
Diffstat (limited to 'passes/sat')
0 files changed, 0 insertions, 0 deletions