From 745cef0b4639dc8ed913a8cc76a20f3f5c19b82f Mon Sep 17 00:00:00 2001 From: Alain Dargelas Date: Thu, 26 Oct 2023 22:19:54 -0700 Subject: [PATCH 1/3] hier path selection for typespec --- .../HierPathStructTypespec.log | 2696 +++++++++++++++++ .../HierPathStructTypespec.sl | 1 + tests/HierPathStructTypespec/dut.sv | 40 + 3 files changed, 2737 insertions(+) create mode 100644 tests/HierPathStructTypespec/HierPathStructTypespec.log create mode 100644 tests/HierPathStructTypespec/HierPathStructTypespec.sl create mode 100644 tests/HierPathStructTypespec/dut.sv diff --git a/tests/HierPathStructTypespec/HierPathStructTypespec.log b/tests/HierPathStructTypespec/HierPathStructTypespec.log new file mode 100644 index 0000000000..34766a846d --- /dev/null +++ b/tests/HierPathStructTypespec/HierPathStructTypespec.log @@ -0,0 +1,2696 @@ +[INF:CM0023] Creating log file "${SURELOG_DIR}/build/regression/HierPathStructTypespec/slpp_all/surelog.log". +AST_DEBUG_BEGIN +LIB: work +FILE: ${SURELOG_DIR}/tests/HierPathStructTypespec/dut.sv +n<> u<0> t<_INVALID_> f<0> l<0:0> +n<> u<1> t p<382> s<381> l<1:1> el<1:0> +n<> u<2> t p<21> s<3> l<1:1> el<1:8> +n u<3> t p<21> s<18> l<1:9> el<1:17> +n<> u<4> t p<5> l<2:13> el<2:16> +n<> u<5> t p<6> c<4> l<2:13> el<2:16> +n<> u<6> t p<16> c<5> s<15> l<2:13> el<2:16> +n u<7> t p<14> s<13> l<2:17> el<2:25> +n<64> u<8> t p<9> l<2:28> el<2:30> +n<> u<9> t p<10> c<8> l<2:28> el<2:30> +n<> u<10> t p<11> c<9> l<2:28> el<2:30> +n<> u<11> t p<12> c<10> l<2:28> el<2:30> +n<> u<12> t p<13> c<11> l<2:28> el<2:30> +n<> u<13> t p<14> c<12> l<2:28> el<2:30> +n<> u<14> t p<15> c<7> l<2:17> el<2:30> +n<> u<15> t p<16> c<14> l<2:17> el<2:30> +n<> u<16> t p<17> c<6> l<2:3> el<2:30> +n<> u<17> t p<18> c<16> l<2:3> el<2:31> +n<> u<18> t p<21> c<17> s<20> l<2:3> el<2:31> +n u<19> t p<21> l<3:14> el<3:22> +n<> u<20> t p<21> s<19> l<3:1> el<3:11> +n<> u<21> t p<22> c<2> l<1:1> el<3:22> +n<> u<22> t p<381> c<21> s<217> l<1:1> el<3:22> +n<> u<23> t p<216> s<24> l<5:1> el<5:8> +n u<24> t p<216> s<42> l<5:9> el<5:17> +n<> u<25> t p<26> l<6:13> el<6:16> +n<> u<26> t p<27> c<25> l<6:13> el<6:16> +n<> u<27> t p<40> c<26> s<39> l<6:13> el<6:16> +n u<28> t p<38> s<37> l<6:17> el<6:25> +n u<29> t p<30> l<6:28> el<6:36> +n<> u<30> t p<34> c<29> s<31> l<6:28> el<6:38> +n u<31> t p<34> s<33> l<6:38> el<6:46> +n<> u<32> t p<33> l<6:46> el<6:46> +n<> u<33> t p<34> c<32> l<6:46> el<6:46> +n<> u<34> t p<35> c<30> l<6:28> el<6:46> +n<> u<35> t p<36> c<34> l<6:28> el<6:46> +n<> u<36> t p<37> c<35> l<6:28> el<6:46> +n<> u<37> t p<38> c<36> l<6:28> el<6:46> +n<> u<38> t p<39> c<28> l<6:17> el<6:46> +n<> u<39> t p<40> c<38> l<6:17> el<6:46> +n<> u<40> t p<41> c<27> l<6:3> el<6:46> +n<> u<41> t p<42> c<40> l<6:3> el<6:47> +n<> u<42> t p<216> c<41> s<57> l<6:3> el<6:47> +n<> u<43> t p<44> l<7:13> el<7:16> +n<> u<44> t p<45> c<43> l<7:13> el<7:16> +n<> u<45> t p<55> c<44> s<54> l<7:13> el<7:16> +n u<46> t p<53> s<52> l<7:17> el<7:29> +n<32> u<47> t p<48> l<7:32> el<7:34> +n<> u<48> t p<49> c<47> l<7:32> el<7:34> +n<> u<49> t p<50> c<48> l<7:32> el<7:34> +n<> u<50> t p<51> c<49> l<7:32> el<7:34> +n<> u<51> t p<52> c<50> l<7:32> el<7:34> +n<> u<52> t p<53> c<51> l<7:32> el<7:34> +n<> u<53> t p<54> c<46> l<7:17> el<7:34> +n<> u<54> t p<55> c<53> l<7:17> el<7:34> +n<> u<55> t p<56> c<45> l<7:3> el<7:34> +n<> u<56> t p<57> c<55> l<7:3> el<7:35> +n<> u<57> t p<216> c<56> s<72> l<7:3> el<7:35> +n<> u<58> t p<59> l<8:13> el<8:16> +n<> u<59> t p<60> c<58> l<8:13> el<8:16> +n<> u<60> t p<70> c<59> s<69> l<8:13> el<8:16> +n u<61> t p<68> s<67> l<8:17> el<8:27> +n<5> u<62> t p<63> l<8:32> el<8:33> +n<> u<63> t p<64> c<62> l<8:32> el<8:33> +n<> u<64> t p<65> c<63> l<8:32> el<8:33> +n<> u<65> t p<66> c<64> l<8:32> el<8:33> +n<> u<66> t p<67> c<65> l<8:32> el<8:33> +n<> u<67> t p<68> c<66> l<8:32> el<8:33> +n<> u<68> t p<69> c<61> l<8:17> el<8:33> +n<> u<69> t p<70> c<68> l<8:17> el<8:33> +n<> u<70> t p<71> c<60> l<8:3> el<8:33> +n<> u<71> t p<72> c<70> l<8:3> el<8:34> +n<> u<72> t p<216> c<71> s<87> l<8:3> el<8:34> +n<> u<73> t p<74> l<9:13> el<9:16> +n<> u<74> t p<75> c<73> l<9:13> el<9:16> +n<> u<75> t p<85> c<74> s<84> l<9:13> el<9:16> +n u<76> t p<83> s<82> l<9:17> el<9:28> +n<72> u<77> t p<78> l<9:32> el<9:34> +n<> u<78> t p<79> c<77> l<9:32> el<9:34> +n<> u<79> t p<80> c<78> l<9:32> el<9:34> +n<> u<80> t p<81> c<79> l<9:32> el<9:34> +n<> u<81> t p<82> c<80> l<9:32> el<9:34> +n<> u<82> t p<83> c<81> l<9:32> el<9:34> +n<> u<83> t p<84> c<76> l<9:17> el<9:34> +n<> u<84> t p<85> c<83> l<9:17> el<9:34> +n<> u<85> t p<86> c<75> l<9:3> el<9:34> +n<> u<86> t p<87> c<85> l<9:3> el<9:35> +n<> u<87> t p<216> c<86> s<122> l<9:3> el<9:35> +n<> u<88> t p<89> l<10:13> el<10:16> +n<> u<89> t p<90> c<88> l<10:13> el<10:16> +n<> u<90> t p<120> c<89> s<119> l<10:13> el<10:16> +n u<91> t p<118> s<117> l<10:17> el<10:29> +n u<92> t p<93> l<10:35> el<10:46> +n<> u<93> t p<94> c<92> l<10:35> el<10:46> +n<> u<94> t p<95> c<93> l<10:35> el<10:46> +n<> u<95> t p<101> c<94> s<100> l<10:35> el<10:46> +n u<96> t p<97> l<10:49> el<10:59> +n<> u<97> t p<98> c<96> l<10:49> el<10:59> +n<> u<98> t p<99> c<97> l<10:49> el<10:59> +n<> u<99> t p<101> c<98> l<10:49> el<10:59> +n<> u<100> t p<101> s<99> l<10:47> el<10:48> +n<> u<101> t p<107> c<95> s<106> l<10:35> el<10:59> +n<1> u<102> t p<103> l<10:62> el<10:63> +n<> u<103> t p<104> c<102> l<10:62> el<10:63> +n<> u<104> t p<105> c<103> l<10:62> el<10:63> +n<> u<105> t p<107> c<104> l<10:62> el<10:63> +n<> u<106> t p<107> s<105> l<10:60> el<10:61> +n<> u<107> t p<108> c<101> l<10:35> el<10:63> +n<> u<108> t p<109> c<107> l<10:34> el<10:64> +n<> u<109> t p<115> c<108> s<114> l<10:34> el<10:64> +n u<110> t p<111> l<10:65> el<10:75> +n<> u<111> t p<112> c<110> l<10:65> el<10:75> +n<> u<112> t p<113> c<111> l<10:65> el<10:75> +n<> u<113> t p<115> c<112> l<10:65> el<10:75> +n<> u<114> t p<115> s<113> l<10:64> el<10:65> +n<> u<115> t p<116> c<109> l<10:34> el<10:75> +n<> u<116> t p<117> c<115> l<10:34> el<10:75> +n<> u<117> t p<118> c<116> l<10:34> el<10:75> +n<> u<118> t p<119> c<91> l<10:17> el<10:75> +n<> u<119> t p<120> c<118> l<10:17> el<10:75> +n<> u<120> t p<121> c<90> l<10:3> el<10:75> +n<> u<121> t p<122> c<120> l<10:3> el<10:76> +n<> u<122> t p<216> c<121> s<143> l<10:3> el<10:76> +n<> u<123> t p<124> l<11:13> el<11:16> +n<> u<124> t p<125> c<123> l<11:13> el<11:16> +n<> u<125> t p<141> c<124> s<140> l<11:13> el<11:16> +n u<126> t p<139> s<138> l<11:17> el<11:31> +n u<127> t p<128> l<11:34> el<11:46> +n<> u<128> t p<129> c<127> l<11:34> el<11:46> +n<> u<129> t p<130> c<128> l<11:34> el<11:46> +n<> u<130> t p<136> c<129> s<135> l<11:34> el<11:46> +n u<131> t p<132> l<11:49> el<11:61> +n<> u<132> t p<133> c<131> l<11:49> el<11:61> +n<> u<133> t p<134> c<132> l<11:49> el<11:61> +n<> u<134> t p<136> c<133> l<11:49> el<11:61> +n<> u<135> t p<136> s<134> l<11:47> el<11:48> +n<> u<136> t p<137> c<130> l<11:34> el<11:61> +n<> u<137> t p<138> c<136> l<11:34> el<11:61> +n<> u<138> t p<139> c<137> l<11:34> el<11:61> +n<> u<139> t p<140> c<126> l<11:17> el<11:61> +n<> u<140> t p<141> c<139> l<11:17> el<11:61> +n<> u<141> t p<142> c<125> l<11:3> el<11:61> +n<> u<142> t p<143> c<141> l<11:3> el<11:62> +n<> u<143> t p<216> c<142> s<186> l<11:3> el<11:62> +n<> u<144> t p<145> l<13:13> el<13:16> +n<> u<145> t p<146> c<144> l<13:13> el<13:16> +n<> u<146> t p<184> c<145> s<183> l<13:13> el<13:16> +n u<147> t p<182> s<181> l<13:17> el<13:29> +n<2> u<148> t p<149> l<13:34> el<13:35> +n<> u<149> t p<150> c<148> l<13:34> el<13:35> +n<> u<150> t p<151> c<149> l<13:34> el<13:35> +n<> u<151> t p<179> c<150> s<178> l<13:34> el<13:35> +n u<152> t p<153> l<13:40> el<13:54> +n<> u<153> t p<154> c<152> l<13:40> el<13:54> +n<> u<154> t p<155> c<153> l<13:40> el<13:54> +n<> u<155> t p<161> c<154> s<160> l<13:40> el<13:54> +n u<156> t p<157> l<13:57> el<13:65> +n<> u<157> t p<158> c<156> l<13:57> el<13:65> +n<> u<158> t p<159> c<157> l<13:57> el<13:65> +n<> u<159> t p<161> c<158> l<13:57> el<13:65> +n<> u<160> t p<161> s<159> l<13:55> el<13:56> +n<> u<161> t p<167> c<155> s<166> l<13:40> el<13:65> +n<1> u<162> t p<163> l<13:68> el<13:69> +n<> u<163> t p<164> c<162> l<13:68> el<13:69> +n<> u<164> t p<165> c<163> l<13:68> el<13:69> +n<> u<165> t p<167> c<164> l<13:68> el<13:69> +n<> u<166> t p<167> s<165> l<13:66> el<13:67> +n<> u<167> t p<168> c<161> l<13:40> el<13:69> +n<> u<168> t p<169> c<167> l<13:39> el<13:70> +n<> u<169> t p<175> c<168> s<174> l<13:39> el<13:70> +n u<170> t p<171> l<13:71> el<13:79> +n<> u<171> t p<172> c<170> l<13:71> el<13:79> +n<> u<172> t p<173> c<171> l<13:71> el<13:79> +n<> u<173> t p<175> c<172> l<13:71> el<13:79> +n<> u<174> t p<175> s<173> l<13:70> el<13:71> +n<> u<175> t p<176> c<169> l<13:39> el<13:79> +n<> u<176> t p<177> c<175> l<13:38> el<13:80> +n<> u<177> t p<179> c<176> l<13:38> el<13:80> +n<> u<178> t p<179> s<177> l<13:36> el<13:37> +n<> u<179> t p<180> c<151> l<13:34> el<13:80> +n<> u<180> t p<181> c<179> l<13:34> el<13:80> +n<> u<181> t p<182> c<180> l<13:34> el<13:80> +n<> u<182> t p<183> c<147> l<13:17> el<13:80> +n<> u<183> t p<184> c<182> l<13:17> el<13:80> +n<> u<184> t p<185> c<146> l<13:3> el<13:80> +n<> u<185> t p<186> c<184> l<13:3> el<13:81> +n<> u<186> t p<216> c<185> s<213> l<13:3> el<13:81> +n<> u<187> t p<188> l<14:13> el<14:16> +n<> u<188> t p<189> c<187> l<14:13> el<14:16> +n<> u<189> t p<211> c<188> s<210> l<14:13> el<14:16> +n u<190> t p<209> s<208> l<14:17> el<14:30> +n<> u<191> t p<204> s<192> l<14:34> el<14:35> +n u<192> t p<204> s<203> l<14:35> el<14:40> +n u<193> t p<194> l<14:41> el<14:53> +n<> u<194> t p<195> c<193> l<14:41> el<14:53> +n<> u<195> t p<196> c<194> l<14:41> el<14:53> +n<> u<196> t p<202> c<195> s<201> l<14:41> el<14:53> +n<1> u<197> t p<198> l<14:54> el<14:55> +n<> u<198> t p<199> c<197> l<14:54> el<14:55> +n<> u<199> t p<200> c<198> l<14:54> el<14:55> +n<> u<200> t p<202> c<199> l<14:54> el<14:55> +n<> u<201> t p<202> s<200> l<14:53> el<14:54> +n<> u<202> t p<203> c<196> l<14:41> el<14:55> +n<> u<203> t p<204> c<202> l<14:41> el<14:55> +n<> u<204> t p<205> c<191> l<14:34> el<14:56> +n<> u<205> t p<206> c<204> l<14:34> el<14:56> +n<> u<206> t p<207> c<205> l<14:34> el<14:56> +n<> u<207> t p<208> c<206> l<14:34> el<14:56> +n<> u<208> t p<209> c<207> l<14:34> el<14:56> +n<> u<209> t p<210> c<190> l<14:17> el<14:56> +n<> u<210> t p<211> c<209> l<14:17> el<14:56> +n<> u<211> t p<212> c<189> l<14:3> el<14:56> +n<> u<212> t p<213> c<211> l<14:3> el<14:57> +n<> u<213> t p<216> c<212> s<215> l<14:3> el<14:57> +n u<214> t p<216> l<15:14> el<15:22> +n<> u<215> t p<216> s<214> l<15:1> el<15:11> +n<> u<216> t p<217> c<23> l<5:1> el<15:22> +n<> u<217> t p<381> c<216> s<296> l<5:1> el<15:22> +n<> u<218> t p<295> s<219> l<17:1> el<17:8> +n u<219> t p<295> s<270> l<17:9> el<17:21> +n<> u<220> t p<221> l<18:11> el<18:17> +n<> u<221> t p<265> c<220> s<222> l<18:11> el<18:17> +n<> u<222> t p<265> s<238> l<18:18> el<18:24> +n<> u<223> t p<224> l<19:5> el<19:11> +n<> u<224> t p<233> c<223> s<225> l<19:5> el<19:11> +n<> u<225> t p<233> s<232> l<19:12> el<19:18> +n<> u<226> t p<227> l<20:7> el<20:12> +n<> u<227> t p<228> c<226> l<20:7> el<20:12> +n<> u<228> t p<232> c<227> s<231> l<20:7> el<20:12> +n u<229> t p<230> l<20:20> el<20:21> +n<> u<230> t p<231> c<229> l<20:20> el<20:21> +n<> u<231> t p<232> c<230> l<20:20> el<20:21> +n<> u<232> t p<233> c<228> l<20:7> el<20:22> +n<> u<233> t p<234> c<224> l<19:5> el<21:6> +n<> u<234> t p<238> c<233> s<237> l<19:5> el<21:6> +n u<235> t p<236> l<21:7> el<21:16> +n<> u<236> t p<237> c<235> l<21:7> el<21:16> +n<> u<237> t p<238> c<236> l<21:7> el<21:16> +n<> u<238> t p<265> c<234> s<264> l<19:5> el<21:17> +n<> u<239> t p<240> l<22:5> el<22:11> +n<> u<240> t p<259> c<239> s<241> l<22:5> el<22:11> +n<> u<241> t p<259> s<258> l<22:12> el<22:18> +n<> u<242> t p<253> s<252> l<23:7> el<23:12> +n<4> u<243> t p<244> l<23:14> el<23:15> +n<> u<244> t p<245> c<243> l<23:14> el<23:15> +n<> u<245> t p<246> c<244> l<23:14> el<23:15> +n<> u<246> t p<251> c<245> s<250> l<23:14> el<23:15> +n<0> u<247> t p<248> l<23:16> el<23:17> +n<> u<248> t p<249> c<247> l<23:16> el<23:17> +n<> u<249> t p<250> c<248> l<23:16> el<23:17> +n<> u<250> t p<251> c<249> l<23:16> el<23:17> +n<> u<251> t p<252> c<246> l<23:14> el<23:17> +n<> u<252> t p<253> c<251> l<23:13> el<23:18> +n<> u<253> t p<254> c<242> l<23:7> el<23:18> +n<> u<254> t p<258> c<253> s<257> l<23:7> el<23:18> +n u<255> t p<256> l<23:20> el<23:21> +n<> u<256> t p<257> c<255> l<23:20> el<23:21> +n<> u<257> t p<258> c<256> l<23:20> el<23:21> +n<> u<258> t p<259> c<254> l<23:7> el<23:22> +n<> u<259> t p<260> c<240> l<22:5> el<24:6> +n<> u<260> t p<264> c<259> s<263> l<22:5> el<24:6> +n u<261> t p<262> l<24:7> el<24:17> +n<> u<262> t p<263> c<261> l<24:7> el<24:17> +n<> u<263> t p<264> c<262> l<24:7> el<24:17> +n<> u<264> t p<265> c<260> l<22:5> el<24:18> +n<> u<265> t p<267> c<221> s<266> l<18:11> el<25:4> +n u<266> t p<267> l<25:5> el<25:29> +n<> u<267> t p<268> c<265> l<18:3> el<25:30> +n<> u<268> t p<269> c<267> l<18:3> el<25:30> +n<> u<269> t p<270> c<268> l<18:3> el<25:30> +n<> u<270> t p<295> c<269> s<293> l<18:3> el<25:30> +n<> u<271> t p<272> l<27:11> el<27:17> +n<> u<272> t p<288> c<271> s<273> l<27:11> el<27:17> +n<> u<273> t p<288> s<280> l<27:18> el<27:24> +n u<274> t p<275> l<28:5> el<28:29> +n<> u<275> t p<276> c<274> l<28:5> el<28:29> +n<> u<276> t p<280> c<275> s<279> l<28:5> el<28:29> +n u<277> t p<278> l<28:30> el<28:40> +n<> u<278> t p<279> c<277> l<28:30> el<28:40> +n<> u<279> t p<280> c<278> l<28:30> el<28:40> +n<> u<280> t p<288> c<276> s<287> l<28:5> el<28:41> +n u<281> t p<282> l<29:5> el<29:29> +n<> u<282> t p<283> c<281> l<29:5> el<29:29> +n<> u<283> t p<287> c<282> s<286> l<29:5> el<29:29> +n u<284> t p<285> l<29:30> el<29:36> +n<> u<285> t p<286> c<284> l<29:30> el<29:36> +n<> u<286> t p<287> c<285> l<29:30> el<29:36> +n<> u<287> t p<288> c<283> l<29:5> el<29:37> +n<> u<288> t p<290> c<272> s<289> l<27:11> el<30:4> +n u<289> t p<290> l<30:5> el<30:18> +n<> u<290> t p<291> c<288> l<27:3> el<30:19> +n<> u<291> t p<292> c<290> l<27:3> el<30:19> +n<> u<292> t p<293> c<291> l<27:3> el<30:19> +n<> u<293> t p<295> c<292> s<294> l<27:3> el<30:19> +n<> u<294> t p<295> l<31:1> el<31:11> +n<> u<295> t p<296> c<218> l<17:1> el<31:11> +n<> u<296> t p<381> c<295> s<380> l<17:1> el<31:11> +n u<297> t p<301> s<298> l<33:1> el<33:7> +n u<298> t p<301> s<300> l<33:8> el<33:11> +n<> u<299> t p<300> l<33:12> el<33:12> +n<> u<300> t p<301> c<299> l<33:11> el<33:13> +n<> u<301> t p<379> c<297> s<311> l<33:1> el<33:14> +n u<302> t p<303> l<34:10> el<34:18> +n<> u<303> t p<304> c<302> l<34:10> el<34:21> +n<> u<304> t p<305> c<303> l<34:3> el<34:22> +n<> u<305> t p<306> c<304> l<34:3> el<34:22> +n<> u<306> t p<307> c<305> l<34:3> el<34:22> +n<> u<307> t p<308> c<306> l<34:3> el<34:22> +n<> u<308> t p<309> c<307> l<34:3> el<34:22> +n<> u<309> t p<310> c<308> l<34:3> el<34:22> +n<> u<310> t p<311> c<309> l<34:3> el<34:22> +n<> u<311> t p<379> c<310> s<321> l<34:3> el<34:22> +n u<312> t p<313> l<35:10> el<35:22> +n<> u<313> t p<314> c<312> l<35:10> el<35:25> +n<> u<314> t p<315> c<313> l<35:3> el<35:26> +n<> u<315> t p<316> c<314> l<35:3> el<35:26> +n<> u<316> t p<317> c<315> l<35:3> el<35:26> +n<> u<317> t p<318> c<316> l<35:3> el<35:26> +n<> u<318> t p<319> c<317> l<35:3> el<35:26> +n<> u<319> t p<320> c<318> l<35:3> el<35:26> +n<> u<320> t p<321> c<319> l<35:3> el<35:26> +n<> u<321> t p<379> c<320> s<329> l<35:3> el<35:26> +n u<322> t p<323> l<36:1> el<36:14> +n<> u<323> t p<327> c<322> s<326> l<36:1> el<36:14> +n u<324> t p<325> l<36:15> el<36:21> +n<> u<325> t p<326> c<324> l<36:15> el<36:21> +n<> u<326> t p<327> c<325> l<36:15> el<36:21> +n<> u<327> t p<328> c<323> l<36:1> el<36:21> +n<> u<328> t p<329> c<327> l<36:1> el<36:21> +n<> u<329> t p<379> c<328> s<377> l<36:1> el<36:22> +n<> u<330> t p<342> s<331> l<37:5> el<37:6> +n u<331> t p<342> s<341> l<37:6> el<37:10> +n u<332> t p<338> s<333> l<37:11> el<37:17> +n u<333> t p<338> s<334> l<37:18> el<37:24> +n u<334> t p<338> s<335> l<37:25> el<37:35> +n u<335> t p<338> s<337> l<37:36> el<37:37> +n<> u<336> t p<337> l<37:37> el<37:37> +n<> u<337> t