diff options
| author | Tristan Gingold <tgingold@free.fr> | 2021-06-21 07:43:55 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2021-06-21 08:07:13 +0200 |
| commit | 09e1764ea6dcf08aa77f8b6f5115caca9de44057 (patch) | |
| tree | c66014ebe875cad6ed20c6b7de326dab30b16286 /testsuite/synth/mem2d01 | |
| parent | 6aaabbfc1716fffd7b7185d53e791e77400950d2 (diff) | |
| download | ghdl-09e1764ea6dcf08aa77f8b6f5115caca9de44057.tar.gz ghdl-09e1764ea6dcf08aa77f8b6f5115caca9de44057.tar.bz2 ghdl-09e1764ea6dcf08aa77f8b6f5115caca9de44057.zip | |
testsuite/synth: check ram in mem01 and mem02
Diffstat (limited to 'testsuite/synth/mem2d01')
| -rw-r--r-- | testsuite/synth/mem2d01/dpram1r.vhdl | 1 | ||||
| -rw-r--r-- | testsuite/synth/mem2d01/dpram2r.vhdl | 1 | ||||
| -rw-r--r-- | testsuite/synth/mem2d01/dpram2w.vhdl | 1 | ||||
| -rwxr-xr-x | testsuite/synth/mem2d01/testsuite.sh | 14 |
4 files changed, 9 insertions, 8 deletions
diff --git a/testsuite/synth/mem2d01/dpram1r.vhdl b/testsuite/synth/mem2d01/dpram1r.vhdl index 2c1335a1b..30c0f9f39 100644 --- a/testsuite/synth/mem2d01/dpram1r.vhdl +++ b/testsuite/synth/mem2d01/dpram1r.vhdl @@ -18,6 +18,7 @@ begin process (clk) begin if rising_edge (clk) then + -- Not a memory: uses different widths. rdat <= mem (raddr)(rbit); mem (waddr) <= wdat; end if; diff --git a/testsuite/synth/mem2d01/dpram2r.vhdl b/testsuite/synth/mem2d01/dpram2r.vhdl index 4419d5086..0b3c4646a 100644 --- a/testsuite/synth/mem2d01/dpram2r.vhdl +++ b/testsuite/synth/mem2d01/dpram2r.vhdl @@ -18,6 +18,7 @@ begin process (clk) begin if rising_edge (clk) then + -- Not a memory: different widths rdat <= mem (raddr)(rnib * 4 + 3 downto rnib * 4); mem (waddr) <= wdat; end if; diff --git a/testsuite/synth/mem2d01/dpram2w.vhdl b/testsuite/synth/mem2d01/dpram2w.vhdl index c1b1c83d0..2c412824f 100644 --- a/testsuite/synth/mem2d01/dpram2w.vhdl +++ b/testsuite/synth/mem2d01/dpram2w.vhdl @@ -18,6 +18,7 @@ begin process (clk) begin if rising_edge (clk) then + -- Not a memory: different widths mem (waddr)(wnib * 4 + 3 downto wnib * 4) <= wdat; rdat <= mem (raddr); end if; diff --git a/testsuite/synth/mem2d01/testsuite.sh b/testsuite/synth/mem2d01/testsuite.sh index e885729f1..1c7c45546 100755 --- a/testsuite/synth/mem2d01/testsuite.sh +++ b/testsuite/synth/mem2d01/testsuite.sh @@ -2,15 +2,13 @@ . ../../testenv.sh -for t in dpram1r dpram2r dpram2w memmux04; do - analyze $t.vhdl tb_$t.vhdl - elab_simulate tb_$t - clean +for t in memmux04; do + synth_tb $t 2> $t.log + grep "found R" $t.log +done - synth $t.vhdl -e $t > syn_$t.vhdl - analyze syn_$t.vhdl tb_$t.vhdl - elab_simulate tb_$t --ieee-asserts=disable-at-0 - clean +for t in dpram1r dpram2r dpram2w; do + synth_tb $t 2> $t.log done echo "Test successful" |