diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-02-21 12:06:40 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-02-21 12:06:40 +0100 |
| commit | 81b3f52519d388f252405fa7cc7472ca9e51bc49 (patch) | |
| tree | 26d1faee61bcac2276307c8919b20ca493dfedd2 /tests/techmap/mem_simple_4x1_runtest.sh | |
| parent | 79f8944811cba40ca0f3bda98ab951395d24fa0b (diff) | |
| download | yosys-81b3f52519d388f252405fa7cc7472ca9e51bc49.tar.gz yosys-81b3f52519d388f252405fa7cc7472ca9e51bc49.tar.bz2 yosys-81b3f52519d388f252405fa7cc7472ca9e51bc49.zip | |
Added tests/techmap/mem_simple_4x1
Diffstat (limited to 'tests/techmap/mem_simple_4x1_runtest.sh')
| -rw-r--r-- | tests/techmap/mem_simple_4x1_runtest.sh | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/tests/techmap/mem_simple_4x1_runtest.sh b/tests/techmap/mem_simple_4x1_runtest.sh new file mode 100644 index 000000000..8285875b8 --- /dev/null +++ b/tests/techmap/mem_simple_4x1_runtest.sh @@ -0,0 +1,17 @@ +#!/bin/bash + +set -ev + +yosys -o mem_simple_4x1_synth.v -p 'proc; opt; memory -nomap; techmap -map mem_simple_4x1_map.v;; techmap; opt; abc;; stat' mem_simple_4x1_uut.v + +iverilog -o mem_simple_4x1_gold_tb mem_simple_4x1_tb.v mem_simple_4x1_uut.v +iverilog -o mem_simple_4x1_gate_tb mem_simple_4x1_tb.v mem_simple_4x1_synth.v mem_simple_4x1_cells.v + +./mem_simple_4x1_gold_tb > mem_simple_4x1_gold_tb.out +./mem_simple_4x1_gate_tb > mem_simple_4x1_gate_tb.out + +diff -u mem_simple_4x1_gold_tb.out mem_simple_4x1_gate_tb.out +rm -f mem_simple_4x1_synth.v mem_simple_4x1_tb.vcd +rm -f mem_simple_4x1_{gold,gate}_tb{,.out} +: OK + |