DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 DFS Tapes

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400 DFS Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - download

⟦ec65fca69⟧ EM, TextFile

    Length: 8512 (0x2140)
    Types: EM, TextFile
    Names: »VAL_RFA_TESTS.EM«

Derivation

└─⟦24d56d853⟧ Bits:30000744 8mm tape, Rational 1000, DFS, D_12_6_5 SEQ293
    └─ ⟦this⟧ »VAL_RFA_TESTS.EM« 
└─⟦9031b0687⟧ Bits:30000407 8mm tape, Rational 1000, DFS, D_12_7_3
    └─ ⟦this⟧ »VAL_RFA_TESTS.EM«

TextFile

[write]
[write,Testing,Val,Board,Tile,5,,-,,Val_rf_tests]
[write,,,,,,,,,,,,,,,,,,,,,,,,,,,,&,Val_rf2_tests]
[write,,,,,,,,,,,,,,,,,,,,,,,,,,,,&,Val_rf3_tests]
[write]
[set experiment_result [xeq val test_rf_data_lines]]
[eq,[arg 1,[var experiment_result]],false]
     [FAIL_MESSAGE simple_register_file_data_test]
     [set num_fails [add,[var num_fails],1]]
     [write [ASCII,7]]
     [NAME_MESSAGE test_rf_data_lines][write]
     [else]
     [PASS_MESSAGE simple_register_file_data_test]
[end]
[xeq val init_rf 0add]
[set experiment_result [xeq val test_loop_reg_adr]]
[eq,[arg 1,[var experiment_result]],false]
     [FAIL_MESSAGE reg_file_addressing_(loop_counter_mode)]
     [set num_fails [add,[var num_fails],1]]
     [write [ASCII,7]]
     [NAME_MESSAGE init_rf 0add]
     [NAME_MESSAGE test_loop_reg_adr][write]
     [else]
     [PASS_MESSAGE reg_file_addressing_(loop_counter_mode)]
[end]
[xeq val init_rf 0]
[set experiment_result [xeq val test_rf_locations 0]]
[eq,[arg 1,[var experiment_result]],false]
     [FAIL_MESSAGE register_file_cell_zeroes_test]
     [set num_fails [add,[var num_fails],1]]
     [write [ASCII,7]]
     [NAME_MESSAGE init_rf 0]
     [NAME_MESSAGE test_rf_locations 0][write]
     [else]
     [PASS_MESSAGE register_file_cell_zeroes_test]
[end]
[xeq val init_rf ffffffffffffffff]
[set experiment_result [xeq val test_rf_locations ffffffffffffffff]]
[eq,[arg 1,[var experiment_result]],false]
     [FAIL_MESSAGE register_file_cell_ones_test]
     [set num_fails [add,[var num_fails],1]]
     [write [ASCII,7]]
     [NAME_MESSAGE init_rf ffffffffffffffff]
     [NAME_MESSAGE test_rf_locations ffffffffffffffff][write]
     [else]
     [PASS_MESSAGE register_file_cell_ones_test]
[end]
[xeq val prep_pound_rf]
[set experiment_result [xeq val pound_rf]]
[eq,[arg 1,[var experiment_result]],false]
     [FAIL_MESSAGE tough_reg_file_test]
     [set num_fails [add,[var num_fails],1]]
     [write [ASCII,7]]
     [NAME_MESSAGE prep_pound_rf]
     [NAME_MESSAGE pound_rf][write]
     [else]
     [PASS_MESSAGE tough_reg_file_test]
[end]
[xeq val init_wcs 000A7F87FF]
[xeq val write_frame_registers 0add]
[set experiment_result [xeq val test_frame_reg_adr]]
[eq,[arg 1,[var experiment_result]],false]
     [FAIL_MESSAGE register_file_frame_address_test]
     [set num_fails [add,[var num_fails],1]]
     [write [ASCII,7]]
     [NAME_MESSAGE init_wcs 000A7F87FF]
     [NAME_MESSAGE write_frame_registers 0add]
     [NAME_MESSAGE test_frame_reg_adr][write]
     [else]
     [PASS_MESSAGE register_file_frame_address_test]
