synopsys CCT Flow

原理

     自动记录bins的cover状况。

 

步骤（和一般的coverage的区别）：

1）  编译（vcs） 时 加上  -ntb_opts cct

2） 运行（simv）时, 加上-cct_enable  选项，去掉+ntb_random_seed=x 选项， 如果已经有cct bias file， 则加载

3） 利用 urg -format text -dir ./coverage.vdb -group cct_gen_bias 1 更新bias 文件， 其中的1指明了只生成一个bias 文件。 同时生成coverage 的txt形式的urgReport。以便利用perl脚本提取每次运行后group coverage的增加情况

 

4） 重复 step2 和step3

 

====================下面是run_cct的脚本==================

 

 #!/bin/csh -f #################### Scan Command Line ################ set INFO = "###(info) ${0}" set ERROR = "###(error) ${0}" set num = $#argv set paras = "$argv[1-$num]" set paras_pass = "" set cov_arg ="" set testcase = "" set defines = "" set complist = "./list.f" set seed = "0" set log_dir = "log" foreach i ($paras) if ( $?get_random_seed ) then set seed = $i unset get_random_seed else if ( "x$i" == "x-seed" ) then set get_random_seed else if ( "x$i" == "x-h" || "x$i" == "x-help" ) then set paras_help break else if ( "x$i" == "x-skip" || "x$i" == "x-skip_compile" ) then set paras_skip_compile else if ( "x$i" == "x-cct" ) then set paras_cct else if ( "x$i" == "x-trace" ) then set paras_trace else if ( "x$i" == "x-warning" ) then set paras_warning else if ( "x$i" == "x-cov" ) then set paras_cov else if ( "x$i" == "x-clean" ) then set paras_clean break else if ( $i =~ +* ) then set paras_pass = "${paras_pass} $i" else if ( $i !~ -* && $i !~ +* ) then set testcase = $i else echo "${ERROR}: unknown argument $paras" set paras_help break endif end ################### Remove redundant files ################# if ( $?paras_clean ) then echo "${INFO}: remove redundant files and directories" /rm -fr csrc DVEfiles simv* *.vpd *.key vcs* *.log urg* *.hex *.bin vc_hdrs.h /rm -fr ../cov/urgReport ../cov/coverage.* /rm -f ./cct_coverage.rpt ./core.* /rm -fr ../cct/urgReport ../cct/cctBiasConfigs ../cct/coverage.* /rm -fr verdiLog VerdiLog *.fsdb exit endif ## Whether the test case exists if ( "$testcase" == "" ) then echo "${ERROR}: No testcase as parameter" set paras_help endif #################### Help Info ################ if ( $?paras_help ) then cat <<EOU Usage: run testcase - run vcs simulation. testcase: - testcase name,include path. Options: -help[-h] - Display this messages. -clean - Clean redundant directroy and file. -skip - Only do VCS Compile +nofsdb - Do not dump waveform. EOU exit 0 endif ## Whether the testcase directory exists if ( ! -e "../tests/${testcase}.sv" ) then echo "${ERROR}: ../tests/${testcase}.sv can not open" exit endif echo "============================================================== " echo "||| Build RAL Class ||| " echo "============================================================== " ralgen -l sv -t svidRegSys -b -o ../tb/ral/ral_svidRegSys ../tb/ral/svidReg.ralf echo "============================================================== " echo "||| Build VCS and Run Simulation ||| " echo "============================================================== " set log_file = `echo $testcase | sed "s////_/g"` if ( $?paras_cct ) then set cov_arg = "-ntb_opts cct -cm line+cond+branch+fsm -cm_dir ../cct/coverage.cm" set log_dir = "cct_log" else if ( $?paras_cov ) then set cov_arg = "-cm line+cond+branch+fsm -cm_dir ../cov/coverage.cm" else set cov_arg ="" endif if ( $?paras_skip_compile ) then echo "Skip VCS compile" else vcs -Mupdate +systemverilogext+.sv / -sverilog / -lca / -debug_all / -notice / -ntb_opts rvm / ${cov_arg} / -fsdb / $defines / -f $complist / ../tests/${testcase}.sv / -l ./${log_dir}/${log_file}_${seed}.log if ( $status ) then exit; endif endif if ( $?paras_warning ) then set paras_pass = "$paras_pass +vmm_log_default=warning" else if ( $?paras_trace ) then set paras_pass = "$paras_pass +vmm_log_default=trace" else set paras_pass = "$paras_pass +vmm_log_default=normal" endif if ( $?paras_cct ) then if ( -e "../cct/cctBiasConfigs/config0" ) then set cov_arg = "-cct_enable -cm line+cond+branch+fsm -cm_dir ../cct/coverage.cm -cm_name ${log_file}_${seed} -cct_bias_file=../cct/cctBiasConfigs/config0" else set cov_arg = "-cct_enable -cm line+cond+branch+fsm -cm_dir ../cct/coverage.cm -cm_name ${log_file}_${seed}" endif else if ( $?paras_cov ) then set cov_arg = "+ntb_random_seed=$seed -cm line+cond+branch+fsm -cm_dir ../cov/coverage.cm -cm_name ${log_file}_${seed}" else set cov_arg = "" endif ./simv ${paras_pass} ${cov_arg} -a ./${log_dir}/${log_file}_${seed}.log if ( $?paras_cct ) then pushd ../cct urg -format text -dir ./coverage.vdb -group cct_gen_bias 1 popd else if ( $?paras_cov ) then pushd ../cov urg -format text -dir ./coverage.vdb popd endif

 

 

