3e69109474
These are just some values that I found from an example program. This does not test every possible value.
24 lines
639 B
Plaintext
24 lines
639 B
Plaintext
transcript on
|
|
if {[file exists rtl_work]} {
|
|
vdel -lib rtl_work -all
|
|
}
|
|
vlib rtl_work
|
|
vmap work rtl_work
|
|
|
|
vlog -sv -work work {../../crc7.sv}
|
|
vlog -sv -work work {../../hvl/crc7_testbench.sv}
|
|
|
|
vsim -t 1ps -L altera_ver -L lpm_ver -L sgate_ver -L altera_mf_ver -L altera_lnsim_ver -L stratixv_ver -L stratixv_hssi_ver -L stratixv_pcie_hip_ver -L rtl_work -L work -voptargs="+acc" testbench
|
|
|
|
add wave -group {dut} -radix hexadecimal sim:/testbench/dut/*
|
|
|
|
onfinish stop
|
|
run -all
|
|
|
|
if { [coverage attribute -name TESTSTATUS -concise] == "1"} {
|
|
echo Warning
|
|
quit -f -code 0
|
|
}
|
|
|
|
quit -code [coverage attribute -name TESTSTATUS -concise]
|