320 lines
10 KiB
Python
320 lines
10 KiB
Python
from pyutils import *
|
||
|
||
|
||
def tc1():
|
||
genPkt = GenPkt()
|
||
|
||
gen_file_def = "sync_tc01"
|
||
sm_idx = 0
|
||
tc_des = "发送错误的数据包,导致设备出问题,出问题的设备在没有恢复的情况下,采取直通状态。\\n" \
|
||
+ "清除中断后,错误消失,出问题的设备恢复正常。"
|
||
|
||
#-------------------------------------------------------------------------
|
||
#>>>>>>同步数据包
|
||
genPkt.clean()
|
||
genPkt.setPktType(0)
|
||
|
||
#subPkt参数:索引、索引类型、地址、命令、长度、数据
|
||
genPkt.addSubPkt(0x0, 0, 0x0, 0xc, 12, b'\0'*12)
|
||
|
||
|
||
genPkt.addBeforeExc(genTcStartFrameCode(gen_file_def, tc_des)
|
||
+genEnableInsertTimeCode(0xa))
|
||
|
||
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()
|
||
+genTcEndFrameCode(gen_file_def)) #+genDisableInsertTimeCode())
|
||
|
||
|
||
genPkt.gen("./generated/shin/%s.vh"%(gen_file_def, ), 1)
|
||
return gen_file_def
|
||
|
||
|
||
def tc2():
|
||
genPkt = GenPkt()
|
||
|
||
gen_file_def = "sync_tc02"
|
||
sm_idx = 0
|
||
tc_des = "发送错误的数据包,导致设备出问题,出问题的设备在没有恢复的情况下,采取直通状态。\\n" \
|
||
+ "清除中断后,错误消失,出问题的设备恢复正常。"
|
||
|
||
#-------------------------------------------------------------------------
|
||
#>>>>>>设置同步信号的数据包,在波形中确认定时的有效性
|
||
genPkt.clean()
|
||
genPkt.setPktType(0)
|
||
|
||
genPkt.addBeforeExc(
|
||
'''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'h2000;\n\n''')
|
||
|
||
#subPkt参数:索引、索引类型、地址、命令、长度、数据
|
||
data = [0,] * 100 #bytearray(b"\0" * 100)
|
||
data[0] = 0xff #地址0x120
|
||
data[2] = 0xa
|
||
data[4] = 0xa
|
||
data[6] = 0xa
|
||
data[8] = 0xa
|
||
|
||
data[16] = '''(_temp_time & 8'hff)''' #地址0x130, sync同步点
|
||
data[17] = '''(_temp_time >> 8) & 8'hff''' #地址0x131
|
||
data[18] = '''(_temp_time >> 16) & 8'hff'''
|
||
data[19] = '''(_temp_time >> 24) & 8'hff'''
|
||
|
||
data[24] = 0x00 #地址0x138, sync周期 4B
|
||
data[25] = 0x10 #地址0x139
|
||
|
||
data[28] = 0x81 #sync1偏移
|
||
data[29] = 0x0
|
||
|
||
data[36] = 0x20#sync3偏移
|
||
data[37] = 0x00
|
||
|
||
genPkt.addSubPkt(0, 0, 0x120, 0xe, 0x28, data)
|
||
|
||
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)
|
||
+"\n#1000000\n"
|
||
+genTcEndFrameCode(gen_file_def)
|
||
)
|
||
|
||
|
||
genPkt.gen("./generated/shin/%s.vh"%(gen_file_def, ), 1)
|
||
return gen_file_def
|
||
|
||
|
||
|
||
def tc3():
|
||
genPkt = GenPkt()
|
||
|
||
gen_file_def = "sync_tc03"
|
||
sm_idx = 0
|
||
tc_des = "发送错误的数据包,导致设备出问题,出问题的设备在没有恢复的情况下,采取直通状态。\\n" \
|
||
+ "清除中断后,错误消失,出问题的设备恢复正常。"
|
||
|
||
#-------------------------------------------------------------------------
|
||
#>>>>>>设置同步信号的数据包2
|
||
genPkt.clean()
|
||
genPkt.setPktType(0)
|
||
|
||
sm_idx = 3
|
||
|
||
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''')
|
||
|
||
#subPkt参数:索引、索引类型、地址、命令、长度、数据
|
||
data = [0,] * 100 #bytearray(b"\0" * 100)
|
||
data[0] = 0x0f #地址0x120
|
||
data[2] = 0xa
|
||
data[4] = 0xa
|
||
data[6] = 0xa
|
||
data[8] = 0xa
|
||
|
||
data[16] = '''(_temp_time & 8'hff)''' #地址0x130, sync同步点
|
||
data[17] = '''(_temp_time >> 8) & 8'hff''' #地址0x131
|
||
data[18] = '''(_temp_time >> 16) & 8'hff'''
|
||
data[19] = '''(_temp_time >> 24) & 8'hff'''
|
||
|
||
data[24] = 0x80 #地址0x138, sync周期 4B
|
||
data[25] = 0x00 #地址0x139
|
||
|
||
data[28] = 0x0 #sync1偏移
|
||
data[29] = 0x0
|
||
|
||
data[36] = 0x0#sync3偏移
|
||
data[37] = 0x0
|
||
|
||
genPkt.addSubPkt(0, 0, 0x120, 0xe, 0x28, data)
|
||
|
||
data = [0,] * 100 #bytearray(b"\0" * 100)
|
||
data[0] = 0x0f #地址0x120
|
||
data[2] = 0xa
|
||
data[4] = 0xa
|
||
data[6] = 0xa
|
||
data[8] = 0xa
|
||
|
||
data[16] = '''(_temp_time & 8'hff)''' #地址0x130, sync同步点
|
||
data[17] = '''(_temp_time >> 8) & 8'hff''' #地址0x131
|
||
data[18] = '''(_temp_time >> 16) & 8'hff'''
|
||
data[19] = '''(_temp_time >> 24) & 8'hff'''
|
||
|
||
data[24] = 0x00 #地址0x138, sync周期 4B
|
||
data[25] = 0x01 #地址0x139
|
||
|
||
data[28] = 0x0 #sync1偏移
|
||
data[29] = 0x0
|
||
|
||
data[36] = 0x0 #sync3偏移
|
||
data[37] = 0x0
|
||
|
||
genPkt.addSubPkt(3, 0, 0x120, 0x1, 0x28, data)
|
||
|
||
data = [0,] * 100 #bytearray(b"\0" * 100)
|
||
data[0] = 0x0f #地址0x120
|
||
data[2] = 0xa
|
||
data[4] = 0xa
|
||
data[6] = 0xa
|
||
data[8] = 0xa
|
||
|
||
data[16] = '''(_temp_time & 8'hff)''' #地址0x130, sync同步点
|
||
data[17] = '''(_temp_time >> 8) & 8'hff''' #地址0x131
|
||
data[18] = '''(_temp_time >> 16) & 8'hff'''
|
||
data[19] = '''(_temp_time >> 24) & 8'hff'''
|
||
|
||
data[24] = 0x00 #地址0x138, sync周期 4B
|
||
data[25] = 0x02 #地址0x139
|
||
|
||
data[28] = 0x0 #sync1偏移
|
||
data[29] = 0x0
|
||
|
||
data[36] = 0x0 #sync3偏移
|
||
data[37] = 0x0
|
||
|
||
genPkt.addSubPkt(4, 0, 0x120, 0x1, 0x28, data)
|
||
|
||
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)
|
||
+genTcEndFrameCode(gen_file_def))
|
||
|
||
genPkt.gen("./generated/shin/%s.vh"%(gen_file_def,), 1)
|
||
return gen_file_def
|
||
|
||
|
||
|
||
def tc4():
|
||
genPkt = GenPkt()
|
||
|
||
gen_file_def = "sync_tc04"
|
||
sm_idx = 0
|
||
tc_des = "发送错误的数据包,导致设备出问题,出问题的设备在没有恢复的情况下,采取直通状态。\\n" \
|
||
+ "清除中断后,错误消失,出问题的设备恢复正常。"
|
||
|
||
#-------------------------------------------------------------------------
|
||
#>>>>>>设置同步信号的数据包3
|
||
genPkt.clean()
|
||
genPkt.setPktType(0)
|
||
sm_idx = 3
|
||
|
||
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''')
|
||
|
||
#subPkt参数:索引、索引类型、地址、命令、长度、数据
|
||
data = [0,] * 100 #bytearray(b"\0" * 100)
|
||
data[0] = 0x0f #地址0x120
|
||
data[2] = 0xa
|
||
data[4] = 0xa
|
||
data[6] = 0xa
|
||
data[8] = 0xa
|
||
|
||
data[16] = '''(_temp_time & 8'hff)''' #地址0x130, sync同步点
|
||
data[17] = '''(_temp_time >> 8) & 8'hff''' #地址0x131
|
||
data[18] = '''(_temp_time >> 16) & 8'hff'''
|
||
data[19] = '''(_temp_time >> 24) & 8'hff'''
|
||
|
||
data[24] = 0x80 #地址0x138, sync周期 4B
|
||
data[25] = 0x00 #地址0x139
|
||
|
||
data[28] = 0x0 #sync1偏移
|
||
data[29] = 0x0
|
||
|
||
data[36] = 0x0#sync3偏移
|
||
data[37] = 0x0
|
||
|
||
genPkt.addSubPkt(0, 0, 0x120, 0xe, 0x28, data)
|
||
|
||
data = [0,] * 100 #bytearray(b"\0" * 100)
|
||
data[0] = 0x0f #地址0x120
|
||
data[2] = 0xa
|
||
data[4] = 0xa
|
||
data[6] = 0xa
|
||
data[8] = 0xa
|
||
|
||
data[16] = '''(_temp_time & 8'hff)''' #地址0x130, sync同步点
|
||
data[17] = '''(_temp_time >> 8) & 8'hff''' #地址0x131
|
||
data[18] = '''(_temp_time >> 16) & 8'hff'''
|
||
data[19] = '''(_temp_time >> 24) & 8'hff'''
|
||
|
||
data[24] = 0x00 #地址0x138, sync周期 4B
|
||
data[25] = 0x01 #地址0x139
|
||
|
||
data[28] = 0x0 #sync1偏移
|
||
data[29] = 0x0
|
||
|
||
data[36] = 0x0 #sync3偏移
|
||
data[37] = 0x0
|
||
|
||
genPkt.addSubPkt(3, 0, 0x120, 0x1, 0x28, data)
|
||
|
||
data = [0,] * 100 #bytearray(b"\0" * 100)
|
||
data[0] = 0x0f #地址0x120
|
||
data[2] = 0xa
|
||
data[4] = 0xa
|
||
data[6] = 0xa
|
||
data[8] = 0xa
|
||
|
||
data[16] = '''(_temp_time & 8'hff)''' #地址0x130, sync同步点
|
||
data[17] = '''(_temp_time >> 8) & 8'hff''' #地址0x131
|
||
data[18] = '''(_temp_time >> 16) & 8'hff'''
|
||
data[19] = '''(_temp_time >> 24) & 8'hff'''
|
||
|
||
data[24] = 0x00 #地址0x138, sync周期 4B
|
||
data[25] = 0x02 #地址0x139
|
||
|
||
data[28] = 0x0 #sync1偏移
|
||
data[29] = 0x0
|
||
|
||
data[36] = 0x0 #sync3偏移
|
||
data[37] = 0x0
|
||
|
||
genPkt.addSubPkt(4, 0, 0x120, 0x1, 0x28, data)
|
||
|
||
data = [0,] * 100 #bytearray(b"\0" * 100)
|
||
data[0] = 0x0f #地址0x120
|
||
data[2] = 0xa
|
||
data[4] = 0xa
|
||
data[6] = 0xa
|
||
data[8] = 0xa
|
||
|
||
data[16] = '''(_temp_time & 8'hff)''' #地址0x130, sync同步点
|
||
data[17] = '''(_temp_time >> 8) & 8'hff''' #地址0x131
|
||
data[18] = '''(_temp_time >> 16) & 8'hff'''
|
||
data[19] = '''(_temp_time >> 24) & 8'hff'''
|
||
|
||
data[24] = 0x00 #地址0x138, sync周期 4B
|
||
data[25] = 0x04 #地址0x139genPkt.addBeforeExc(
|
||
|
||
data[28] = 0x0 #sync1偏移
|
||
data[29] = 0x0
|
||
|
||
data[36] = 0x0 #sync3偏移
|
||
data[37] = 0x0
|
||
|
||
genPkt.addSubPkt(2, 0, 0x120, 0x1, 0x28, data)
|
||
|
||
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)
|
||
+genTcEndFrameCode(gen_file_def))
|
||
|
||
genPkt.gen("./generated/shin/%s.vh"%(gen_file_def,), 1)
|
||
return gen_file_def
|