mirror of https://github.com/YosysHQ/yosys.git
930bcf0e75
This approach had major issues with ROMs whose initialization was not fully defined. If required, memory_map -rom-only -keepdc should be called early in a formal flow instead. (This does require a careful choice of optimization passes though. Sby's scripts will be updated accordingly.) |
||
|---|---|---|
| .. | ||
| .gitignore | ||
| Makefile.inc | ||
| example.v | ||
| example.ys | ||
| smt2.cc | ||
| smtbmc.py | ||
| smtio.py | ||
| test_cells.sh | ||