#! /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_0x10f3490 .scope module, "main" "main" 2 21; .timescale 0 0; v0x10f3580_0 .var "error", 0 0; v0x1126c70_0 .var "result", 2 0; v0x1126d10_0 .var "val1", 2 0; v0x1126db0_0 .var "val2", 2 0; E_0x10f2470 .event edge, v0x1126db0_0, v0x1126d10_0; .scope S_0x10f3490; T_0 ; %wait E_0x10f2470; %load/v 8, v0x1126d10_0, 3; %load/v 11, v0x1126db0_0, 3; %and 8, 11, 3; %cmp/x 8, 0, 3; %jmp/1 T_0.0, 4; %movi 11, 1, 3; %cmp/x 8, 11, 3; %jmp/1 T_0.1, 4; %movi 11, 2, 3; %cmp/x 8, 11, 3; %jmp/1 T_0.2, 4; %jmp T_0.3; T_0.0 ; %set/v v0x1126c70_0, 0, 3; %jmp T_0.3; T_0.1 ; %movi 8, 1, 3; %set/v v0x1126c70_0, 8, 3; %jmp T_0.3; T_0.2 ; %movi 8, 2, 3; %set/v v0x1126c70_0, 8, 3; %jmp T_0.3; T_0.3 ; %jmp T_0; .thread T_0, $push; .scope S_0x10f3490; T_1 ; %set/v v0x10f3580_0, 0, 1; %set/v v0x1126d10_0, 0, 3; %movi 8, 0, 1; %mov 9, 2, 1; %movi 10, 0, 1; %set/v v0x1126db0_0, 8, 3; %load/v 11, v0x1126c70_0, 3; %mov 14, 0, 1; %cmpi/u 11, 0, 4; %inv 4, 1; %jmp/0xz T_1.0, 4; %vpi_call 2 42 "$display", "FAILED case 3.9B - casex (expr contains x) lab1: "; %set/v v0x10f3580_0, 1, 1; T_1.0 ; %movi 8, 1, 3; %set/v v0x1126d10_0, 8, 3; %movi 8, 1, 1; %mov 9, 2, 1; %movi 10, 0, 1; %set/v v0x1126db0_0, 8, 3; %load/v 11, v0x1126c70_0, 3; %mov 14, 0, 1; %cmpi/u 11, 1, 4; %inv 4, 1; %jmp/0xz T_1.2, 4; %vpi_call 2 50 "$display", "FAILED case 3.9B - casex (expr contains x) lab2: "; %set/v v0x10f3580_0, 1, 1; T_1.2 ; %set/v v0x1126d10_0, 1, 3; %load/v 8, v0x1126c70_0, 3; %mov 11, 0, 1; %cmpi/u 8, 1, 4; %inv 4, 1; %jmp/0xz T_1.4, 4; %vpi_call 2 58 "$display", "FAILED case 3.9B - casex (expr contains x) lab1: "; %set/v v0x10f3580_0, 1, 1; T_1.4 ; %load/v 8, v0x10f3580_0, 1; %mov 9, 0, 1; %cmpi/u 8, 0, 2; %jmp/0xz T_1.6, 4; %vpi_call 2 63 "$display", "PASSED"; T_1.6 ; %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/casex3.9B.v";