from pyutils import * ''' 看门狗0超时逻辑: 1. 看门狗0从系统发送下行包时,触发工作; 2. 系统上行时,停止看门狗工作并复位看门狗计数器;若发生超时,报超时状态,复位继续工作,此时有上行包,不予响应; 3. 看门狗不使能,则对应的看门狗停止工作,也不会报相关的状态位与中断; 4. 写对应的看门狗状态寄存器,对应看门狗被复位;需要重新触发才能工作。 SM0/2/4/6与SM1/3/5/7超时逻辑: 1. 看门狗从读写第一个字节被触发计时工作;第二次读写第一个字节,不影响看门狗工作; 2. 读写最后一个字节,停止看门狗工作并复位看门狗计数器;若发生超时,报超时状态,复位继续工作,此时系统读到最后一个字节,不予响应。 3. 看门狗不使能,则对应的看门狗停止工作,也不会报相关的状态位与中断; 4. 写对应的看门狗状态寄存器,对应看门狗被复位;需要重新触发才能工作。 看门狗17超时逻辑: 1. 看门狗17从系统发送第一个下行包时,触发工作; 2. 系统发送第二个下行包时,停止看门狗工作并复位看门狗计数器;若发生超时,报超时状态,复位继续工作; 3. 看门狗不使能,则对应的看门狗停止工作,也不会报相关的状态位与中断; 4. 写对应的看门狗状态寄存器,对应看门狗被复位;需要重新触发才能工作。 复位继续工作,指看门狗需要重新被触发开始计数直至超时或者复位。写看门狗状态,无论超时没超时,对应bit为1,则对应看门狗被复位。 ''' def watchdog_test_sm_lvds_wr_timeout(tc_id, wd_id): genPkt = GenPkt() gen_file_def = "watchdog_tc%02d"%(tc_id, ) sm_idx = 0 slave_sm_id = int((wd_id - 1) / 2) tc_des = (f"使能看门狗{wd_id},监视SM{slave_sm_id},写数据到SM中,只写一半,看Watchdog是否超时。\\n" "清除中断后,错误消失,出问题的设备恢复正常。" ) #-------------------------------------------------------------------------- #>>>>>> 测试用例1 看门狗测试 genPkt.clean() genPkt.setPktType(0) data = 1 << wd_id ##使能看门狗 data0 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] data = 0x002000 ##看门狗的超时值 data1 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] data = 0xffffffff ##清除中断 data2 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] data = 0x80000010 data3 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] genPkt.addBeforeExc(genTcStartFrameCode(gen_file_def, tc_des) + genIFRwDataCode(0, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(1, 0x070, True, 4, data3) + genIFRwDataCode(1, 0x404, True, 4, data0) + genIFRwDataCode(1, 0x40C + (wd_id - 1) * 4, True, 4, data1) + genIFRwDataCode(1, 0x078, True, 4, data2) + genIFRwDataCode(2, 0x078, True, 4, data2) + genIFRwDataCode(3, 0x078, True, 4, data2) + genIFRwDataCode(4, 0x078, True, 4, data2) + genIFRwDataCode(1, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(0, 0x074, False, 0x04) + genIFRwDataCode(1, 0x074, False, 0x04) + genIFRwDataCode(2, 0x074, False, 0x04) + genIFRwDataCode(3, 0x074, False, 0x04) + genIFRwDataCode(4, 0x074, False, 0x04) + genIFRwDataCode(1, 0x400, False, 0x04)) #genPkt.addBeforeExc( genIFRwDataCode(1, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff])) data = [0,] * 2 data[0] = 0x80 data[1] = 0x00 genPkt.addSubPkt(0x0, 0, 0x302 + slave_sm_id * 4, 0xe, 2, data) data = [0,] * 0x50 #subPkt参数:索引、索引类型、地址、命令、长度、数据 sm_addr = slave_sm_id * 0x800 + 0x800 genPkt.addSubPkt(1, 0, sm_addr, 0x1, 0x50, data) 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) +genMessageCode("--检查中断寄存器") +genIFRwDataCode(0, 0x074, False, 0x04) +genIFRwDataCode(1, 0x074, False, 0x04) +genIFRwDataCode(2, 0x074, False, 0x04) +genIFRwDataCode(3, 0x074, False, 0x04) +genIFRwDataCode(4, 0x074, False, 0x04) +genMessageCode("--延时后检查看门狗寄存器") +"#700000\n" +genIFRwDataCode(1, 0x400, False, 0x04) +genIFRwDataCode(1, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(1, 0x400, False, 0x04) +genMessageCode("--复位数据缓冲区") +genIFRwDataCode(1, 0x300 + slave_sm_id * 4, True, 1, [0, ]) +genMessageCode("--延时后检查看门狗寄存器") +"#2000000\n" +genIFRwDataCode(1, 0x400, False, 0x04) +genTcEndFrameCode(gen_file_def)) genPkt.gen("./generated/shin/%s.vh"%(gen_file_def, ), 1) return gen_file_def def watchdog_test_sm_lvds_wr_no_timeout(tc_id, wd_id): genPkt = GenPkt() gen_file_def = "watchdog_tc%02d"%(tc_id, ) sm_idx = 0 slave_sm_id = int((wd_id - 1) / 2) tc_des = (f"使能看门狗{wd_id},监视SM{slave_sm_id},写数据到SM中,正常写,看Watchdog是否超时。\\n" "整个过程中,没有看门狗中断产生。" ) #-------------------------------------------------------------------------- #>>>>>> 测试用例1 看门狗测试 genPkt.clean() genPkt.setPktType(0) data = 1 << wd_id ##使能看门狗 data0 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] data = 0x002000 ##看门狗的超时值 data1 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] data = 0xffffffff ##清除中断 data2 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] data = 0x80000010 data3 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] genPkt.addBeforeExc(genTcStartFrameCode(gen_file_def, tc_des) + genIFRwDataCode(0, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(1, 0x070, True, 4, data3) + genIFRwDataCode(1, 0x404, True, 4, data0) + genIFRwDataCode(1, 0x40C + (wd_id - 1) * 4, True, 4, data1) + genIFRwDataCode(1, 0x078, True, 4, data2) + genIFRwDataCode(2, 0x078, True, 4, data2) + genIFRwDataCode(3, 0x078, True, 4, data2) + genIFRwDataCode(4, 0x078, True, 4, data2) + genIFRwDataCode(1, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(0, 0x074, False, 0x04) + genIFRwDataCode(1, 0x074, False, 0x04) + genIFRwDataCode(2, 0x074, False, 0x04) + genIFRwDataCode(3, 0x074, False, 0x04) + genIFRwDataCode(4, 0x074, False, 0x04) + genIFRwDataCode(1, 0x400, False, 0x04)) #genPkt.addBeforeExc( genIFRwDataCode(1, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff])) data = [0,] * 2 data[0] = 0x80 data[1] = 0x00 genPkt.addSubPkt(0x0, 0, 0x302 + slave_sm_id * 4, 0xe, 2, data) data = [0,] * 0x80 #subPkt参数:索引、索引类型、地址、命令、长度、数据 sm_addr = slave_sm_id * 0x800 + 0x800 genPkt.addSubPkt(1, 0, sm_addr, 0x1, 0x80, data) 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) +genMessageCode("--检查中断寄存器") +genIFRwDataCode(0, 0x074, False, 0x04) +genIFRwDataCode(1, 0x074, False, 0x04) +genIFRwDataCode(2, 0x074, False, 0x04) +genIFRwDataCode(3, 0x074, False, 0x04) +genIFRwDataCode(4, 0x074, False, 0x04) +genMessageCode("--延时后检查看门狗寄存器") +"#700000\n" +genIFRwDataCode(1, 0x400, False, 0x04) +genIFRwDataCode(1, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(1, 0x400, False, 0x04) +genMessageCode("--复位数据缓冲区") +genIFRwDataCode(1, 0x300 + slave_sm_id * 4, True, 1, [0, ]) +genMessageCode("--延时后检查看门狗寄存器") +"#2000000\n" +genIFRwDataCode(1, 0x400, False, 0x04) +genTcEndFrameCode(gen_file_def)) genPkt.gen("./generated/shin/%s.vh"%(gen_file_def, ), 1) return gen_file_def def watchdog_test_sm_if_rd_timeout(tc_id, wd_id): genPkt = GenPkt() gen_file_def = "watchdog_tc%02d"%(tc_id, ) sm_idx = 0 slave_sm_id = int((wd_id - 1) / 2) tc_des = (f"使能看门狗{wd_id},监视SM{slave_sm_id},写数据到SM中,只读一半,看Watchdog是否超时。\\n" "清除中断后,错误消失,出问题的设备恢复正常。" ) #-------------------------------------------------------------------------- #>>>>>> 测试用例1 看门狗测试 genPkt.clean() genPkt.setPktType(0) data = 1 << wd_id ##使能看门狗 data0 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] data = 0x002000 ##看门狗的超时值 data1 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] data = 0x80000010 data3 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] genPkt.addBeforeExc(genTcStartFrameCode(gen_file_def, tc_des) + genIFRwDataCode(1, 0x404, True, 4, data0) + genIFRwDataCode(1, 0x40C + (wd_id - 1) * 4, True, 4, data1) + genIFRwDataCode(0, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(1, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(2, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(3, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(4, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(1, 0x070, True, 4, data3) + genIFRwDataCode(1, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(0, 0x074, False, 0x04) + genIFRwDataCode(1, 0x074, False, 0x04) + genIFRwDataCode(2, 0x074, False, 0x04) + genIFRwDataCode(3, 0x074, False, 0x04) + genIFRwDataCode(4, 0x074, False, 0x04) + genIFRwDataCode(1, 0x400, False, 0x04) ) #genPkt.addBeforeExc( genIFRwDataCode(1, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff])) data = [0,] * 2 data[0] = 0x10 data[1] = 0x00 genPkt.addSubPkt(0x0, 0, 0x302 + slave_sm_id * 4, 0xe, 2, data) data = list(range(0x10)) #subPkt参数:索引、索引类型、地址、命令、长度、数据 sm_addr = slave_sm_id * 0x800 + 0x800 genPkt.addSubPkt(1, 0, sm_addr, 0x1, 0x10, data) 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) +genMessageCode("--检查中断寄存器") +genIFRwDataCode(0, 0x074, False, 0x04) +genIFRwDataCode(1, 0x074, False, 0x04) +genIFRwDataCode(2, 0x074, False, 0x04) +genIFRwDataCode(3, 0x074, False, 0x04) +genIFRwDataCode(4, 0x074, False, 0x04) +genMessageCode("--读缓冲区") +genIFRwDataCode(1, 0x800 + slave_sm_id * 0x800, False, 8) +genMessageCode("--延时后检查看门狗寄存器") +"#2000000\n" +genIFRwDataCode(1, 0x400, False, 0x04) +genIFRwDataCode(1, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(1, 0x400, False, 0x04) +genMessageCode("--复位数据缓冲区") +genIFRwDataCode(1, 0x300 + slave_sm_id * 4, True, 1, [0, ]) +genMessageCode("--延时后检查看门狗寄存器") +"#2000000\n" +genIFRwDataCode(1, 0x400, False, 0x04) +genIFRwDataCode(1, 0x074, False, 0x04) +genTcEndFrameCode(gen_file_def)) genPkt.gen("./generated/shin/%s.vh"%(gen_file_def, ), 1) return gen_file_def def watchdog_test_sm_if_rd_no_timeout(tc_id, wd_id): genPkt = GenPkt() gen_file_def = "watchdog_tc%02d"%(tc_id, ) sm_idx = 0 slave_sm_id = int((wd_id - 1) / 2) tc_des = (f"使能看门狗{wd_id},监视SM{slave_sm_id},写数据到SM中,正常读,看Watchdog是否超时。\\n" "看门狗正常工作,不需要额外的操作。" ) #-------------------------------------------------------------------------- #>>>>>> 测试用例1 看门狗测试 genPkt.clean() genPkt.setPktType(0) data = 1 << wd_id ##使能看门狗 data0 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] data = 0x002000 ##看门狗的超时值 data1 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] data = 0x80000010 data3 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] genPkt.addBeforeExc(genTcStartFrameCode(gen_file_def, tc_des) + genIFRwDataCode(1, 0x404, True, 4, data0) + genIFRwDataCode(1, 0x40C + (wd_id - 1) * 4, True, 4, data1) + genIFRwDataCode(0, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(1, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(2, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(3, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(4, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(1, 0x070, True, 4, data3) + genIFRwDataCode(1, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(0, 0x074, False, 0x04) + genIFRwDataCode(1, 0x074, False, 0x04) + genIFRwDataCode(2, 0x074, False, 0x04) + genIFRwDataCode(3, 0x074, False, 0x04) + genIFRwDataCode(4, 0x074, False, 0x04) + genIFRwDataCode(1, 0x400, False, 0x04) ) #genPkt.addBeforeExc( genIFRwDataCode(1, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff])) data = [0,] * 2 data[0] = 0x10 data[1] = 0x00 genPkt.addSubPkt(0x0, 0, 0x302 + slave_sm_id * 4, 0xe, 2, data) data = list(range(0x10)) #subPkt参数:索引、索引类型、地址、命令、长度、数据 sm_addr = slave_sm_id * 0x800 + 0x800 genPkt.addSubPkt(1, 0, sm_addr, 0x1, 0x10, data) 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) +genMessageCode("--检查中断寄存器") +genIFRwDataCode(0, 0x074, False, 0x04) +genIFRwDataCode(1, 0x074, False, 0x04) +genIFRwDataCode(2, 0x074, False, 0x04) +genIFRwDataCode(3, 0x074, False, 0x04) +genIFRwDataCode(4, 0x074, False, 0x04) +genMessageCode("--读缓冲区") +genIFRwDataCode(1, 0x800 + slave_sm_id * 0x800, False, 0x10) +genMessageCode("--延时后检查看门狗寄存器") +"#2000000\n" +genIFRwDataCode(1, 0x400, False, 0x04) +genIFRwDataCode(1, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(1, 0x400, False, 0x04) +genMessageCode("--复位数据缓冲区") +genIFRwDataCode(1, 0x300 + slave_sm_id * 4, True, 1, [0, ]) +genMessageCode("--延时后检查看门狗寄存器") +"#2000000\n" +genIFRwDataCode(1, 0x400, False, 0x04) +genIFRwDataCode(1, 0x074, False, 0x04) +genTcEndFrameCode(gen_file_def)) genPkt.gen("./generated/shin/%s.vh"%(gen_file_def, ), 1) return gen_file_def def watchdog_test_sm_if_wr_timeout(tc_id, wd_id): genPkt = GenPkt() gen_file_def = "watchdog_tc%02d"%(tc_id, ) sm_idx = 0 slave_sm_id = int((wd_id - 1) / 2) tc_des = (f"使能看门狗{wd_id},监视SM{slave_sm_id},写数据到SM中,只写一半,看Watchdog是否超时。\\n" "清除中断后,错误消失,出问题的设备恢复正常。" ) #-------------------------------------------------------------------------- #>>>>>> 测试用例1 看门狗测试 genPkt.clean() genPkt.setPktType(0) data = 1 << wd_id ##使能看门狗 data0 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] data = 0x002000 ##看门狗的超时值 data1 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] data = 0xffffffff ##清除中断 data2 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] data = 0x80000010 data3 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] genPkt.addBeforeExc(genTcStartFrameCode(gen_file_def, tc_des) + genIFRwDataCode(0, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) #+ genSlvSMWriteData(1, slave_sm_id, 16, list(range(16, 0, -1))) + genIFRwDataCode(1, 0x302 + slave_sm_id * 4, True, 2, [16, 0]) + genIFRwDataCode(1, 0x404, True, 4, data0) + genIFRwDataCode(1, 0x40C + (wd_id - 1) * 4, True, 4, data1) + genIFRwDataCode(1, 0x078, True, 4, data2) + genIFRwDataCode(2, 0x078, True, 4, data2) + genIFRwDataCode(3, 0x078, True, 4, data2) + genIFRwDataCode(4, 0x078, True, 4, data2) + genIFRwDataCode(1, 0x070, True, 4, data3) + genIFRwDataCode(1, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(0, 0x074, False, 0x04) + genIFRwDataCode(1, 0x074, False, 0x04) + genIFRwDataCode(2, 0x074, False, 0x04) + genIFRwDataCode(3, 0x074, False, 0x04) + genIFRwDataCode(4, 0x074, False, 0x04) + genIFRwDataCode(1, 0x400, False, 0x04) + genIFRwDataCode(1, slave_sm_id * 0x800 + 0x800, True, 0x08, list(range(0x08)))) #genPkt.addBeforeExc( genIFRwDataCode(1, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff])) #data = [0,] * 0x20 #subPkt参数:索引、索引类型、地址、命令、长度、数据 #sm_addr = slave_sm_id * 0x1000 #+ 0x800 #genPkt.addSubPkt(1, 0, sm_addr, 0x0, 0x08, data) 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) genMessageCode("--检查中断寄存器") +genIFRwDataCode(0, 0x074, False, 0x04) +genIFRwDataCode(1, 0x074, False, 0x04) +genIFRwDataCode(2, 0x074, False, 0x04) +genIFRwDataCode(3, 0x074, False, 0x04) +genIFRwDataCode(4, 0x074, False, 0x04) +genMessageCode("--延时后检查看门狗寄存器") +"#4000000\n" +genIFRwDataCode(1, 0x400, False, 0x04) +genIFRwDataCode(1, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(1, 0x400, False, 0x04) +genMessageCode("--复位数据缓冲区") +genIFRwDataCode(1, 0x300 + slave_sm_id * 4, True, 1, [0, ]) +genMessageCode("--延时后检查看门狗寄存器") +"#4000000\n" +genIFRwDataCode(1, 0x400, False, 0x04) +genTcEndFrameCode(gen_file_def)) genPkt.gen("./generated/shin/%s.vh"%(gen_file_def, ), 1) return gen_file_def def watchdog_test_sm_if_wr_no_timeout(tc_id, wd_id): genPkt = GenPkt() gen_file_def = "watchdog_tc%02d"%(tc_id, ) sm_idx = 0 slave_sm_id = int((wd_id - 1) / 2) tc_des = (f"使能看门狗{wd_id},监视SM{slave_sm_id},写数据到SM中,写全部,看Watchdog是否超时。\\n" "清除中断后,错误消失,出问题的设备恢复正常。" ) #-------------------------------------------------------------------------- #>>>>>> 测试用例1 看门狗测试 genPkt.clean() genPkt.setPktType(0) data = 1 << wd_id ##使能看门狗 data0 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] data = 0x002000 ##看门狗的超时值 data1 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] data = 0xffffffff ##清除中断 data2 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] data = 0x80000010 data3 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] genPkt.addBeforeExc(genTcStartFrameCode(gen_file_def, tc_des) + genIFRwDataCode(0, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) #+ genSlvSMWriteData(1, slave_sm_id, 16, list(range(16, 0, -1))) + genIFRwDataCode(1, 0x302 + slave_sm_id * 4, True, 2, [16, 0]) + genIFRwDataCode(1, 0x404, True, 4, data0) + genIFRwDataCode(1, 0x40C + (wd_id - 1) * 4, True, 4, data1) + genIFRwDataCode(1, 0x078, True, 4, data2) + genIFRwDataCode(2, 0x078, True, 4, data2) + genIFRwDataCode(3, 0x078, True, 4, data2) + genIFRwDataCode(4, 0x078, True, 4, data2) + genIFRwDataCode(1, 0x070, True, 4, data3) + genIFRwDataCode(1, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(0, 0x074, False, 0x04) + genIFRwDataCode(1, 0x074, False, 0x04) + genIFRwDataCode(2, 0x074, False, 0x04) + genIFRwDataCode(3, 0x074, False, 0x04) + genIFRwDataCode(4, 0x074, False, 0x04) + genIFRwDataCode(1, 0x400, False, 0x04) + genIFRwDataCode(1, slave_sm_id * 0x800 + 0x800, True, 0x10, list(range(0x10)))) #genPkt.addBeforeExc( genIFRwDataCode(1, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff])) #data = [0,] * 0x20 #subPkt参数:索引、索引类型、地址、命令、长度、数据 #sm_addr = slave_sm_id * 0x1000 #+ 0x800 #genPkt.addSubPkt(1, 0, sm_addr, 0x0, 0x08, data) 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) genMessageCode("--检查中断寄存器") +genIFRwDataCode(0, 0x074, False, 0x04) +genIFRwDataCode(1, 0x074, False, 0x04) +genIFRwDataCode(2, 0x074, False, 0x04) +genIFRwDataCode(3, 0x074, False, 0x04) +genIFRwDataCode(4, 0x074, False, 0x04) +genMessageCode("--延时后检查看门狗寄存器") +"#4000000\n" +genIFRwDataCode(1, 0x400, False, 0x04) +genIFRwDataCode(1, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(1, 0x400, False, 0x04) +genMessageCode("--复位数据缓冲区") +genIFRwDataCode(1, 0x300 + slave_sm_id * 4, True, 1, [0, ]) +genMessageCode("--延时后检查看门狗寄存器") +"#4000000\n" +genIFRwDataCode(1, 0x400, False, 0x04) +genTcEndFrameCode(gen_file_def)) genPkt.gen("./generated/shin/%s.vh"%(gen_file_def, ), 1) return gen_file_def def watchdog_test_sm_lvds_rd_timeout(tc_id, wd_id): genPkt = GenPkt() gen_file_def = "watchdog_tc%02d"%(tc_id, ) sm_idx = 0 slave_sm_id = int((wd_id - 1) / 2) tc_des = (f"使能看门狗{wd_id},监视SM{slave_sm_id},写数据到SM中,只读一半,看Watchdog是否超时。\\n" "清除中断后,错误消失,出问题的设备恢复正常。" ) #-------------------------------------------------------------------------- #>>>>>> 测试用例1 看门狗测试 genPkt.clean() genPkt.setPktType(0) data = 1 << wd_id ##使能看门狗 data0 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] data = 0x002000 ##看门狗的超时值 data1 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] data = 0xffffffff ##清除中断 data2 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] data = 0x80000010 data3 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] genPkt.addBeforeExc(genTcStartFrameCode(gen_file_def, tc_des) + genIFRwDataCode(0, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) + genSlvSMWriteData(1, slave_sm_id, 16, list(range(16, 0, -1))) + genIFRwDataCode(1, 0x404, True, 4, data0) + genIFRwDataCode(1, 0x40C + (wd_id - 1)* 4, True, 4, data1) + genIFRwDataCode(1, 0x078, True, 4, data2) + genIFRwDataCode(2, 0x078, True, 4, data2) + genIFRwDataCode(3, 0x078, True, 4, data2) + genIFRwDataCode(4, 0x078, True, 4, data2) + genIFRwDataCode(1, 0x070, True, 4, data3) + genIFRwDataCode(1, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(0, 0x074, False, 0x04) + genIFRwDataCode(1, 0x074, False, 0x04) + genIFRwDataCode(2, 0x074, False, 0x04) + genIFRwDataCode(3, 0x074, False, 0x04) + genIFRwDataCode(4, 0x074, False, 0x04) + genIFRwDataCode(1, 0x400, False, 0x04)) #genPkt.addBeforeExc( genIFRwDataCode(1, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff])) data = [0,] * 0x20 #subPkt参数:索引、索引类型、地址、命令、长度、数据 sm_addr = slave_sm_id * 0x800 + 0x800 genPkt.addSubPkt(1, 0, sm_addr, 0x0, 0x08, data) 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) +genMessageCode("--检查中断寄存器") +genIFRwDataCode(0, 0x074, False, 0x04) +genIFRwDataCode(1, 0x074, False, 0x04) +genIFRwDataCode(2, 0x074, False, 0x04) +genIFRwDataCode(3, 0x074, False, 0x04) +genIFRwDataCode(4, 0x074, False, 0x04) +genMessageCode("--延时后检查看门狗寄存器") +"#2000000\n" +genIFRwDataCode(1, 0x400, False, 0x04) +genIFRwDataCode(1, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(1, 0x400, False, 0x04) +genMessageCode("--复位数据缓冲区") +genIFRwDataCode(1, 0x300 + slave_sm_id * 4, True, 1, [0, ]) +genMessageCode("--延时后检查看门狗寄存器") +"#2000000\n" +genIFRwDataCode(1, 0x400, False, 0x04) +genTcEndFrameCode(gen_file_def)) genPkt.gen("./generated/shin/%s.vh"%(gen_file_def, ), 1) return gen_file_def def watchdog_test_sm_lvds_rd_no_timeout(tc_id, wd_id): genPkt = GenPkt() gen_file_def = "watchdog_tc%02d"%(tc_id, ) sm_idx = 0 slave_sm_id = int((wd_id - 1) / 2) tc_des = (f"使能看门狗{wd_id},监视SM{slave_sm_id},写数据到SM中,全部读取,看Watchdog是否超时。\\n" "清除中断后,错误消失,出问题的设备恢复正常。" ) #-------------------------------------------------------------------------- #>>>>>> 测试用例1 看门狗测试 genPkt.clean() genPkt.setPktType(0) data = 1 << wd_id ##使能看门狗 data0 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] data = 0x002000 ##看门狗的超时值 data1 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] data = 0xffffffff ##清除中断 data2 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] data = 0x80000010 data3 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] genPkt.addBeforeExc(genTcStartFrameCode(gen_file_def, tc_des) + genIFRwDataCode(0, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) + genSlvSMWriteData(1, slave_sm_id, 16, list(range(16, 0, -1))) + genIFRwDataCode(1, 0x404, True, 4, data0) + genIFRwDataCode(1, 0x40C + (wd_id - 1) * 4, True, 4, data1) + genIFRwDataCode(1, 0x078, True, 4, data2) + genIFRwDataCode(2, 0x078, True, 4, data2) + genIFRwDataCode(3, 0x078, True, 4, data2) + genIFRwDataCode(4, 0x078, True, 4, data2) + genIFRwDataCode(1, 0x070, True, 4, data3) + genIFRwDataCode(1, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(0, 0x074, False, 0x04) + genIFRwDataCode(1, 0x074, False, 0x04) + genIFRwDataCode(2, 0x074, False, 0x04) + genIFRwDataCode(3, 0x074, False, 0x04) + genIFRwDataCode(4, 0x074, False, 0x04) + genIFRwDataCode(1, 0x400, False, 0x04)) #genPkt.addBeforeExc( genIFRwDataCode(1, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff])) data = [0,] * 0x20 #subPkt参数:索引、索引类型、地址、命令、长度、数据 sm_addr = slave_sm_id * 0x800 + 0x800 genPkt.addSubPkt(1, 0, sm_addr, 0x0, 0x10, data) 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) +genMessageCode("--检查中断寄存器") +genIFRwDataCode(0, 0x074, False, 0x04) +genIFRwDataCode(1, 0x074, False, 0x04) +genIFRwDataCode(2, 0x074, False, 0x04) +genIFRwDataCode(3, 0x074, False, 0x04) +genIFRwDataCode(4, 0x074, False, 0x04) +genMessageCode("--延时后检查看门狗寄存器") +"#2000000\n" +genIFRwDataCode(1, 0x400, False, 0x04) +genIFRwDataCode(1, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(1, 0x400, False, 0x04) +genMessageCode("--复位数据缓冲区") +genIFRwDataCode(1, 0x300 + slave_sm_id * 4, True, 1, [0, ]) +genMessageCode("--延时后检查看门狗寄存器") +"#2000000\n" +genIFRwDataCode(1, 0x400, False, 0x04) +genTcEndFrameCode(gen_file_def)) genPkt.gen("./generated/shin/%s.vh"%(gen_file_def, ), 1) return gen_file_def def main_station_trans(tc_id, delay_time): genPkt = GenPkt() gen_file_def = "watchdog_tc%02d"%(tc_id, ) sm_idx = 0 tc_des = (f"使能主站的看门狗0,看通讯的超时Watchdog是否超时。\\n" "清除中断后,错误消失,出问题的设备恢复正常。" ) #---------------------------------------------------------------------------------- genPkt.clean() genPkt.setPktType(0) data = 0x80000010 data3 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] genPkt.addBeforeExc(genTcStartFrameCode(gen_file_def, tc_des) + genIFRwDataCode(0, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(0, 0x070, True, 4, data3) ) data = [0, ] * 0x10 genPkt.addSubPkt(0, 0, 0x0, 0xd, 0x10, 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) +genMessageCode("--读取中断") +genIFRwDataCode(0, 0x74, False, 4) +genIFRwDataCode(1, 0x74, False, 4) +genIFRwDataCode(2, 0x74, False, 4) +genIFRwDataCode(3, 0x74, False, 4) +genIFRwDataCode(4, 0x74, False, 4) +genMessageCode("--清除中断") +genIFRwDataCode(0, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(1, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(2, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(3, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(4, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genMessageCode("--读取中断") +genIFRwDataCode(0, 0x74, False, 4) +genIFRwDataCode(1, 0x74, False, 4) +genIFRwDataCode(2, 0x74, False, 4) +genIFRwDataCode(3, 0x74, False, 4) +genIFRwDataCode(4, 0x74, False, 4) ) genPkt.gen("./generated/shin/%s.vh"%(gen_file_def,), 1) #---------------------------------------------------------------------------------- genPkt.clean() genPkt.setPktType(0) data = 1 ##使能看门狗 data0 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] data = delay_time ##看门狗的超时值 data1 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] genPkt.addBeforeExc(#genTcStartFrameCode(gen_file_def, tc_des) genIFRwDataCode(0, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(0, 0x404, True, 4, data0) + genIFRwDataCode(0, 0x110, False, 4) #+ '''_temp_time = rxBuf[`ARRAY_IDX_OFF] + (rxBuf[`ARRAY_IDX_OFF+1] << 8) + (rxBuf[`ARRAY_IDX_OFF+2] << 16) + (rxBuf[`ARRAY_IDX_OFF+3] << 24);\n''' #+ '''_temp_time = _temp_time + 32'h100;\n''' #+ '''txBuf[`ARRAY_IDX_OFF+0] = (_temp_time & 8'hff);\n''' #+ '''txBuf[`ARRAY_IDX_OFF+1] = ( (_temp_time >> 8) & 8'hff);\n''' #+ '''txBuf[`ARRAY_IDX_OFF+2] = ((_temp_time >> 16) & 8'hff);\n''' #+ '''txBuf[`ARRAY_IDX_OFF+3] = ((_temp_time >> 24) & 8'hff);\n''' #+ '''spi_trans( (16'h0408), (`SPI_WRITE), (4), (`IF_IDX(0)));\n\n''' + genIFRwDataCode(0, 0x408, True, 4, data1) + genIFRwDataCode(0, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(0, 0x400, False, 0x04)) #genPkt.addBeforeExc( genIFRwDataCode(1, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff])) data = [0,] * 0x20 #subPkt参数:索引、索引类型、地址、命令、长度、数据 genPkt.addSubPkt(1, 0, 0x0, 0xd, 0x10, data) sm_idx = 0 gen_file_def_ap = gen_file_def + "_ap01" genPkt.addAfterExc(genWriteTransLenCode(gen_file_def_ap, sm_idx) +genWriteTransPktCode(gen_file_def_ap, sm_idx) +genTrgTransPktCode(gen_file_def_ap, sm_idx) +genReadAckPktCode(gen_file_def_ap, sm_idx) +genMessageCode("--检查中断寄存器") +genIFRwDataCode(0, 0x074, False, 0x04) +genIFRwDataCode(1, 0x074, False, 0x04) +genIFRwDataCode(2, 0x074, False, 0x04) +genIFRwDataCode(3, 0x074, False, 0x04) +genIFRwDataCode(4, 0x074, False, 0x04) +genMessageCode("--清除中断") +genIFRwDataCode(0, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(1, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(2, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(3, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(4, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genMessageCode("--延时后检查看门狗寄存器") +"#200000\n" +genIFRwDataCode(0, 0x400, False, 0x04) +genIFRwDataCode(0, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(0, 0x400, False, 0x04) +genMessageCode("--延时后检查看门狗寄存器") +"#200000\n" +genIFRwDataCode(0, 0x400, False, 0x04) #+genTcEndFrameCode(gen_file_def) ) genPkt.gen("./generated/shin/%s.vh"%(gen_file_def, ), 1, True, gen_file_def_ap) #---------------------------------------------------------------------------------- genPkt.clean() genPkt.setPktType(0) data = 1 ##使能看门狗 data0 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] genPkt.addBeforeExc(#genTcStartFrameCode(gen_file_def, tc_des) genIFRwDataCode(0, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) #+ genIFRwDataCode(0, 0x404, True, 4, data0) #+ genIFRwDataCode(0, 0x110, False, 4) #+ '''_temp_time = rxBuf[`ARRAY_IDX_OFF] + (rxBuf[`ARRAY_IDX_OFF+1] << 8) + (rxBuf[`ARRAY_IDX_OFF+2] << 16) + (rxBuf[`ARRAY_IDX_OFF+3] << 24);\n''' #+ '''_temp_time = _temp_time + 32'h100;\n''' #+ '''txBuf[`ARRAY_IDX_OFF+0] = (_temp_time & 8'hff);\n''' #+ '''txBuf[`ARRAY_IDX_OFF+1] = ( (_temp_time >> 8) & 8'hff);\n''' #+ '''txBuf[`ARRAY_IDX_OFF+2] = ((_temp_time >> 16) & 8'hff);\n''' #+ '''txBuf[`ARRAY_IDX_OFF+3] = ((_temp_time >> 24) & 8'hff);\n''' #+ '''spi_trans( (16'h0408), (`SPI_WRITE), (4), (`IF_IDX(0)));\n\n''' #+ genIFRwDataCode(0, 0x408, True, 4, data1) + genIFRwDataCode(0, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(0, 0x400, False, 0x04)) #genPkt.addBeforeExc( genIFRwDataCode(1, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff])) data = [0,] * 0x40 #subPkt参数:索引、索引类型、地址、命令、长度、数据 genPkt.addSubPkt(1, 0, 0x0, 0xd, 0x40, data) sm_idx = 0 gen_file_def_ap = gen_file_def + "_ap02" genPkt.addAfterExc(genWriteTransLenCode(gen_file_def_ap, sm_idx) +genWriteTransPktCode(gen_file_def_ap, sm_idx) +genTrgTransPktCode(gen_file_def_ap, sm_idx) +genReadAckPktCode(gen_file_def_ap, sm_idx) +genMessageCode("--检查中断寄存器") +genIFRwDataCode(0, 0x074, False, 0x04) +genIFRwDataCode(1, 0x074, False, 0x04) +genIFRwDataCode(2, 0x074, False, 0x04) +genIFRwDataCode(3, 0x074, False, 0x04) +genIFRwDataCode(4, 0x074, False, 0x04) +genMessageCode("--延时后检查看门狗寄存器") +"#2000000\n" +genIFRwDataCode(0, 0x400, False, 0x04) +genIFRwDataCode(0, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(0, 0x400, False, 0x04) +genMessageCode("--延时后检查看门狗寄存器") +"#2000000\n" +genIFRwDataCode(0, 0x400, False, 0x04) ) #+genTcEndFrameCode(gen_file_def)) genPkt.gen("./generated/shin/%s.vh"%(gen_file_def, ), 1, True, gen_file_def_ap) #---------------------------------------------------------------------------------- genPkt.clean() genPkt.setPktType(1) #data = 1 ##使能看门狗 #data0 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] genPkt.addBeforeExc(#genTcStartFrameCode(gen_file_def, tc_des) genIFRwDataCode(0, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) #+ genIFRwDataCode(0, 0x404, True, 4, data0) #+ genIFRwDataCode(0, 0x110, False, 4) #+ '''_temp_time = rxBuf[`ARRAY_IDX_OFF] + (rxBuf[`ARRAY_IDX_OFF+1] << 8) + (rxBuf[`ARRAY_IDX_OFF+2] << 16) + (rxBuf[`ARRAY_IDX_OFF+3] << 24);\n''' #+ '''_temp_time = _temp_time + 32'h100;\n''' #+ '''txBuf[`ARRAY_IDX_OFF+0] = (_temp_time & 8'hff);\n''' #+ '''txBuf[`ARRAY_IDX_OFF+1] = ( (_temp_time >> 8) & 8'hff);\n''' #+ '''txBuf[`ARRAY_IDX_OFF+2] = ((_temp_time >> 16) & 8'hff);\n''' #+ '''txBuf[`ARRAY_IDX_OFF+3] = ((_temp_time >> 24) & 8'hff);\n''' #+ '''spi_trans( (16'h0408), (`SPI_WRITE), (4), (`IF_IDX(0)));\n\n''' #+ genIFRwDataCode(0, 0x408, True, 4, data1) + genIFRwDataCode(0, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(0, 0x400, False, 0x04)) #genPkt.addBeforeExc( genIFRwDataCode(1, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff])) #data = [0,] * 0x40 #subPkt参数:索引、索引类型、地址、命令、长度、数据 #genPkt.addSubPkt(1, 0, 0x0, 0xd, 0x40, data) sm_idx = 0 gen_file_def_ap = gen_file_def + "_ap03" genPkt.addAfterExc(genWriteTransLenCode(gen_file_def_ap, sm_idx) +genWriteTransPktCode(gen_file_def_ap, sm_idx) +genTrgTransPktCode(gen_file_def_ap, sm_idx) +genReadAckPktCode(gen_file_def_ap, sm_idx) +genMessageCode("--检查中断寄存器") +genIFRwDataCode(0, 0x074, False, 0x04) +genIFRwDataCode(1, 0x074, False, 0x04) +genIFRwDataCode(2, 0x074, False, 0x04) +genIFRwDataCode(3, 0x074, False, 0x04) +genIFRwDataCode(4, 0x074, False, 0x04) +genMessageCode("--延时后检查看门狗寄存器") +"#2000000\n" +genIFRwDataCode(0, 0x400, False, 0x04) +genIFRwDataCode(0, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(0, 0x400, False, 0x04) +genMessageCode("--延时后检查看门狗寄存器") +"#2000000\n" +genIFRwDataCode(0, 0x400, False, 0x04) +genTcEndFrameCode(gen_file_def)) genPkt.gen("./generated/shin/%s.vh"%(gen_file_def, ), 1, True, gen_file_def_ap) return gen_file_def def tc1(): return watchdog_test_sm_lvds_wr_timeout(1, 1) def tc2(): return watchdog_test_sm_if_rd_timeout(2, 2) def tc3(): return watchdog_test_sm_lvds_wr_no_timeout(3, 1) def tc4(): return watchdog_test_sm_if_rd_no_timeout(4, 2) def tc5(): return watchdog_test_sm_if_wr_timeout(5, 3) def tc6(): return watchdog_test_sm_lvds_rd_timeout(6, 4) def tc7(): return watchdog_test_sm_if_wr_no_timeout(7, 3) def tc8(): return watchdog_test_sm_lvds_rd_no_timeout(8, 4) def tc9(): return watchdog_test_sm_lvds_wr_timeout(9, 5) def tc10(): return watchdog_test_sm_if_rd_timeout(10, 6) def tc11(): return watchdog_test_sm_lvds_wr_no_timeout(11, 5) def tc12(): return watchdog_test_sm_if_rd_no_timeout(12, 6) def tc13(): return watchdog_test_sm_if_wr_timeout(13, 7) def tc14(): return watchdog_test_sm_lvds_rd_timeout(14, 8) def tc15(): return watchdog_test_sm_if_wr_no_timeout(15, 7) def tc16(): return watchdog_test_sm_lvds_rd_no_timeout(16, 8) def tc17(): return watchdog_test_sm_lvds_wr_timeout(17, 9) def tc18(): return watchdog_test_sm_if_rd_timeout(18, 10) def tc19(): return watchdog_test_sm_lvds_wr_no_timeout(19, 9) def tc20(): return watchdog_test_sm_if_rd_no_timeout(20, 10) def tc21(): return watchdog_test_sm_if_wr_timeout(21, 11) def tc22(): return watchdog_test_sm_lvds_rd_timeout(22, 12) def tc23(): return watchdog_test_sm_if_wr_no_timeout(23, 11) def tc24(): return watchdog_test_sm_lvds_rd_no_timeout(24, 12) def tc25(): return watchdog_test_sm_lvds_wr_timeout(25, 13) def tc26(): return watchdog_test_sm_if_rd_timeout(26, 14) def tc27(): return watchdog_test_sm_lvds_wr_no_timeout(27, 13) def tc28(): return watchdog_test_sm_if_rd_no_timeout(28, 14) def tc29(): return watchdog_test_sm_if_wr_timeout(29, 15) def tc30(): return watchdog_test_sm_lvds_rd_timeout(30, 16) def tc31(): return watchdog_test_sm_if_wr_no_timeout(31, 15) def tc32(): return watchdog_test_sm_lvds_rd_no_timeout(32, 16) ''' 嗅探包主站的 发开始到接收始,嗅探包长度(4B Preamble)+(4B Head) + (2B Data) + (4B Crc) = 14B,大约140个clk 如果主站的downOut, upIn出现:发送、接收交叠的情况,则Watchdog0会被触发,持续时间9clk 正常的包,最小的包长度为:(4B Preamble)+(4B Head) + (8B SubHead) + (4B Crc) = 20B downOut,upIn 交叠时之间会被反复触发。 ''' def tc33(): return main_station_trans(33, 650) def tc34(): return main_station_trans(34, 500) def slave_station_trans(tc_id, delay_time): genPkt = GenPkt() gen_file_def = "watchdog_tc%02d"%(tc_id, ) sm_idx = 0 tc_des = (f"使能从站的看门狗0,看通讯的超时Watchdog是否超时。\\n" "清除中断后,错误消失,出问题的设备恢复正常。" ) #---------------------------------------------------------------------------------- genPkt.clean() genPkt.setPktType(0) data = 0x80000010 data3 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] genPkt.addBeforeExc(genTcStartFrameCode(gen_file_def, tc_des) + genIFRwDataCode(0, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(1, 0x070, True, 4, data3) ) data = [0, ] * 0x10 genPkt.addSubPkt(0, 0, 0x0, 0xd, 0x10, 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) +genMessageCode("--读取中断") +genIFRwDataCode(0, 0x74, False, 4) +genIFRwDataCode(1, 0x74, False, 4) +genIFRwDataCode(2, 0x74, False, 4) +genIFRwDataCode(3, 0x74, False, 4) +genIFRwDataCode(4, 0x74, False, 4) +genMessageCode("--清除中断") +genIFRwDataCode(0, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(1, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(2, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(3, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(4, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genMessageCode("--读取中断") +genIFRwDataCode(0, 0x74, False, 4) +genIFRwDataCode(1, 0x74, False, 4) +genIFRwDataCode(2, 0x74, False, 4) +genIFRwDataCode(3, 0x74, False, 4) +genIFRwDataCode(4, 0x74, False, 4) ) genPkt.gen("./generated/shin/%s.vh"%(gen_file_def,), 1) #---------------------------------------------------------------------------------- genPkt.clean() genPkt.setPktType(0) data = 1 ##使能看门狗 data0 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] data = delay_time ##看门狗的超时值 data1 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] genPkt.addBeforeExc(#genTcStartFrameCode(gen_file_def, tc_des) genIFRwDataCode(0, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(1, 0x404, True, 4, data0) #+ genIFRwDataCode(1, 0x110, False, 4) #+ '''_temp_time = rxBuf[`ARRAY_IDX_OFF] + (rxBuf[`ARRAY_IDX_OFF+1] << 8) + (rxBuf[`ARRAY_IDX_OFF+2] << 16) + (rxBuf[`ARRAY_IDX_OFF+3] << 24);\n''' #+ '''_temp_time = _temp_time + 32'h100;\n''' #+ '''txBuf[`ARRAY_IDX_OFF+0] = (_temp_time & 8'hff);\n''' #+ '''txBuf[`ARRAY_IDX_OFF+1] = ( (_temp_time >> 8) & 8'hff);\n''' #+ '''txBuf[`ARRAY_IDX_OFF+2] = ((_temp_time >> 16) & 8'hff);\n''' #+ '''txBuf[`ARRAY_IDX_OFF+3] = ((_temp_time >> 24) & 8'hff);\n''' #+ '''spi_trans( (16'h0408), (`SPI_WRITE), (4), (`IF_IDX(0)));\n\n''' + genIFRwDataCode(1, 0x408, True, 4, data1) + genIFRwDataCode(1, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(1, 0x400, False, 0x04)) #genPkt.addBeforeExc( genIFRwDataCode(1, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff])) data = [0,] * 0x20 #subPkt参数:索引、索引类型、地址、命令、长度、数据 genPkt.addSubPkt(1, 0, 0x0, 0xd, 0x10, data) sm_idx = 0 gen_file_def_ap = gen_file_def + "_ap01" genPkt.addAfterExc(genWriteTransLenCode(gen_file_def_ap, sm_idx) +genWriteTransPktCode(gen_file_def_ap, sm_idx) +genTrgTransPktCode(gen_file_def_ap, sm_idx) +genReadAckPktCode(gen_file_def_ap, sm_idx) +genMessageCode("--检查中断寄存器") +genIFRwDataCode(0, 0x074, False, 0x04) +genIFRwDataCode(1, 0x074, False, 0x04) +genIFRwDataCode(2, 0x074, False, 0x04) +genIFRwDataCode(3, 0x074, False, 0x04) +genIFRwDataCode(4, 0x074, False, 0x04) +genMessageCode("--清除中断") +genIFRwDataCode(0, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(1, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(2, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(3, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(4, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genMessageCode("--延时后检查看门狗寄存器") +"#200000\n" +genIFRwDataCode(1, 0x400, False, 0x04) +genIFRwDataCode(1, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(1, 0x400, False, 0x04) +genMessageCode("--延时后检查看门狗寄存器") +"#200000\n" +genIFRwDataCode(1, 0x400, False, 0x04) #+genTcEndFrameCode(gen_file_def) ) genPkt.gen("./generated/shin/%s.vh"%(gen_file_def, ), 1, True, gen_file_def_ap) #---------------------------------------------------------------------------------- genPkt.clean() genPkt.setPktType(0) #data = 1 ##使能看门狗 #data0 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] #data = 960 ##看门狗的超时值 #data1 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] genPkt.addBeforeExc(#genTcStartFrameCode(gen_file_def, tc_des) genIFRwDataCode(0, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) #+ genIFRwDataCode(0, 0x404, True, 4, data0) #+ genIFRwDataCode(0, 0x110, False, 4) #+ '''_temp_time = rxBuf[`ARRAY_IDX_OFF] + (rxBuf[`ARRAY_IDX_OFF+1] << 8) + (rxBuf[`ARRAY_IDX_OFF+2] << 16) + (rxBuf[`ARRAY_IDX_OFF+3] << 24);\n''' #+ '''_temp_time = _temp_time + 32'h100;\n''' #+ '''txBuf[`ARRAY_IDX_OFF+0] = (_temp_time & 8'hff);\n''' #+ '''txBuf[`ARRAY_IDX_OFF+1] = ( (_temp_time >> 8) & 8'hff);\n''' #+ '''txBuf[`ARRAY_IDX_OFF+2] = ((_temp_time >> 16) & 8'hff);\n''' #+ '''txBuf[`ARRAY_IDX_OFF+3] = ((_temp_time >> 24) & 8'hff);\n''' #+ '''spi_trans( (16'h0408), (`SPI_WRITE), (4), (`IF_IDX(0)));\n\n''' #+ genIFRwDataCode(0, 0x408, True, 4, data1) + genIFRwDataCode(1, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(1, 0x400, False, 0x04)) #genPkt.addBeforeExc( genIFRwDataCode(1, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff])) data = [0,] * 0x20 #subPkt参数:索引、索引类型、地址、命令、长度、数据 genPkt.addSubPkt(1, 0, 0x0, 0xd, 0x20, data) sm_idx = 0 gen_file_def_ap = gen_file_def + "_ap02" genPkt.addAfterExc(genWriteTransLenCode(gen_file_def_ap, sm_idx) +genWriteTransPktCode(gen_file_def_ap, sm_idx) +genTrgTransPktCode(gen_file_def_ap, sm_idx) +genReadAckPktCode(gen_file_def_ap, sm_idx) +genMessageCode("--检查中断寄存器") +genIFRwDataCode(0, 0x074, False, 0x04) +genIFRwDataCode(1, 0x074, False, 0x04) +genIFRwDataCode(2, 0x074, False, 0x04) +genIFRwDataCode(3, 0x074, False, 0x04) +genIFRwDataCode(4, 0x074, False, 0x04) +genMessageCode("--延时后检查看门狗寄存器") +"#200000\n" +genIFRwDataCode(1, 0x400, False, 0x04) +genIFRwDataCode(1, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(1, 0x400, False, 0x04) +genMessageCode("--延时后检查看门狗寄存器") +"#200000\n" +genIFRwDataCode(1, 0x400, False, 0x04) ) #+genTcEndFrameCode(gen_file_def)) genPkt.gen("./generated/shin/%s.vh"%(gen_file_def, ), 1, True, gen_file_def_ap) #---------------------------------------------------------------------------------- genPkt.clean() genPkt.setPktType(1) #data = 1 ##使能看门狗 #data0 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] genPkt.addBeforeExc(#genTcStartFrameCode(gen_file_def, tc_des) genIFRwDataCode(0, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) #+ genIFRwDataCode(0, 0x404, True, 4, data0) #+ genIFRwDataCode(0, 0x110, False, 4) #+ '''_temp_time = rxBuf[`ARRAY_IDX_OFF] + (rxBuf[`ARRAY_IDX_OFF+1] << 8) + (rxBuf[`ARRAY_IDX_OFF+2] << 16) + (rxBuf[`ARRAY_IDX_OFF+3] << 24);\n''' #+ '''_temp_time = _temp_time + 32'h100;\n''' #+ '''txBuf[`ARRAY_IDX_OFF+0] = (_temp_time & 8'hff);\n''' #+ '''txBuf[`ARRAY_IDX_OFF+1] = ( (_temp_time >> 8) & 8'hff);\n''' #+ '''txBuf[`ARRAY_IDX_OFF+2] = ((_temp_time >> 16) & 8'hff);\n''' #+ '''txBuf[`ARRAY_IDX_OFF+3] = ((_temp_time >> 24) & 8'hff);\n''' #+ '''spi_trans( (16'h0408), (`SPI_WRITE), (4), (`IF_IDX(0)));\n\n''' #+ genIFRwDataCode(0, 0x408, True, 4, data1) + genIFRwDataCode(0, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(0, 0x400, False, 0x04)) #genPkt.addBeforeExc( genIFRwDataCode(1, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff])) #data = [0,] * 0x40 #subPkt参数:索引、索引类型、地址、命令、长度、数据 #genPkt.addSubPkt(1, 0, 0x0, 0xd, 0x40, data) sm_idx = 0 gen_file_def_ap = gen_file_def + "_ap03" genPkt.addAfterExc(genWriteTransLenCode(gen_file_def_ap, sm_idx) +genWriteTransPktCode(gen_file_def_ap, sm_idx) +genTrgTransPktCode(gen_file_def_ap, sm_idx) +genReadAckPktCode(gen_file_def_ap, sm_idx) +genMessageCode("--检查中断寄存器") +genIFRwDataCode(0, 0x074, False, 0x04) +genIFRwDataCode(1, 0x074, False, 0x04) +genIFRwDataCode(2, 0x074, False, 0x04) +genIFRwDataCode(3, 0x074, False, 0x04) +genIFRwDataCode(4, 0x074, False, 0x04) +genMessageCode("--延时后检查看门狗寄存器") +"#2000000\n" +genIFRwDataCode(0, 0x400, False, 0x04) +genIFRwDataCode(0, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(0, 0x400, False, 0x04) +genMessageCode("--延时后检查看门狗寄存器") +"#2000000\n" +genIFRwDataCode(0, 0x400, False, 0x04) +genTcEndFrameCode(gen_file_def)) genPkt.gen("./generated/shin/%s.vh"%(gen_file_def, ), 1, True, gen_file_def_ap) return gen_file_def def tc35(): return slave_station_trans(35, 500) def tc36(): return slave_station_trans(36, 300) def tc37(): genPkt = GenPkt() gen_file_def = "watchdog_tc37" sm_idx = 0 tc_des = (f"使能从站的看门狗17,看通讯的超时Watchdog是否超时。\\n" "清除中断后,错误消失,出问题的设备恢复正常。" ) #---------------------------------------------------------------------------------- genPkt.clean() genPkt.setPktType(0) data = 1 << 17 ##使能看门狗 data0 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] data = 15000 ##看门狗的超时值 data1 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] data = 0x80000010 data3 = [data&0xff, (data>>8)&0xff, (data>>16)&0xff, (data>>24)&0xff] genPkt.addBeforeExc(genTcStartFrameCode(gen_file_def, tc_des) + genIFRwDataCode(0, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(0, 0x070, True, 4, data3) + genIFRwDataCode(1, 0x404, True, 4, data0) + genIFRwDataCode(1, 0x44c, True, 4, data1) ) data = [0, ] * 0x10 genPkt.addSubPkt(0, 0, 0x0, 0xd, 0x10, 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) +genMessageCode("--读取中断") +genIFRwDataCode(0, 0x74, False, 4) +genIFRwDataCode(1, 0x74, False, 4) +genIFRwDataCode(2, 0x74, False, 4) +genIFRwDataCode(3, 0x74, False, 4) +genIFRwDataCode(4, 0x74, False, 4) +genMessageCode("--清除中断") +genIFRwDataCode(0, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(1, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(2, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(3, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(4, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genMessageCode("--读取中断") +genIFRwDataCode(0, 0x74, False, 4) +genIFRwDataCode(1, 0x74, False, 4) +genIFRwDataCode(2, 0x74, False, 4) +genIFRwDataCode(3, 0x74, False, 4) +genIFRwDataCode(4, 0x74, False, 4) ) genPkt.gen("./generated/shin/%s.vh"%(gen_file_def,), 1) #---------------------------------------------------------------------------------- genPkt.clean() genPkt.setPktType(0) genPkt.addBeforeExc(#genTcStartFrameCode(gen_file_def, tc_des) genIFRwDataCode(0, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(1, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(1, 0x400, False, 0x04)) #genPkt.addBeforeExc( genIFRwDataCode(1, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff])) data = [0,] * 0x20 #subPkt参数:索引、索引类型、地址、命令、长度、数据 genPkt.addSubPkt(1, 0, 0x0, 0xd, 0x10, data) sm_idx = 0 gen_file_def_ap = gen_file_def + "_ap01" genPkt.addAfterExc(genWriteTransLenCode(gen_file_def_ap, sm_idx) +genWriteTransPktCode(gen_file_def_ap, sm_idx) +genTrgTransPktCode(gen_file_def_ap, sm_idx) +genReadAckPktCode(gen_file_def_ap, sm_idx) +genMessageCode("--检查中断寄存器") +genIFRwDataCode(0, 0x074, False, 0x04) +genIFRwDataCode(1, 0x074, False, 0x04) +genIFRwDataCode(2, 0x074, False, 0x04) +genIFRwDataCode(3, 0x074, False, 0x04) +genIFRwDataCode(4, 0x074, False, 0x04) +genMessageCode("--清除中断") +genIFRwDataCode(0, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(1, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(2, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(3, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(4, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genMessageCode("--延时后检查看门狗寄存器") #+"#200000\n" +genIFRwDataCode(1, 0x400, False, 0x04) +genIFRwDataCode(1, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(1, 0x400, False, 0x04) +genMessageCode("--延时后检查看门狗寄存器") +"#200000\n" +genIFRwDataCode(1, 0x400, False, 0x04) #+genTcEndFrameCode(gen_file_def) ) genPkt.gen("./generated/shin/%s.vh"%(gen_file_def, ), 1, True, gen_file_def_ap) #---------------------------------------------------------------------------------- genPkt.clean() genPkt.setPktType(0) genPkt.addBeforeExc(#genTcStartFrameCode(gen_file_def, tc_des) genIFRwDataCode(0, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(1, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) + genIFRwDataCode(1, 0x400, False, 0x04)) #genPkt.addBeforeExc( genIFRwDataCode(1, 0x078, True, 4, [0xff, 0xff, 0xff, 0xff])) data = [0,] * 0x20 #subPkt参数:索引、索引类型、地址、命令、长度、数据 genPkt.addSubPkt(1, 0, 0x0, 0xd, 0x10, data) sm_idx = 0 gen_file_def_ap = gen_file_def + "_ap02" genPkt.addAfterExc(genWriteTransLenCode(gen_file_def_ap, sm_idx) +genWriteTransPktCode(gen_file_def_ap, sm_idx) +genTrgTransPktCode(gen_file_def_ap, sm_idx) +genReadAckPktCode(gen_file_def_ap, sm_idx) +genMessageCode("--检查中断寄存器") +genIFRwDataCode(0, 0x074, False, 0x04) +genIFRwDataCode(1, 0x074, False, 0x04) +genIFRwDataCode(2, 0x074, False, 0x04) +genIFRwDataCode(3, 0x074, False, 0x04) +genIFRwDataCode(4, 0x074, False, 0x04) +genMessageCode("--清除中断") +genIFRwDataCode(0, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(1, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(2, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(3, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(4, 0x78, True, 4, [0xff, 0xff, 0xff, 0xff]) +genMessageCode("--延时后检查看门狗寄存器") +"#200000\n" +genIFRwDataCode(1, 0x400, False, 0x04) +genIFRwDataCode(1, 0x400, True, 4, [0xff, 0xff, 0xff, 0xff]) +genIFRwDataCode(1, 0x400, False, 0x04) +genMessageCode("--延时后检查看门狗寄存器") +"#2000000\n" +genIFRwDataCode(1, 0x400, False, 0x04) +genTcEndFrameCode(gen_file_def) ) genPkt.gen("./generated/shin/%s.vh"%(gen_file_def, ), 1, True, gen_file_def_ap) return gen_file_def