projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7e8f7f4) | patch
Add new tests for Efinix architecture.
authorSergeyDegtyar <sndegtyar@gmail.com>
Mon, 23 Sep 2019 12:51:41 +0000 (15:51 +0300)
committerSergeyDegtyar <sndegtyar@gmail.com>
Mon, 23 Sep 2019 12:51:41 +0000 (15:51 +0300)
commit1070f2e90b9ba37856932189ef09a0f2316d9a21
treed99a86d4b9f9ba984a39f4760977fdaea29b5b5atree
parent7e8f7f4c59c96897159d32771d0c7179c5474281commit | diff
Add new tests for Efinix architecture.

Problems/questions:
- fsm.ys. equiv_opt -assert failed because of unproven cells;
- latches.ys,tribuf.ys - internal cells present;
- memory.ys - sat called with -verify and proof did fail.
31 files changed:
Makefile diff | blob | history
tests/efinix/.gitignore [new file with mode: 0644] blob
tests/efinix/add_sub.v [new file with mode: 0644] blob
tests/efinix/add_sub.ys [new file with mode: 0644] blob
tests/efinix/adffs.v [new file with mode: 0644] blob
tests/efinix/adffs.ys [new file with mode: 0644] blob
tests/efinix/alu.v [new file with mode: 0644] blob
tests/efinix/alu.ys [new file with mode: 0644] blob
tests/efinix/counter.v [new file with mode: 0644] blob
tests/efinix/counter.ys [new file with mode: 0644] blob
tests/efinix/dffs.v [new file with mode: 0644] blob
tests/efinix/dffs.ys [new file with mode: 0644] blob
tests/efinix/div_mod.v [new file with mode: 0644] blob
tests/efinix/div_mod.ys [new file with mode: 0644] blob
tests/efinix/fsm.v [new file with mode: 0644] blob
tests/efinix/fsm.ys [new file with mode: 0644] blob
tests/efinix/latches.v [new file with mode: 0644] blob
tests/efinix/latches.ys [new file with mode: 0644] blob
tests/efinix/logic.v [new file with mode: 0644] blob
tests/efinix/logic.ys [new file with mode: 0644] blob
tests/efinix/memory.v [new file with mode: 0644] blob
tests/efinix/memory.ys [new file with mode: 0644] blob
tests/efinix/mul.v [new file with mode: 0644] blob
tests/efinix/mul.ys [new file with mode: 0644] blob
tests/efinix/mux.v [new file with mode: 0644] blob
tests/efinix/mux.ys [new file with mode: 0644] blob
tests/efinix/run-test.sh [new file with mode: 0755] blob
tests/efinix/shifter.v [new file with mode: 0644] blob
tests/efinix/shifter.ys [new file with mode: 0644] blob
tests/efinix/tribuf.v [new file with mode: 0644] blob
tests/efinix/tribuf.ys [new file with mode: 0644] blob