#!/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 put type='hidden' name='id' value='e51dcc83d087d2fc91c39460b3e8c5dcc683a4da'/> clone of https://github.com/YosysHQ/yosys
aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verilog/Makefile.inc
blob: a06c1d5ab3ca4131c84958c7bd9d99eefb41b84c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23