#! /usr/bin/vvp :ivl_version "0.9.7 " "(v0_9_7)"; :vpi_time_precision + 0; :vpi_module "system"; :vpi_module "v2005_math"; :vpi_module "va_math"; S_0xd53000 .scope module, "top" "top" 2 1; .timescale 0 0; v0xd4c600_0 .var "pass", 0 0; v0xd771f0_0 .var "pass_f1", 0 0; v0xd77290_0 .var "pass_f2", 0 0; v0xd77330_0 .var "pass_f3", 0 0; v0xd773e0_0 .var "pass_f4", 0 0; v0xd77480_0 .var "pass_f5", 0 0; v0xd77560_0 .var "res", 240 1; S_0xd4d4c0 .scope begin, "my_begin" "my_begin" 2 16, 2 16, S_0xd53000; .timescale 0 0; S_0xd4d6a0 .scope begin, "my_begin_begin" "my_begin_begin" 2 23, 2 23, S_0xd4d4c0; .timescale 0 0; S_0xd4d5b0 .scope fork, "my_begin_fork" "my_begin_fork" 2 41, 2 41, S_0xd4d4c0; .timescale 0 0; S_0xd530f0 .scope fork, "my_fork" "my_fork" 2 80, 2 80, S_0xd53000; .timescale 0 0; S_0xd4d3d0 .scope begin, "my_fork_begin" "my_fork_begin" 2 89, 2 89, S_0xd530f0; .timescale 0 0; S_0xd4d2e0 .scope fork, "my_fork_fork" "my_fork_fork" 2 103, 2 103, S_0xd530f0; .timescale 0 0; .scope S_0xd53000; T_0 ; %set/v v0xd4c600_0, 1, 1; %vpi_call 2 9 "$swrite", v0xd77560_0, "%m"; %load/v 8, v0xd77560_0, 240; %movi 248, 7630704, 32; %movi 280, 0, 32; %movi 312, 0, 32; %movi 344, 0, 32; %movi 376, 0, 32; %movi 408, 0, 32; %movi 440, 0, 32; %movi 472, 0, 16; %cmp/u 8, 248, 240; %inv 4, 1; %jmp/0xz T_0.0, 4; %vpi_call 2 11 "$display", "Failed initial, got \042%0s\042", v0xd77560_0; %set/v v0xd4c600_0, 0, 1; T_0.0 ; %fork t_1, S_0xd4d4c0; %jmp t_0; .scope S_0xd4d4c0; t_1 ; %vpi_call 2 17 "$swrite", v0xd77560_0, "%m"; %load/v 8, v0xd77560_0, 240; %movi 248, 1701276014, 32; %movi 280, 1836670818, 32; %movi 312, 1953460270, 32; %movi 344, 0, 32; %movi 376, 0, 32; %movi 408, 0, 32; %movi 440, 0, 32; %movi 472, 0, 16; %cmp/u 8, 248, 240; %inv 4, 1; %jmp/0xz T_0.2, 4; %vpi_call 2 19 "$display", "Failed named begin (1st), got \042%0s\042", v0xd77560_0; %set/v v0xd4c600_0, 0, 1; T_0.2 ; %fork t_3, S_0xd4d6a0; %jmp t_2; .scope S_0xd4d6a0; t_3 ; %vpi_call 2 25 "$swrite", v0xd77560_0, "%m"; %load/v 8, v0xd77560_0, 240; %movi 248, 1701276014, 32; %movi 280, 1768841058, 32; %movi 312, 1600284007, 32; %movi 344, 1848536441, 32; %movi 376, 1650812777, 32; %movi 408, 778926431, 32; %movi 440, 7630704, 32; %movi 472, 0, 16; %cmp/u 8, 248, 240; %inv 4, 1; %jmp/0xz T_0.4, 4; %vpi_call 2 27 "$display", "Failed nested named begin, got \042%0s\042", v0xd77560_0; %set/v v0xd4c600_0, 0, 1; T_0.4 ; %end; .scope S_0xd4d4c0; t_2 %join; %vpi_call 2 32 "$swrite", v0xd77560_0, "%m"; %load/v 8, v0xd77560_0, 240; %movi 248, 1701276014, 32; %movi 280, 1836670818, 32; %movi 312, 1953460270, 32; %movi 344, 0, 32; %movi 376, 0, 32; %movi 408, 0, 32; %movi 440, 0, 32; %movi 472, 0, 16; %cmp/u 8, 248, 240; %inv 4, 1; %jmp/0xz T_0.6, 4; %vpi_call 2 34 "$display", "Failed named begin (2nd), got \042%0s\042", v0xd77560_0; %set/v v0xd4c600_0, 0, 1; T_0.6 ; %set/v v0xd771f0_0, 1, 1; %set/v v0xd77290_0, 1, 1; %fork t_5, S_0xd4d5b0; %fork t_6, S_0xd4d5b0; %join; %join; %jmp t_4; .scope S_0xd4d5b0; t_5 ; %vpi_call 2 43 "$swrite", v0xd77560_0, "%m"; %load/v 8, v0xd77560_0, 240; %movi 248, 1718579819, 32; %movi 280, 1734962783, 32; %movi 312, 2036294245, 32; %movi 344, 1768828525, 32; %movi 376, 1600284007, 32; %movi 408, 1882090873, 32; %movi 440, 29807, 32; %movi 472, 0, 16; %cmp/u 8, 248, 240; %inv 4, 1; %jmp/0xz T_0.8, 4; %vpi_call 2 45 "$display", "Failed after named begin/fork (1), got \042%0s\042", v0xd77560_0; %set/v v0xd771f0_0, 0, 1; T_0.8 ; %end; t_6 ; %vpi_call 2 50 "$swrite", v0xd77560_0, "%m"; %load/v 8, v0xd77560_0, 240; %movi 248, 1718579819, 32; %movi 280, 1734962783, 32; %movi 312, 2036294245, 32; %movi 344, 1768828525, 32; %movi 376, 1600284007, 32; %movi 408, 1882090873, 32; %movi 440, 29807, 32; %movi 472, 0, 16; %cmp/u 8, 248, 240; %inv 4, 1; %jmp/0xz T_0.10, 4; %vpi_call 2 52 "$display", "Failed after named begin/fork (2), got \042%0s\042", v0xd77560_0; %set/v v0xd77290_0, 0, 1; T_0.10 ; %end; .scope S_0xd4d4c0; t_4 ; %load/v 8, v0xd4c600_0, 1; %load/v 9, v0xd771f0_0, 1; %and 8, 9, 1; %load/v 9, v0xd77290_0, 1; %and 8, 9, 1; %set/v v0xd4c600_0, 8, 1; %vpi_call 2 60 "$swrite", v0xd77560_0, "%m"; %load/v 8, v0xd77560_0, 240; %movi 248, 1701276014, 32; %movi 280, 1836670818, 32; %movi 312, 1953460270, 32; %movi 344, 0, 32; %movi 376, 0, 32; %movi 408, 0, 32; %movi 440, 0, 32; %movi 472, 0, 16; %cmp/u 8, 248, 240; %inv 4, 1; %jmp/0xz T_0.12, 4; %vpi_call 2 62 "$display", "Failed named begin (3rd), got \042%0s\042", v0xd77560_0; %set/v v0xd4c600_0, 0, 1; T_0.12 ; %end; .scope S_0xd53000; t_0 %join; %vpi_call 2 68 "$swrite", v0xd77560_0, "%m"; %load/v 8, v0xd77560_0, 240; %movi 248, 7630704, 32; %movi 280, 0, 32; %movi 312, 0, 32; %movi 344, 0, 32; %movi 376, 0, 32; %movi 408, 0, 32; %movi 440, 0, 32; %movi 472, 0, 16; %cmp/u 8, 248, 240; %inv 4, 1; %jmp/0xz T_0.14, 4; %vpi_call 2 70 "$display", "Failed after named begin, got \042%0s\042", v0xd77560_0; %set/v v0xd4c600_0, 0, 1; T_0.14 ; %set/v v0xd771f0_0, 1, 1; %set/v v0xd77290_0, 1, 1; %set/v v0xd77330_0, 1, 1; %set/v v0xd773e0_0, 1, 1; %set/v v0xd77480_0, 1, 1; %fork t_8, S_0xd530f0; %fork t_9, S_0xd530f0; %fork t_10, S_0xd530f0; %fork t_11, S_0xd530f0; %fork t_12, S_0xd530f0; %join; %join; %join; %join; %join; %jmp t_7; .scope S_0xd530f0; t_8 ; %vpi_call 2 82 "$swrite", v0xd77560_0, "%m"; %load/v 8, v0xd77560_0, 240; %movi 248, 1718579819, 32; %movi 280, 778926431, 32; %movi 312, 7630704, 32; %movi 344, 0, 32; %movi 376, 0, 32; %movi 408, 0, 32; %movi 440, 0, 32; %movi 472, 0, 16; %cmp/u 8, 248, 240; %inv 4, 1; %jmp/0xz T_0.16, 4; %vpi_call 2 84 "$display", "Failed after named fork (1), got \042%0s\042", v0xd77560_0; %set/v v0xd771f0_0, 0, 1; T_0.16 ; %end; t_9 ; %fork t_14, S_0xd4d3d0; %jmp t_13; .scope S_0xd4d3d0; t_14 ; %vpi_call 2 90 "$swrite", v0xd77560_0, "%m"; %load/v 8, v0xd77560_0, 240; %movi 248, 1701276014, 32; %movi 280, 1919639394, 32; %movi 312, 2036295279, 32; %movi 344, 1919626861, 32; %movi 376, 2036295279, 32; %movi 408, 1869622893, 32; %movi 440, 116, 32; %movi 472, 0, 16; %cmp/u 8, 248, 240; %inv 4, 1; %jmp/0xz T_0.18, 4; %vpi_call 2 92 "$display", "Failed after named fork/begin, got \042%0s\042", v0xd77560_0; %set/v v0xd773e0_0, 0, 1; T_0.18 ; %end; .scope S_0xd530f0; t_13 %join; %end; t_10 ; %vpi_call 2 97 "$swrite", v0xd77560_0, "%m"; %load/v 8, v0xd77560_0, 240; %movi 248, 1718579819, 32; %movi 280, 778926431, 32; %movi 312, 7630704, 32; %movi 344, 0, 32; %movi 376, 0, 32; %movi 408, 0, 32; %movi 440, 0, 32; %movi 472, 0, 16; %cmp/u 8, 248, 240; %inv 4, 1; %jmp/0xz T_0.20, 4; %vpi_call 2 99 "$display", "Failed after named fork (2), got \042%0s\042", v0xd77560_0; %set/v v0xd77290_0, 0, 1; T_0.20 ; %end; t_11 ; %fork t_16, S_0xd4d2e0; %join; %jmp t_15; .scope S_0xd4d2e0; t_16 ; %vpi_call 2 105 "$swrite", v0xd77560_0, "%m"; %load/v 8, v0xd77560_0, 240; %movi 248, 1718579819, 32; %movi 280, 1869769567, 32; %movi 312, 1836670822, 32; %movi 344, 1869769518, 32; %movi 376, 1836670822, 32; %movi 408, 1953460270, 32; %movi 440, 0, 32; %movi 472, 0, 16; %cmp/u 8, 248, 240; %inv 4, 1; %jmp/0xz T_0.22, 4; %vpi_call 2 107 "$display", "Failed after named fork/fork, got \042%0s\042", v0xd77560_0; %set/v v0xd77290_0, 0, 1; T_0.22 ; %end; .scope S_0xd530f0; t_15 ; %end; t_12 ; %vpi_call 2 113 "$swrite", v0xd77560_0, "%m"; %load/v 8, v0xd77560_0, 240; %movi 248, 1718579819, 32; %movi 280, 778926431, 32; %movi 312, 7630704, 32; %movi 344, 0, 32; %movi 376, 0, 32; %movi 408, 0, 32; %movi 440, 0, 32; %movi 472, 0, 16; %cmp/u 8, 248, 240; %inv 4, 1; %jmp/0xz T_0.24, 4; %vpi_call 2 115 "$display", "Failed after named fork (3), got \042%0s\042", v0xd77560_0; %set/v v0xd77330_0, 0, 1; T_0.24 ; %end; .scope S_0xd53000; t_7 ; %load/v 8, v0xd4c600_0, 1; %load/v 9, v0xd771f0_0, 1; %and 8, 9, 1; %load/v 9, v0xd77290_0, 1; %and 8, 9, 1; %load/v 9, v0xd77330_0, 1; %and 8, 9, 1; %set/v v0xd4c600_0, 8, 1; %vpi_call 2 124 "$swrite", v0xd77560_0, "%m"; %load/v 8, v0xd77560_0, 240; %movi 248, 7630704, 32; %movi 280, 0, 32; %movi 312, 0, 32; %movi 344, 0, 32; %movi 376, 0, 32; %movi 408, 0, 32; %movi 440, 0, 32; %movi 472, 0, 16; %cmp/u 8, 248, 240; %inv 4, 1; %jmp/0xz T_0.26, 4; %vpi_call 2 126 "$display", "Failed final, got \042%0s\042", v0xd77560_0; %set/v v0xd4c600_0, 0, 1; T_0.26 ; %load/v 8, v0xd4c600_0, 1; %jmp/0xz T_0.28, 8; %vpi_call 2 130 "$display", "PASSED"; T_0.28 ; %end; .thread T_0; # The file index is used to find the file name in the following table. :file_names 3; "N/A"; ""; "ivtest-master/ivltests/pr2971207.v";