====================下面是run_cct_all 的脚本==================

#!/bin/csh -f set case_list = "test_full test_normal test_setvid adc_test" foreach test_case ($case_list) @ i = 0 run_cct ${test_case} -seed $i -cct -warning +nofsdb set coverage = `get_cover.pl ../cct/urgReport/dashboard.txt` set coverage = "${test_case}_$i : $coverage" echo $coverage | tee -a cct_coverage.rpt @ i++ while ( $i <= 15 ) echo "-------- seed = $i -----------" run_cct ${test_case} -seed $i -cct -warning +nofsdb -skip set coverage = `get_cover.pl ../cct/urgReport/dashboard.txt` set coverage = "${test_case}_$i : $coverage" echo $coverage | tee -a cct_coverage.rpt echo "------- round $i done ---------" @ i++ end end

 

==================附上get_cover.pl=====================

#!/usr/bin/perl -w open (FH,"<$ARGV[0]")|| die "No Such File, pls check access right!/n"; $line = 1; while (<FH>) { if( $line == 14) { @a=split ' ',$_; print $a[5]; last; } $line=$line+1; } close(FH);

 

================synopsys 提供的 makefile脚本===============

.INGORE: WORKDIR = ../.. RTLFILE = -f $(WORKDIR)/rtl/tp_top.files TBFILE = -f ./test.files ################################################################# ## normal ################################################################# go: gen comp run golden compare gen: ralgen -l sv -t tpRegSys ../../tb/ral/tpReg.ralf mv ral_tpRegSys.sv ../../tb/ral/ comp: vcs +v2k -Mupdate -V / +systemverilogext+.sv -debug_all / -ntb_opts rvm / +notimingcheck / -l vcs.log / $(RTLFILE) $(TBFILE) run: simv +notimingcheck -l simv.log golden: vcs -sverilog ../../tb/env/compare.sv -o simv_compare cd c_model; ../../../c_model_altc/verify/tp/source/tp_verifier_x86 -d tsc cd ./c_model/reference; make -i compare: simv_compare -l compare.log clean: rm -fr simv* *.vpd csrc DVEfiles *.key vcs* *.log urg* *.hex *.bin cct* cd c_model; rm -fr *.hex *.log *.ts *.txt log* cd c_model/reference; make clean ################################################################# ## coverage ################################################################# cov: comp_cov run_cov comp_cov: vcs +v2k -Mupdate -V / -lca / +systemverilogext+.sv -debug_all / -cm line+fsm+tgl+cond+branch -cm_dir ../../cov/coverage.cm / -ntb_opts rvm / +notimingcheck / -l vcs.log / $(RTLFILE) $(TBFILE) vcs -sverilog ../../tb/env/compare.sv -o simv_compare run_cov: for((i=0;i<20;i++));/ do make clean_cov;/ simv +notimingcheck +ntb_random_seed_automatic -cm line+fsm+tgl+cond+branch -cm_dir ../../cov/coverage.cm -cm_name rand_psi_8pid_$$i -l simv_$$i.log;/ make golden_cov;/ simv_compare -l compare_$$i.log;/ done golden_cov: cd c_model; ../../../c_model_altc/verify/tp/source/tp_verifier_x86 -d tsc cd ./c_model/reference; make -i clean_cov: cd c_model;rm -fr *.hex *.log *.ts *.txt log* cd c_model/reference; make clean ################################################################# ## CCT ################################################################# cct: comp_cct run_cct comp_cct: vcs +v2k -Mupdate -V / -lca / -ntb_opts cct / +systemverilogext+.sv -debug_all / -cm line+fsm+tgl+cond+branch -cm_dir ./cov/coverage.cm / -ntb_opts rvm / +notimingcheck / -l vcs.log / $(RTLFILE) $(TBFILE) run_cct: simv -cm line+fsm+tgl+cond+branch / -cm_dir ./cov/coverage.cm / -cm_name cct_0 / -cct_enable / -l simv.log bias: urg -dir ./cov/coverage.vdb / -group cct_gen_bias 1 run1: simv -cm line+fsm+tgl+cond+branch / -cct_enable / -cm_dir ./cov/coverage.cm / -cm_name cct_1 / -cct_bias_file=./cctBiasConfigs/config0 / -l simv.log run5: for((i=0;i<100;i++));/ do simv -cm line+fsm+tgl+cond+branch -cm_dir ./cov/coverage.cm -cm_name cct_$$i -cct_bias_file=./cctBiasConfigs/config0 -l simv_$$i.log;/ make bias;/ done urg: urg -dir simv.vdb

 

 

you can use following URG option to specify your own path to store the CCT bias file:

Original:

     urg -dir ./cov/coverage.vdb /

     -group cct_gen_bias 1

 

Change to:

     urg -dir ./cov/coverage.vdb /

     -group cct_gen_bias 1 -cct gen_bias_dir ./myBias

 

Where “./myBias” is the user-defined path to store the bias file.