#! /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_0x7d1dc0 .scope module, "top" "top" 2 7; .timescale 0 0; P_0x7f3bc8 .param/l "count" 2 8, +C4<010>; v0x805bf0_0 .var "a", 1 0; v0x805cc0_0 .var "b", 1 0; v0x805d70_0 .var "pass", 0 0; v0x805df0_0 .net "y", 1 0, L_0x806000; 1 drivers S_0x7f57b0 .scope module, "nandArray" "manyNands" 2 14, 2 36, S_0x7d1dc0; .timescale 0 0; P_0x7f3818 .param/l "count" 2 37, +C4<010>; L_0x805ed0 .functor AND 2, v0x805bf0_0, v0x805cc0_0, C4<11>, C4<11>; L_0x806000 .functor NOT 2, L_0x805ed0, C4<00>, C4<00>, C4<00>; v0x7d0470_0 .net *"_s0", 1 0, L_0x805ed0; 1 drivers v0x805a00_0 .net "a", 1 0, v0x805bf0_0; 1 drivers v0x805aa0_0 .net "b", 1 0, v0x805cc0_0; 1 drivers v0x805b40_0 .alias "y", 1 0, v0x805df0_0; .scope S_0x7d1dc0; T_0 ; %set/v v0x805d70_0, 1, 1; %end; .thread T_0; .scope S_0x7d1dc0; T_1 ; %set/v v0x805bf0_0, 0, 2; %set/v v0x805cc0_0, 0, 2; %delay 1, 0; %load/v 8, v0x805df0_0, 2; %cmpi/u 8, 3, 2; %inv 6, 1; %jmp/0xz T_1.0, 6; %vpi_call 2 21 "$display", "FAILED: ~(2'b00 & 2'b00) should be 2'b11, got %b", v0x805df0_0; %set/v v0x805d70_0, 0, 1; T_1.0 ; %set/v v0x805bf0_0, 1, 2; %set/v v0x805cc0_0, 1, 2; %delay 1, 0; %load/v 8, v0x805df0_0, 2; %cmpi/u 8, 0, 2; %inv 6, 1; %jmp/0xz T_1.2, 6; %vpi_call 2 28 "$display", "FAILED: ~(2'b11 & 2'b11) should be 2'b00, got %b", v0x805df0_0; %set/v v0x805d70_0, 0, 1; T_1.2 ; %load/v 8, v0x805d70_0, 1; %jmp/0xz T_1.4, 8; %vpi_call 2 32 "$display", "PASSED"; T_1.4 ; %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/pr1510724.v";