备份代码,尚未测试,实现全自动化生成verilog测试代码

tb/shinTest/testcase/sync.py

@@ -3,6 +3,12 @@ from pyutils import *
 
 def tc1():
     genPkt = GenPkt()
+
+    gen_file_def = "sync_tc01"
+    sm_idx = 0
+    tc_des = "发送错误的数据包，导致设备出问题，出问题的设备在没有恢复的情况下，采取直通状态。\\n" \
+           + "清除中断后，错误消失，出问题的设备恢复正常。"
+    
     #-------------------------------------------------------------------------
     #>>>>>>同步数据包
     genPkt.clean()
@@ -12,16 +18,17 @@ def tc1():
     genPkt.addSubPkt(0x0, 0, random.randint(0, 65535), 0xc, 12, b'\0'*12)
     
     
-    genPkt.addBeforeExc(genEnableInsertTimeCode(0xa))
+    genPkt.addBeforeExc(genTcStartFrameCode(gen_file_def, tc_des)
+                        +genEnableInsertTimeCode(0xa))
 
-    gen_file_def = "sync_pkt"
     sm_idx = 0
 
     genPkt.addAfterExc(genWriteTransLenCode(gen_file_def, sm_idx)
                        +genWriteTransPktCode(gen_file_def, sm_idx)
                        +genTrgTransPktCode(gen_file_def, sm_idx)
                        +genReadAckPktCode(gen_file_def, sm_idx)
-                       +genCheckInsertTimeCode()) #+genDisableInsertTimeCode())
+                       +genCheckInsertTimeCode()
+                       +genTcEndFrameCode(gen_file_def)) #+genDisableInsertTimeCode())
 
 
     genPkt.gen("./generated/shin/%s.vh"%(gen_file_def, ), 1)
@@ -30,6 +37,12 @@ def tc1():
 
 def tc2():
     genPkt = GenPkt()
+
+    gen_file_def = "sync_tc02"
+    sm_idx = 0
+    tc_des = "发送错误的数据包，导致设备出问题，出问题的设备在没有恢复的情况下，采取直通状态。\\n" \
+           + "清除中断后，错误消失，出问题的设备恢复正常。"
+    
     #-------------------------------------------------------------------------
     #>>>>>>设置同步信号的数据包，在波形中确认定时的有效性
     genPkt.clean()
@@ -64,13 +77,15 @@ def tc2():
     
     genPkt.addSubPkt(random.randint(0, 2048), 0, 0x120, 0xe, 0x28, data)
 
-    gen_file_def = "sync_sig_pkt"
     sm_idx = 0
 
+    genPkt.addBeforeExc(genTcStartFrameCode(gen_file_def, tc_des))
+
     genPkt.addAfterExc(genWriteTransLenCode(gen_file_def, sm_idx)
                        +genWriteTransPktCode(gen_file_def, sm_idx)
                        +genTrgTransPktCode(gen_file_def, sm_idx)
-                       +genReadAckPktCode(gen_file_def, sm_idx))
+                       +genReadAckPktCode(gen_file_def, sm_idx)
+                       +genTcEndFrameCode(gen_file_def))
 
 
     genPkt.gen("./generated/shin/%s.vh"%(gen_file_def, ), 1)
@@ -79,17 +94,22 @@ def tc2():
     
 
 def tc3():
-    genPkt = GenPkt()   
+    genPkt = GenPkt()
+
+    gen_file_def = "sync_tc03"
+    sm_idx = 0
+    tc_des = "发送错误的数据包，导致设备出问题，出问题的设备在没有恢复的情况下，采取直通状态。\\n" \
+           + "清除中断后，错误消失，出问题的设备恢复正常。"
     
     #-------------------------------------------------------------------------
     #>>>>>>设置同步信号的数据包2
     genPkt.clean()
     genPkt.setPktType(0)
-    gen_file_def = "sync_sig2_pkt"
+
     sm_idx = 3
     
-    genPkt.addBeforeExc(
-          '''spi_trans( (16'h0100), (`SPI_READ), (8), (`IF_IDX(0)));\n'''
+    genPkt.addBeforeExc(genTcStartFrameCode(gen_file_def, tc_des)
+        + '''spi_trans( (16'h0100), (`SPI_READ), (8), (`IF_IDX(0)));\n'''
         + '''_temp_time = rxBuf[3] + (rxBuf[4] << 8) + (rxBuf[5] << 16) + (rxBuf[6] << 24) + (rxBuf[7] << 32) + (rxBuf[8] << 40) + (rxBuf[9] << 48) + (rxBuf[10] << 56);\n'''
         + '''_temp_time = _temp_time + 32'h3000;\n\n''')
 
@@ -166,7 +186,8 @@ def tc3():
     genPkt.addAfterExc(genWriteTransLenCode(gen_file_def, sm_idx)
                        +genWriteTransPktCode(gen_file_def, sm_idx)
                        +genTrgTransPktCode(gen_file_def, sm_idx)
-                       +genReadAckPktCode(gen_file_def, sm_idx))
+                       +genReadAckPktCode(gen_file_def, sm_idx)
+                       +genTcEndFrameCode(gen_file_def))
     
     genPkt.gen("./generated/shin/%s.vh"%(gen_file_def,), 1)
     return gen_file_def
@@ -175,15 +196,20 @@ def tc3():
 
 def tc4():
     genPkt = GenPkt()
+
+    gen_file_def = "sync_tc04"
+    sm_idx = 0
+    tc_des = "发送错误的数据包，导致设备出问题，出问题的设备在没有恢复的情况下，采取直通状态。\\n" \
+           + "清除中断后，错误消失，出问题的设备恢复正常。"
+    
     #-------------------------------------------------------------------------
     #>>>>>>设置同步信号的数据包3
     genPkt.clean()
     genPkt.setPktType(0)
-    gen_file_def = "sync_sig3_pkt"
     sm_idx = 3
     
-    genPkt.addBeforeExc(
-          '''spi_trans( (16'h0100), (`SPI_READ), (8), (`IF_IDX(0)));\n'''
+    genPkt.addBeforeExc(genTcStartFrameCode(gen_file_def, tc_des)
+        + '''spi_trans( (16'h0100), (`SPI_READ), (8), (`IF_IDX(0)));\n'''
         + '''_temp_time = rxBuf[3] + (rxBuf[4] << 8) + (rxBuf[5] << 16) + (rxBuf[6] << 24) + (rxBuf[7] << 32) + (rxBuf[8] << 40) + (rxBuf[9] << 48) + (rxBuf[10] << 56);\n'''
         + '''_temp_time = _temp_time + 32'h3000;\n\n''')
 
@@ -283,7 +309,8 @@ def tc4():
     genPkt.addAfterExc(genWriteTransLenCode(gen_file_def, sm_idx)
                        +genWriteTransPktCode(gen_file_def, sm_idx)
                        +genTrgTransPktCode(gen_file_def, sm_idx)
-                       +genReadAckPktCode(gen_file_def, sm_idx))
+                       +genReadAckPktCode(gen_file_def, sm_idx)
+                       +genTcEndFrameCode(gen_file_def))
     
     genPkt.gen("./generated/shin/%s.vh"%(gen_file_def,), 1)
     return gen_file_def