#!/bin/bash set -ex for abits in 7 8 9 10 11 12; do for dbits in 2 4 8 16 24 32; do id="test_bram_${abits}_${dbits}" iadr=$((RANDOM % (1 << abits))) idat=$((RANDOM % ((1 << dbits) - 1) + 1)) sed -re "s/(ABITS = )0/\1$abits/g; s/(DBITS = )0/\1$dbits/g; s/(INIT_ADDR = )0/\1$iadr/g; s/(INIT_DATA = )0/\1$idat/g;" < test_bram.v > ${id}.v sed -re "s/(ABITS = )0/\1$abits/g; s/(DBITS = )0/\1$dbits/g; s/(INIT_ADDR = )0/\1$iadr/g; s/(INIT_DATA = )0/\1$idat/g;" < test_bram_tb.v > ${id}_tb.v ../../../yosys -ql ${id}_syn.log -p "synth_ice40" -o ${id}_syn.v ${id}.v # iverilog -s bram_tb -o ${id}_tb ${id}_syn.v ${id}_tb.v /opt/lscc/iCEcube2.2014.08/verilog/sb_ice_syn.v iverilog -s bram_tb -o ${id}_tb ${id}_syn.v ${id}_tb.v ../cells_sim.v ./${id}_tb > ${id}_tb.txt if grep -H ERROR ${id}_tb.txt; then false; fi done; done echo OK abc3bbfde7477994a0a88f93a69fad5a2a8f23'/> clone of https://github.com/YosysHQ/yosys
aboutsummaryrefslogtreecommitdiffstats
path: root/examples/smtbmc/demo3.v
blob: 13b3a19700f66109c572b1cadde5566fd5f41daf (plain) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18