def F_process_first_buffer_test(dut):
"""Test data after processing the first message buffer"""
log = SimLog("cocotb.%s" % dut._name)
cocotb.fork(Clock(dut.clk_i, 10000).start())
mockObject = Sha1Model()
yield reset(dut)
#yield load_data(dut, log, mockObject, 16)
#mockObject.processInput()
#mockObject.displayAll()
yield load_data(dut, log, mockObject, 16)
mockObject.processInput()
mockObject.processBuffer()
yield load_data(dut, log, mockObject, 65)
yield load_data(dut, log, mockObject, 85)
mockOut = "{:08x}".format(mockObject.H0)
compare1 = convert_hex(dut.pbuffer1.test_word_4.value).rjust(8, '0')
if compare1 != mockOut:
raise TestFailure(
"First buffer incorrect: {0} != {1}".format(compare1, mockOut))
else:
log.info("First buffer ok!")
def E_process_second_input_round_test(dut):
"""Test input processing with 32 word input"""
log = SimLog("cocotb.%s" % dut._name)
cocotb.fork(Clock(dut.clk_i, 10000).start())
mockObject = Sha1Model()
yield reset(dut)
#yield load_data(dut, log, mockObject, 16)
#mockObject.processInput()
#mockObject.displayAll()
yield load_data(dut, log, mockObject, 16)
mockObject.processInput()
yield load_data(dut, log, mockObject, 66)
mockOut = "{:08x}".format(mockObject.W[16])
compare1 = convert_hex(dut.pinput1.test_word_1.value).rjust(8, '0')
compare2 = convert_hex(dut.pinput1.test_word_5.value).rjust(8, '0')
if compare1 != mockOut:
raise TestFailure(
"First load incorrect: {0} != {1}".format(compare1, mockOut))
elif compare2 != "{:08x}".format(mockObject.W[79]):
raise TestFailure(
"First load incorrect: {0} != {1}".format(compare2, "{:08x}".format(mockObject.W[79])))
else:
log.info("First load ok!")
def G_process_second_buffer_test(dut):
"""Test data after processing the second message buffer"""
log = SimLog("cocotb.%s" % dut._name)
cocotb.fork(Clock(dut.clk_i, 10000).start())
mockObject1 = Sha1Model()
mockObject2 = Sha1Model()
yield reset(dut)
yield load_data(dut, log, mockObject1, 16)
mockObject1.processInput()
mockObject1.processBuffer()
yield load_data(dut, log, mockObject2, 16)
mockObject2.processInput()
mockObject2.processBuffer()
yield load_data(None, log, mockObject1, 85)
yield load_data(None, log, mockObject2, 85)
yield load_data(dut, log, None, 85)
mock1 = "{:08x}".format(mockObject1.H0)
compare1 = convert_hex(dut.pbuffer1.test_word_4.value).rjust(8, '0')
mock2 = "{:08x}".format(mockObject2.H0)
compare2 = convert_hex(dut.pbuffer2.test_word_4.value).rjust(8, '0')
if compare1 != mock1:
raise TestFailure(
"Second buffer1 incorrect: {0} != {1}".format(compare1, mock1))
elif compare2 != mock2:
raise TestFailure(
"Second buffer2 incorrect: {0} != {1}".format(compare2, mock2))
else:
log.info("Second buffer ok!")
def H_continuous_buffer_test(dut):
"""Loop message buffer several times"""
log = SimLog("cocotb.%s" % dut._name)
cocotb.fork(Clock(dut.clk_i, 10000).start())
yield reset(dut)
iterations = 30
mockW = [0] * iterations
compareW = [0] * iterations
for i in xrange(iterations):
mockObject = Sha1Model()
#
yield load_data(dut, log, mockObject, 16)
mockObject.processInput()
mockObject.processBuffer()
#yield load_data(dut, log, mockObject, 73)
#yield load_data(dut, log, None, 85)
mockOut = "{:08x}".format(mockObject.H0)
compare0 = convert_hex(dut.test_sha1_process_buffer0_o.value).rjust(8, '0')
compare1 = convert_hex(dut.test_sha1_process_buffer_o.value).rjust(8, '0')
#print mockOut + " - " + compare0 + " - " + compare1 + " - " + str(dut.w_processed_valid.value)
mockW[i] = mockOut
if i >= 11:
compareW[i - 11] = compare1
#print str(mockW[0:-11]).strip('[]')
#print str(compareW[0:-11]).strip('[]')
if mockW[0:-11] != compareW[0:-11]:
raise TestFailure(
"Continuous buffer incorrect: {0} != {1}".format(str(mockW[0:-11]).strip('[]'), str(compareW[0:-11]).strip('[]')))
else:
log.info("Continuous buffer ok!")
def A_load_data_test(dut):
"""
Test for data properly shifted in
w(0) gets loaded in LAST
"""
log = SimLog("cocotb.%s" % dut._name)
cocotb.fork(Clock(dut.clk_i, 10000).start())
mockObject = Sha1Model()
yield reset(dut)
yield load_data(dut, log, mockObject, 16)
#mockObject.displayAll()
mockOut = "{:08x}".format(mockObject.W[15])
#print convert_hex(dut.dat_1_o) + " " + convert_hex(dut.dat_2_o) + " " + convert_hex(dut.dat_3_o) + " " + convert_hex(dut.dat_4_o) + " " + convert_hex(dut.dat_5_o)
if convert_hex(dut.test_sha1_load_o).zfill(8) != mockOut:
raise TestFailure(
"Load data is incorrect: {0} != {1}".format(convert_hex(dut.test_sha1_load_o), mockOut))
else:
log.info("Ok!")
def B_reset_test(dut):
"""Testing synchronous reset"""
log = SimLog("cocotb.%s" % dut._name)
cocotb.fork(Clock(dut.clk_i, 10000).start())
mockObject = Sha1Model()
yield reset(dut)
yield RisingEdge(dut.clk_i)
if dut.i.value != 0:
raise TestFailure(
"Reset 1 failed!")
yield load_data(dut, log, mockObject, 18)
if convert_hex(dut.dat_1_o) == '0':
raise TestFailure(
"Data not populated!")
else:
log.info("Testing reset")
yield reset(dut)
yield RisingEdge(dut.clk_i)
if dut.i.value != 0:
raise TestFailure(
"Reset 2 failed!")
else:
log.info("Reset Ok!")
yield load_data(dut, log, mockObject, 19)
mockOut = "{:08x}".format(mockObject.W[15])
if convert_hex(dut.test_sha1_load_o).zfill(8) != mockOut:
raise TestFailure(
"Reload is incorrect: {0} != {1}".format(convert_hex(dut.test_sha1_load_o), mockOut))
else:
log.info("Ok!")
def Z_wavedrom_test(dut):
"""
Generate a JSON wavedrom diagram of a trace
"""
log = SimLog("cocotb.%s" % dut._name)
cocotb.fork(Clock(dut.clk_i, 100).start())
mockObject = Sha1Model()
shaObject = Sha1Driver(dut, None, dut.clk_i)
#yield load_data(dut, log, mockObject, 80)
args = [
dut.rst_i,
dut.dat_i,
dut.i,
dut.i_mux,
# dut.pinput1.i,
# dut.pinput1.load_i,
# dut.pinput1.test_word_1,
# dut.pinput1.test_word_2,
# dut.pinput1.test_word_3,
# dut.pinput1.test_word_4,
# dut.pinput1.test_word_5,
# dut.pinput1.valid_o,
dut.pbuffer1.i,
dut.pbuffer1.rst_i,
dut.pbuffer1.load_i,
dut.pbuffer1.new_i,
dut.pbuffer1.test_word_1,
dut.pbuffer1.test_word_2,
dut.pbuffer1.test_word_3,
dut.pbuffer1.test_word_4,
dut.pbuffer1.test_word_5,
dut.pbuffer1.valid_o,
dut.pbuffer2.i,
dut.pbuffer2.rst_i,
dut.pbuffer2.load_i,
dut.pbuffer2.new_i,
dut.pbuffer2.test_word_1,
dut.pbuffer2.test_word_2,
dut.pbuffer2.test_word_3,
dut.pbuffer2.test_word_4,
dut.pbuffer2.test_word_5,
dut.pbuffer2.valid_o,
dut.pbuffer3.i,
dut.pbuffer3.rst_i,
dut.pbuffer3.load_i,
dut.pbuffer3.new_i,
dut.pbuffer3.test_word_1,
dut.pbuffer3.test_word_2,
dut.pbuffer3.test_word_3,
dut.pbuffer3.test_word_4,
dut.pbuffer3.test_word_5,
dut.pbuffer3.valid_o
]
with cocotb.wavedrom.trace(*args, clk=dut.clk_i) as waves:
yield RisingEdge(dut.clk_i)
yield reset(dut)
yield load_data(dut, log, mockObject, 16)
mockObject.processInput()
mockObject.processBuffer()
if _debug == True:
log.info(convert_hex(dut.pbuffer1.test_word_3).zfill(8))
yield load_data(dut, log, mockObject, 60)
if _debug == True:
log.info(convert_hex(dut.pbuffer1.test_word_3).zfill(8))
#log.info("{:08x}".format(mockObject.W[78]))
#log.info("{:08x}".format(mockObject.W[79]))
#log.info("{:08x}".format(mockObject.W[16 - 14]))
#log.info("{:08x}".format(mockObject.W[16 - 16]))
#log.info("{:08x}".format(mockObject.W[16]))
yield load_data(dut, log, mockObject, 90)
if _debug == True:
log.info(convert_hex(dut.pbuffer1.test_word_3).zfill(8))
log.info(convert_hex(dut.pbuffer1.test_word_4).zfill(8))
#log.info(dut.pinput1.test_word_1.value.hex())
#log.info(dut.pinput1.test_word_2.value.hex())
#log.info(dut.pinput1.test_word_3.value.hex())
#log.info(dut.pinput1.test_word_4.value.hex())
#log.info(dut.pinput1.test_word_5.value.hex())
#log.info(dut.pinput1.test_word_5)
#log.info(waves.dumpj(header = {'text':'D_wavedrom_test', 'tick':-2}, config = {'hscale':3}))
waves.write('wavedrom.json', header = {'text':'D_wavedrom_test', 'tick':-1}, config = {'hscale':5})