#! /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_0x18557f0 .scope module, "top" "top" 2 1; .timescale 0 0; v0x187ae60_0 .var "in", 0 0; v0x187af20_0 .net "out", 0 0, L_0x187b110; 1 drivers v0x187afc0_0 .var "pass", 0 0; v0x187b060_0 .var "pout", 0 0; L_0x187b110 .ufunc TD_top.invert, 1, v0x187ae60_0 (v0x1841160_0) v0x187adc0_0 S_0x1863f60; S_0x1863f60 .scope function, "invert" "invert" 2 7, 2 7, S_0x18557f0; .timescale 0 0; v0x1841160_0 .var "in", 0 0; v0x187adc0_0 .var "invert", 0 0; TD_top.invert ; %fork t_1, S_0x1864050; %jmp t_0; .scope S_0x1864050; t_1 ; %load/v 8, v0x1841160_0, 1; %inv 8, 1; %set/v v0x187adc0_0, 8, 1; %vpi_call 2 22 "$display", "Function should return %b when given %b.", v0x187adc0_0, v0x1841160_0; %end; .scope S_0x1863f60; t_0 %join; %end; S_0x1864050 .scope begin, "block_name" "block_name" 2 20, 2 20, S_0x1863f60; .timescale 0 0; .scope S_0x18557f0; T_1 ; %set/v v0x187afc0_0, 1, 1; %set/v v0x187ae60_0, 0, 1; %delay 1, 0; %load/v 8, v0x187af20_0, 1; %cmpi/u 8, 1, 1; %inv 6, 1; %jmp/0xz T_1.0, 6; %vpi_call 2 34 "$display", "CA result was %b when given %b, expect 1'b1.", v0x187af20_0, v0x187ae60_0; %set/v v0x187afc0_0, 0, 1; T_1.0 ; %load/v 8, v0x187ae60_0, 1; %set/v v0x1841160_0, 8, 1; %fork TD_top.invert, S_0x1863f60; %join; %load/v 8, v0x187adc0_0, 1; %set/v v0x187b060_0, 8, 1; %load/v 8, v0x187b060_0, 1; %cmpi/u 8, 1, 1; %inv 6, 1; %jmp/0xz T_1.2, 6; %vpi_call 2 39 "$display", "Result was %b when given %b, expect 1'b1.", v0x187b060_0, v0x187ae60_0; %set/v v0x187afc0_0, 0, 1; T_1.2 ; %set/v v0x187ae60_0, 1, 1; %delay 1, 0; %load/v 8, v0x187af20_0, 1; %cmpi/u 8, 0, 1; %inv 6, 1; %jmp/0xz T_1.4, 6; %vpi_call 2 46 "$display", "CA result was %b when given %b, expect 1'b0.", v0x187af20_0, v0x187ae60_0; %set/v v0x187afc0_0, 0, 1; T_1.4 ; %load/v 8, v0x187ae60_0, 1; %set/v v0x1841160_0, 8, 1; %fork TD_top.invert, S_0x1863f60; %join; %load/v 8, v0x187adc0_0, 1; %set/v v0x187b060_0, 8, 1; %load/v 8, v0x187b060_0, 1; %cmpi/u 8, 0, 1; %inv 6, 1; %jmp/0xz T_1.6, 6; %vpi_call 2 51 "$display", "Result was %b when given %b, expect 1'b0.", v0x187b060_0, v0x187ae60_0; %set/v v0x187afc0_0, 0, 1; T_1.6 ; %set/v v0x187ae60_0, 3, 1; %delay 1, 0; %load/v 8, v0x187af20_0, 1; %cmp/u 8, 2, 1; %inv 6, 1; %jmp/0xz T_1.8, 6; %vpi_call 2 58 "$display", "CA result was %b when given %b, expect 1'bx.", v0x187af20_0, v0x187ae60_0; %set/v v0x187afc0_0, 0, 1; T_1.8 ; %load/v 8, v0x187ae60_0, 1; %set/v v0x1841160_0, 8, 1; %fork TD_top.invert, S_0x1863f60; %join; %load/v 8, v0x187adc0_0, 1; %set/v v0x187b060_0, 8, 1; %load/v 8, v0x187b060_0, 1; %cmp/u 8, 2, 1; %inv 6, 1; %jmp/0xz T_1.10, 6; %vpi_call 2 63 "$display", "Result was %b when given %b, expect 1'bx.", v0x187b060_0, v0x187ae60_0; %set/v v0x187afc0_0, 0, 1; T_1.10 ; %load/v 8, v0x187afc0_0, 1; %jmp/0xz T_1.12, 8; %vpi_call 2 67 "$display", "PASSED"; T_1.12 ; %end; .thread T_1; # The file index is used to find the file name in the following table. :file_names 3; "N/A"; ""; "ivtest-master/ivltests/br948.v";