[end]
[xeq val init_rf 0]
[set experiment_result [xeq val test_write_gp_adr]]
[eq,[arg 1,[var experiment_result]],false]
     [FAIL_MESSAGE register_file_gp_address_test_1]
     [set num_fails [add,[var num_fails],1]]
     [write [ASCII,7]]
     [NAME_MESSAGE init_rf 0]
     [NAME_MESSAGE test_write_gp_adr][write]
     [else]
     [PASS_MESSAGE register_file_gp_address_test_1]
[end]
[set experiment_result [xeq val test_read_gp_adr]]
[eq,[arg 1,[var experiment_result]],false]
     [FAIL_MESSAGE register_file_gp_address_test_2]
     [set num_fails [add,[var num_fails],1]]
     [write [ASCII,7]]
     [NAME_MESSAGE test_read_gp_adr][write]
     [else]
     [PASS_MESSAGE register_file_gp_address_test_2]
[end]
[xeq val init_rf 0add]
[set experiment_result [xeq val test_rd_csa_top_adr]]
[eq,[arg 1,[var experiment_result]],false]
     [FAIL_MESSAGE reg_file_addressing_(csa_mode)_1]
     [set num_fails [add,[var num_fails],1]]
     [write [ASCII,7]]
     [NAME_MESSAGE init_rf 0add]
     [NAME_MESSAGE test_rd_csa_top_adr][write]
     [else]
     [PASS_MESSAGE reg_file_addressing_(csa_mode)_1]
[end]
[set experiment_result [xeq val test_rd_csa_bot_adr]]
[eq,[arg 1,[var experiment_result]],false]
     [FAIL_MESSAGE reg_file_addressing_(csa_mode)_2]
     [set num_fails [add,[var num_fails],1]]
     [write [ASCII,7]]
     [NAME_MESSAGE init_rf 0add]
     [NAME_MESSAGE test_rd_csa_bot_adr][write]
     [else]
     [PASS_MESSAGE reg_file_addressing_(csa_mode)_2]
[end]
[set experiment_result [xeq val test_rd_csa_offs_adr]]
[eq,[arg 1,[var experiment_result]],false]
     [FAIL_MESSAGE reg_file_addressing_(csa_mode)_3]
     [set num_fails [add,[var num_fails],1]]
     [write [ASCII,7]]
     [NAME_MESSAGE init_rf 0add]
     [NAME_MESSAGE test_rd_csa_offs_adr][write]
     [else]
     [PASS_MESSAGE reg_file_addressing_(csa_mode)_3]
[end]
[set experiment_result [xeq val test_rd_ctop_rel_adr]]
[eq,[arg 1,[var experiment_result]],false]
     [FAIL_MESSAGE reg_file_addressing_(csa_mode)_4]
     [set num_fails [add,[var num_fails],1]]
     [write [ASCII,7]]
     [NAME_MESSAGE init_rf 0add]
     [NAME_MESSAGE test_rd_ctop_rel_adr][write]
     [else]
     [PASS_MESSAGE reg_file_addressing_(csa_mode)_4]
[end]
[set experiment_result [xeq val test_wr_ctop_cbot_adr]]
[eq,[arg 1,[var experiment_result]],false]
     [FAIL_MESSAGE reg_file_addressing_(csa_mode)_5]
     [set num_fails [add,[var num_fails],1]]
     [write [ASCII,7]]
     [NAME_MESSAGE init_rf 0add]
     [NAME_MESSAGE test_wr_ctop_cbot_adr][write]
     [else]
     [PASS_MESSAGE reg_file_addressing_(csa_mode)_5]
[end]
[set experiment_result [xeq val test_wr_ctop_rel_adr]]
[eq,[arg 1,[var experiment_result]],false]
     [FAIL_MESSAGE reg_file_addressing_(csa_mode)_6]
     [set num_fails [add,[var num_fails],1]]
     [write [ASCII,7]]
     [NAME_MESSAGE init_rf 0add]
     [NAME_MESSAGE test_wr_ctop_rel_adr][write]
     [else]
     [PASS_MESSAGE reg_file_addressing_(csa_mode)_6]
