URL
https://opencores.org/ocsvn/openmsp430/openmsp430/trunk
Subversion Repositories openmsp430
Compare Revisions
- This comparison shows the changes necessary to convert path
/openmsp430/trunk/core/sim/rtl_sim/bin
- from Rev 111 to Rev 122
- ↔ Reverse comparison
Rev 111 → Rev 122
/msp430sim
43,7 → 43,7
echo "USAGE : msp430sim <test name>" |
echo "Example : msp430sim c-jump_jge" |
echo "" |
echo "In order to switch the verilog simulator, the MYVLOG environment" |
echo "In order to switch the verilog simulator, the OMSP_SIMULATOR environment" |
echo "variable can be set to the following values:" |
echo "" |
echo " - iverilog : Icarus Verilog (default)" |
52,6 → 52,7
echo " - ncverilog : NC-Verilog" |
echo " - vcs : VCS" |
echo " - vsim : Modelsim" |
echo " - isim : Xilinx simulator" |
echo "" |
exit 1 |
fi |
62,9 → 63,12
############################################################################### |
asmfile=../src/$1.s43; |
verfile=../src/$1.v; |
submitfile=../src/submit.f; |
incfile=../../../rtl/verilog/openMSP430_defines.v; |
deffile=../bin/template.def; |
submitfile=../src/submit.f; |
if [ $OMSP_SIMULATOR == "isim" ]; then |
submitfile=../src/submit.prj; |
fi |
|
if [ ! -e $asmfile ]; then |
echo "Assembler file $asmfile doesn't exist: $asmfile" |
/cov_ncverilog.tcl
0,0 → 1,8
set mytest [file link stimulus.v] |
set mytest [file rootname [file tail $mytest]] |
|
coverage -setup -testname $mytest -dut tb_openMSP430.dut |
|
run |
quit |
|
cov_ncverilog.tcl
Property changes :
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: msp430sim_c
===================================================================
--- msp430sim_c (revision 111)
+++ msp430sim_c (revision 122)
@@ -43,7 +43,7 @@
echo "USAGE : msp430sim_c "
echo "Example : msp430sim_c sandbox"
echo ""
- echo "In order to switch the verilog simulator, the MYVLOG environment"
+ echo "In order to switch the verilog simulator, the OMSP_SIMULATOR environment"
echo "variable can be set to the following values:"
echo ""
echo " - iverilog : Icarus Verilog (default)"
@@ -52,6 +52,7 @@
echo " - ncverilog : NC-Verilog"
echo " - vcs : VCS"
echo " - vsim : Modelsim"
+ echo " - isim : Xilinx simulator"
echo ""
exit 1
fi
@@ -63,8 +64,11 @@
softdir=../src-c/$1;
elffile=../src-c/$1/$1.elf;
verfile=../src-c/$1/$1.v;
+incfile=../../../rtl/verilog/openMSP430_defines.v;
submitfile=../src/submit.f;
-incfile=../../../rtl/verilog/openMSP430_defines.v;
+if [ $OMSP_SIMULATOR == "isim" ]; then
+ submitfile=../src/submit.prj;
+fi
if [ ! -e $softdir ]; then
echo "Software directory doesn't exist: $softdir"
/rtlsim.sh
43,7 → 43,7
echo "ERROR : wrong number of arguments" |
echo "USAGE : rtlsim.sh <verilog stimulus file> <memory file> <submit file>" |
echo "Example : rtlsim.sh ./stimulus.v pmem.mem ../src/submit.f" |
echo "MYVLOG env keeps simulator name iverilog/cver/verilog/ncverilog/vsim/vcs" |
echo "OMSP_SIMULATOR env keeps simulator name iverilog/cver/verilog/ncverilog/vsim/vcs" |
exit 1 |
fi |
|
70,7 → 70,7
# Start verilog simulation # |
############################################################################### |
|
if [ "${MYVLOG:-iverilog}" = iverilog ]; then |
if [ "${OMSP_SIMULATOR:-iverilog}" = iverilog ]; then |
|
rm -rf simv |
|
92,7 → 92,7
vargs="" |
fi |
|
case $MYVLOG in |
case $OMSP_SIMULATOR in |
cver* ) |
vargs="$vargs +define+VXL +define+CVER" ;; |
verilog* ) |
99,17 → 99,24
vargs="$vargs +define+VXL" ;; |
ncverilog* ) |
rm -rf INCA_libs |
vargs="$vargs +access+r +define+TRN_FILE" ;; |
vargs="$vargs +access+r +ncinput+../bin/cov_ncverilog.tcl -covfile ../bin/cov_ncverilog.ccf -coverage all +define+TRN_FILE" ;; |
vcs* ) |
rm -rf csrc simv* |
vargs="$vargs -R -debug_pp +vcs+lic+wait +v2k +define+VPD_FILE" ;; |
vsim ) |
vsim* ) |
# Modelsim |
if [ -d work ]; then vdel -all; fi |
vlib work |
exec vlog +acc=prn -f $3 $vargs -R -c -do "run -all" |
exec vlog +acc=prn -f $3 $vargs -R -c -do "run -all" ;; |
isim ) |
# Xilinx simulator |
rm -rf fuse* isim* |
fuse tb_openMSP430 -prj $3 -o isim.exe -i ../../../bench/verilog/ -i ../../../rtl/verilog/ -i ../../../rtl/verilog/periph/ |
echo "run all" > isim.tcl |
./isim.exe -tclbatch isim.tcl |
exit |
esac |
|
echo "Running: $MYVLOG -f $3 $vargs" |
exec $MYVLOG -f $3 $vargs |
echo "Running: $OMSP_SIMULATOR -f $3 $vargs" |
exec $OMSP_SIMULATOR -f $3 $vargs |
fi |
/cov_exclude.dat
0,0 → 1,3
|
module openMSP430.scan_enable |
module openMSP430.scan_mode |
cov_exclude.dat
Property changes :
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: cov_exclude_bits.dat
===================================================================
--- cov_exclude_bits.dat (nonexistent)
+++ cov_exclude_bits.dat (revision 122)
@@ -0,0 +1,69 @@
+#============================================
+# FRONTENT
+#============================================
+
+# Exclude pc[0] as these are constant signals
+ -ere instance tb_openMSP430\.dut\.frontend_0\.pc\[0\]
+ -ere instance tb_openMSP430\.dut\.frontend_0\.pc_incr\[0\]
+
+# Exclude irq_addr[15:5] and irq_addr[0] as these are constant signals
+ -ere instance tb_openMSP430\.dut\.frontend_0\.irq_addr\[15\]
+ -ere instance tb_openMSP430\.dut\.frontend_0\.irq_addr\[14\]
+ -ere instance tb_openMSP430\.dut\.frontend_0\.irq_addr\[13\]
+ -ere instance tb_openMSP430\.dut\.frontend_0\.irq_addr\[12\]
+ -ere instance tb_openMSP430\.dut\.frontend_0\.irq_addr\[11\]
+ -ere instance tb_openMSP430\.dut\.frontend_0\.irq_addr\[10\]
+ -ere instance tb_openMSP430\.dut\.frontend_0\.irq_addr\[9\]
+ -ere instance tb_openMSP430\.dut\.frontend_0\.irq_addr\[8\]
+ -ere instance tb_openMSP430\.dut\.frontend_0\.irq_addr\[7\]
+ -ere instance tb_openMSP430\.dut\.frontend_0\.irq_addr\[6\]
+ -ere instance tb_openMSP430\.dut\.frontend_0\.irq_addr\[5\]
+ -ere instance tb_openMSP430\.dut\.frontend_0\.irq_addr\[0\]
+
+# Exclude inst_ad[7/5/3/2] as these are constant signals
+ -ere instance tb_openMSP430\.dut\.frontend_0\.inst_ad\[7\]
+ -ere instance tb_openMSP430\.dut\.frontend_0\.inst_ad\[5\]
+ -ere instance tb_openMSP430\.dut\.frontend_0\.inst_ad\[3\]
+ -ere instance tb_openMSP430\.dut\.frontend_0\.inst_ad\[2\]
+ -ere instance tb_openMSP430\.dut\.frontend_0\.inst_ad_nxt\[7\]
+ -ere instance tb_openMSP430\.dut\.frontend_0\.inst_ad_nxt\[5\]
+ -ere instance tb_openMSP430\.dut\.frontend_0\.inst_ad_nxt\[3\]
+ -ere instance tb_openMSP430\.dut\.frontend_0\.inst_ad_nxt\[2\]
+
+# Diverse remaining constants
+ -ere instance tb_openMSP430\.dut\.frontend_0\.ext_incr\[0\]
+
+
+#============================================
+# EXECUTION UNIT
+#============================================
+
+# Exclude pc[0] as these are constant signals
+ -ere instance tb_openMSP430\.dut\.execution_unit_0\.pc\[0\]
+
+# Exclude inst_ad[7/5/3/2] as these are constant signals
+ -ere instance tb_openMSP430\.dut\.execution_unit_0\.inst_ad\[7\]
+ -ere instance tb_openMSP430\.dut\.execution_unit_0\.inst_ad\[5\]
+ -ere instance tb_openMSP430\.dut\.execution_unit_0\.inst_ad\[3\]
+ -ere instance tb_openMSP430\.dut\.execution_unit_0\.inst_ad\[2\]
+
+
+#============================================
+# MEMORY BACKBONE
+#============================================
+
+# Higher peripheral address bits might be constants depending on the configuration
+ -ere instance tb_openMSP430\.dut\.mem_backbone_0\.per_addr\[13\]
+ -ere instance tb_openMSP430\.dut\.mem_backbone_0\.per_addr\[12\]
+ -ere instance tb_openMSP430\.dut\.mem_backbone_0\.per_addr\[11\]
+ -ere instance tb_openMSP430\.dut\.mem_backbone_0\.per_addr\[10\]
+ -ere instance tb_openMSP430\.dut\.mem_backbone_0\.per_addr\[9\]
+ -ere instance tb_openMSP430\.dut\.mem_backbone_0\.per_addr\[8\]
+
+ -ere instance tb_openMSP430\.dut\.mem_backbone_0\.per_addr_ful\[14\]
+ -ere instance tb_openMSP430\.dut\.mem_backbone_0\.per_addr_ful\[13\]
+ -ere instance tb_openMSP430\.dut\.mem_backbone_0\.per_addr_ful\[12\]
+ -ere instance tb_openMSP430\.dut\.mem_backbone_0\.per_addr_ful\[11\]
+ -ere instance tb_openMSP430\.dut\.mem_backbone_0\.per_addr_ful\[10\]
+ -ere instance tb_openMSP430\.dut\.mem_backbone_0\.per_addr_ful\[9\]
+ -ere instance tb_openMSP430\.dut\.mem_backbone_0\.per_addr_ful\[8\]
cov_exclude_bits.dat
Property changes :
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: cov_ncverilog.ccf
===================================================================
--- cov_ncverilog.ccf (nonexistent)
+++ cov_ncverilog.ccf (revision 122)
@@ -0,0 +1,4 @@
+
+#set_expr_scoring -all
+set_toggle_excludefile ../bin/cov_exclude.dat
+set_toggle_excludefile -bitexclude ../bin/cov_exclude_bits.dat
cov_ncverilog.ccf
Property changes :
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Index: cov_iccr_merge.cf
===================================================================
--- cov_iccr_merge.cf (nonexistent)
+++ cov_iccr_merge.cf (revision 122)
@@ -0,0 +1,10 @@
+set mytests_ucd [glob cov_work/design/*/icc.ucd]
+
+set mytests ""
+foreach ucd_file $mytests_ucd {
+ lappend mytests [file dirname $ucd_file]
+}
+
+eval load_test $mytests
+eval merge $mytests -output merged_coverage
+quit
cov_iccr_merge.cf
Property changes :
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property