diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-05-25 09:35:41 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-05-25 10:09:05 -0700 |
| commit | 08221edbc15333bcd05ae65cee09c86f875076ab (patch) | |
| tree | 45bbb8a4ead0be11cd69d801601630c53bdf9352 /tests/sat | |
| parent | 5b81df57c8c6779077c69ed8247fce7647616ade (diff) | |
| download | yosys-08221edbc15333bcd05ae65cee09c86f875076ab.tar.gz yosys-08221edbc15333bcd05ae65cee09c86f875076ab.tar.bz2 yosys-08221edbc15333bcd05ae65cee09c86f875076ab.zip | |
tests: xilinx macc test to have initval, shorten BMC depth for runtime
Diffstat (limited to 'tests/sat')
0 files changed, 0 insertions, 0 deletions