[end]
[set experiment_result [xeq val test_wr_csa_offs_adr]]
[eq,[arg 1,[var experiment_result]],false]
     [FAIL_MESSAGE reg_file_addressing_(csa_mode)_7]
     [set num_fails [add,[var num_fails],1]]
     [write [ASCII,7]]
     [NAME_MESSAGE init_rf 0add]
     [NAME_MESSAGE test_wr_csa_offs_adr][write]
     [else]
     [PASS_MESSAGE reg_file_addressing_(csa_mode)_7]
[end]
[set experiment_result [xeq val test_rf_parity_checkers]]
[eq,[arg 1,[var experiment_result]],false]
     [FAIL_MESSAGE reg_file_parity_checkers_test]
     [set num_fails [add,[var num_fails],1]]
     [write [ASCII,7]]
     [NAME_MESSAGE test_rf_parity_checkers][write]
     [else]
     [PASS_MESSAGE reg_file_parity_checkers_test]
[end]
[set experiment_result [xeq val test_bus_parity_checkers]]
[eq,[arg 1,[var experiment_result]],false]
     [FAIL_MESSAGE bus_parity_checkers_test]
     [set num_fails [add,[var num_fails],1]]
     [write [ASCII,7]]
     [set bus_parity_fail true]
     [NAME_MESSAGE test_bus_parity_checkers][write]
     [else]
     [PASS_MESSAGE bus_parity_checkers_test]
[end]
[xeq val prep_test_rf_par_addr]
[set experiment_result [xeq val test_rf_par_addr]]
[eq,[arg 1,[var experiment_result]],false]
     [FAIL_MESSAGE reg_file_parity_address_test]
     [set num_fails [add,[var num_fails],1]]
     [write [ASCII,7]]
     [NAME_MESSAGE prep_test_rf_par_addr]
     [NAME_MESSAGE test_rf_par_addr][write]
     [else]
     [PASS_MESSAGE reg_file_parity_address_test]
[end]
[xeq val init_rf 0]
[set experiment_result [xeq val test_rf_parity_locations]]
[eq,[arg 1,[var experiment_result]],false]
     [FAIL_MESSAGE register_file_parity_(a_side)_zeroes_test]
     [set num_fails [add,[var num_fails],1]]
     [write [ASCII,7]]
     [NAME_MESSAGE init_rf 0] 
     [NAME_MESSAGE test_rf_parity_locations][write]
     [else]
     [PASS_MESSAGE register_file_parity_(a_side)_zeroes_test]
[end]
[eq,[arg 2,[var experiment_result]],false]
     [FAIL_MESSAGE register_file_parity_(b_side)_zeroes_test]
     [set num_fails [add,[var num_fails],1]]
     [write [ASCII,7]]
     [NAME_MESSAGE init_rf 0] 
     [NAME_MESSAGE test_rf_parity_locations][write]
     [else]
     [PASS_MESSAGE register_file_parity_(b_side)_zeroes_test]
[end]
[xeq val init_rf ffffffffffffffff]
[set experiment_result [xeq val test_rf_parity_locations]]
[eq,[arg 1,[var experiment_result]],false]
     [FAIL_MESSAGE register_file_parity_(a_side)_ones_test]
     [set num_fails [add,[var num_fails],1]]
     [write [ASCII,7]]
     [NAME_MESSAGE init_rf ffffffffffffffff]
     [NAME_MESSAGE test_rf_parity_locations][write]
     [else]
     [PASS_MESSAGE register_file_parity_(a_side)_ones_test]
[end]
[eq,[arg 2,[var experiment_result]],false]
     [FAIL_MESSAGE register_file_parity_(b_side)_ones_test]
     [set num_fails [add,[var num_fails],1]]
     [write [ASCII,7]]
     [NAME_MESSAGE init_rf ffffffffffffffff]
     [NAME_MESSAGE test_rf_parity_locations][write]
     [else]
     [PASS_MESSAGE register_file_parity_(b_side)_ones_test]
[end]