3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-02-28 19:01:30 +00:00
yosys/passes/sat
Ben Widawsky 8767ec3fbd Add a few more filename rewrites
This now allows a full pipeline to work, something such as:
yosys -p "synth_ecp5 -json ~/work/fpga/prjtrellis/examples/ecp5_evn/blinky.v"

Otherwise, you will get something along the lines of:
ERROR: Can't open output file `~/work/fpga/prjtrellis/examples/ecp5_evn/blinky.v' for writing: No such file or directory

Signed-off-by: Ben Widawsky <ben@bwidawsk.net>
2019-06-20 10:27:59 -07:00
..
assertpmux.cc
async2sync.cc
clk2fflogic.cc
cutpoint.cc
eval.cc
example.v
example.ys
expose.cc Update from master 2019-05-28 09:35:45 -07:00
fmcombine.cc
freduce.cc
Makefile.inc
miter.cc
mutate.cc
sat.cc
sim.cc
supercover.cc