mirror of
				https://github.com/YosysHQ/yosys
				synced 2025-11-04 05:19:11 +00:00 
			
		
		
		
	
		
			
				
	
	
		
			19 lines
		
	
	
	
		
			845 B
		
	
	
	
		
			Bash
		
	
	
	
	
	
			
		
		
	
	
			19 lines
		
	
	
	
		
			845 B
		
	
	
	
		
			Bash
		
	
	
	
	
	
#!/usr/bin/env 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
 | 
						|
 |