diff --git a/test_regress/t/t_dump_json.out b/test_regress/t/t_dump_json.out deleted file mode 100644 index c5ab94f87..000000000 --- a/test_regress/t/t_dump_json.out +++ /dev/null @@ -1,2331 +0,0 @@ -{"type":"NETLIST","name":"$root","addr":"(B)","loc":"a,0:0,0:0","timeunit":"1ps","timeprecision":"1ps","typeTablep":"(C)","constPoolp":"(D)","dollarUnitPkgp":"(E)","stdPackagep":"(F)","evalp":"UNLINKED","evalNbap":"UNLINKED","dpiExportTriggerp":"UNLINKED","delaySchedulerp":"UNLINKED","nbaEventp":"UNLINKED","nbaEventTriggerp":"UNLINKED","topScopep":"UNLINKED","stlFirstIterationp":"UNLINKED", - "modulesp": [ - {"type":"MODULE","name":"t","addr":"(G)","loc":"e,7:8,7:9","origName":"t","verilogName":"t","level":1,"timeunit":"1ps","inlinesp": [], - "stmtsp": [ - {"type":"PORT","name":"clk","addr":"(H)","loc":"e,8:11,8:14","exprp": []}, - {"type":"VAR","name":"clk","addr":"(I)","loc":"e,8:11,8:14","dtypep":"UNLINKED","origName":"clk","verilogName":"clk","direction":"INPUT","lifetime":"NONE","varType":"PORT","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"LOGIC_IMPLICIT","addr":"(J)","loc":"e,8:11,8:14","dtypep":"(J)","keyword":"LOGIC_IMPLICIT","rangep": []} - ],"delayp": [],"valuep": [],"attrsp": []}, - {"type":"VAR","name":"cyc","addr":"(K)","loc":"e,11:11,11:14","dtypep":"UNLINKED","origName":"cyc","verilogName":"cyc","direction":"NONE","lifetime":"NONE","varType":"VAR","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"integer","addr":"(L)","loc":"e,11:3,11:10","dtypep":"(L)","keyword":"integer","range":"31:0","signed":true,"rangep": []} - ],"delayp": [], - "valuep": [ - {"type":"CONST","name":"?32?sh0","addr":"(M)","loc":"e,11:17,11:18","dtypep":"(N)"} - ],"attrsp": []}, - {"type":"VAR","name":"crc","addr":"(O)","loc":"e,12:14,12:17","dtypep":"UNLINKED","origName":"crc","verilogName":"crc","direction":"NONE","lifetime":"NONE","varType":"VAR","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"logic","addr":"(P)","loc":"e,12:3,12:6","dtypep":"(P)","keyword":"logic", - "rangep": [ - {"type":"RANGE","name":"","addr":"(Q)","loc":"e,12:7,12:8", - "leftp": [ - {"type":"CONST","name":"?32?sh3f","addr":"(R)","loc":"e,12:8,12:10","dtypep":"(S)"} - ], - "rightp": [ - {"type":"CONST","name":"?32?sh0","addr":"(T)","loc":"e,12:11,12:12","dtypep":"(N)"} - ]} - ]} - ],"delayp": [],"valuep": [],"attrsp": []}, - {"type":"VAR","name":"sum","addr":"(U)","loc":"e,13:14,13:17","dtypep":"UNLINKED","origName":"sum","verilogName":"sum","direction":"NONE","lifetime":"NONE","varType":"VAR","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"logic","addr":"(V)","loc":"e,13:3,13:6","dtypep":"(V)","keyword":"logic", - "rangep": [ - {"type":"RANGE","name":"","addr":"(W)","loc":"e,13:7,13:8", - "leftp": [ - {"type":"CONST","name":"?32?sh3f","addr":"(X)","loc":"e,13:8,13:10","dtypep":"(S)"} - ], - "rightp": [ - {"type":"CONST","name":"?32?sh0","addr":"(Y)","loc":"e,13:11,13:12","dtypep":"(N)"} - ]} - ]} - ],"delayp": [],"valuep": [],"attrsp": []}, - {"type":"VAR","name":"in","addr":"(Z)","loc":"e,16:15,16:17","dtypep":"UNLINKED","origName":"in","verilogName":"in","direction":"NONE","lifetime":"NONE","varType":"WIRE","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"logic","addr":"(AB)","loc":"e,16:8,16:9","dtypep":"(AB)","keyword":"logic", - "rangep": [ - {"type":"RANGE","name":"","addr":"(BB)","loc":"e,16:8,16:9", - "leftp": [ - {"type":"CONST","name":"?32?sh1f","addr":"(CB)","loc":"e,16:9,16:11","dtypep":"(DB)"} - ], - "rightp": [ - {"type":"CONST","name":"?32?sh0","addr":"(EB)","loc":"e,16:12,16:13","dtypep":"(N)"} - ]} - ]} - ],"delayp": [],"valuep": [],"attrsp": []}, - {"type":"ALWAYS","name":"","addr":"(FB)","loc":"e,16:18,16:19","keyword":"cont_assign","sentreep": [], - "stmtsp": [ - {"type":"ASSIGNW","name":"","addr":"(GB)","loc":"e,16:18,16:19","dtypep":"UNLINKED", - "rhsp": [ - {"type":"SELEXTRACT","name":"","addr":"(HB)","loc":"e,16:23,16:24","dtypep":"UNLINKED", - "fromp": [ - {"type":"PARSEREF","name":"crc","addr":"(IB)","loc":"e,16:20,16:23","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "leftp": [ - {"type":"CONST","name":"?32?sh1f","addr":"(JB)","loc":"e,16:24,16:26","dtypep":"(DB)"} - ], - "rightp": [ - {"type":"CONST","name":"?32?sh0","addr":"(KB)","loc":"e,16:27,16:28","dtypep":"(N)"} - ],"attrp": []} - ], - "lhsp": [ - {"type":"PARSEREF","name":"in","addr":"(LB)","loc":"e,16:15,16:17","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ],"timingControlp": [],"strengthSpecp": []} - ]}, - {"type":"VAR","name":"out","addr":"(MB)","loc":"e,20:25,20:28","dtypep":"UNLINKED","origName":"out","verilogName":"out","direction":"NONE","lifetime":"NONE","varType":"WIRE","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"logic","addr":"(NB)","loc":"e,20:8,20:9","dtypep":"(NB)","keyword":"logic", - "rangep": [ - {"type":"RANGE","name":"","addr":"(OB)","loc":"e,20:8,20:9", - "leftp": [ - {"type":"CONST","name":"?32?sh1f","addr":"(PB)","loc":"e,20:9,20:11","dtypep":"(DB)"} - ], - "rightp": [ - {"type":"CONST","name":"?32?sh0","addr":"(QB)","loc":"e,20:12,20:13","dtypep":"(N)"} - ]} - ]} - ],"delayp": [],"valuep": [],"attrsp": []}, - {"type":"CELL","name":"test","addr":"(RB)","loc":"e,23:8,23:12","origName":"test","verilogName":"test","modp":"(SB)", - "pinsp": [ - {"type":"PIN","name":"out","addr":"(TB)","loc":"e,25:14,25:17","svDotName":true,"modVarp":"UNLINKED","modPTypep":"UNLINKED", - "exprp": [ - {"type":"SELEXTRACT","name":"","addr":"(UB)","loc":"e,25:45,25:46","dtypep":"UNLINKED", - "fromp": [ - {"type":"PARSEREF","name":"out","addr":"(VB)","loc":"e,25:42,25:45","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "leftp": [ - {"type":"CONST","name":"?32?sh1f","addr":"(WB)","loc":"e,25:46,25:48","dtypep":"(DB)"} - ], - "rightp": [ - {"type":"CONST","name":"?32?sh0","addr":"(XB)","loc":"e,25:49,25:50","dtypep":"(N)"} - ],"attrp": []} - ]}, - {"type":"PIN","name":"clk","addr":"(YB)","loc":"e,27:14,27:17","svDotName":true,"modVarp":"UNLINKED","modPTypep":"UNLINKED", - "exprp": [ - {"type":"PARSEREF","name":"clk","addr":"(ZB)","loc":"e,27:42,27:45","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]}, - {"type":"PIN","name":"in","addr":"(AC)","loc":"e,28:14,28:16","svDotName":true,"modVarp":"UNLINKED","modPTypep":"UNLINKED", - "exprp": [ - {"type":"SELEXTRACT","name":"","addr":"(BC)","loc":"e,28:44,28:45","dtypep":"UNLINKED", - "fromp": [ - {"type":"PARSEREF","name":"in","addr":"(CC)","loc":"e,28:42,28:44","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "leftp": [ - {"type":"CONST","name":"?32?sh1f","addr":"(DC)","loc":"e,28:45,28:47","dtypep":"(DB)"} - ], - "rightp": [ - {"type":"CONST","name":"?32?sh0","addr":"(EC)","loc":"e,28:48,28:49","dtypep":"(N)"} - ],"attrp": []} - ]} - ],"paramsp": [],"rangep": [],"intfRefsp": []}, - {"type":"VAR","name":"result","addr":"(FC)","loc":"e,31:15,31:21","dtypep":"UNLINKED","origName":"result","verilogName":"result","direction":"NONE","lifetime":"NONE","varType":"WIRE","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"logic","addr":"(GC)","loc":"e,31:8,31:9","dtypep":"(GC)","keyword":"logic", - "rangep": [ - {"type":"RANGE","name":"","addr":"(HC)","loc":"e,31:8,31:9", - "leftp": [ - {"type":"CONST","name":"?32?sh3f","addr":"(IC)","loc":"e,31:9,31:11","dtypep":"(S)"} - ], - "rightp": [ - {"type":"CONST","name":"?32?sh0","addr":"(JC)","loc":"e,31:12,31:13","dtypep":"(N)"} - ]} - ]} - ],"delayp": [],"valuep": [],"attrsp": []}, - {"type":"ALWAYS","name":"","addr":"(KC)","loc":"e,31:22,31:23","keyword":"cont_assign","sentreep": [], - "stmtsp": [ - {"type":"ASSIGNW","name":"","addr":"(LC)","loc":"e,31:22,31:23","dtypep":"UNLINKED", - "rhsp": [ - {"type":"REPLICATE","name":"","addr":"(MC)","loc":"e,31:24,31:25","dtypep":"(NC)", - "srcp": [ - {"type":"CONCAT","name":"","addr":"(OC)","loc":"e,31:30,31:31","dtypep":"UNLINKED", - "lhsp": [ - {"type":"CONST","name":"32'h0","addr":"(PC)","loc":"e,31:25,31:30","dtypep":"(QC)"} - ], - "rhsp": [ - {"type":"PARSEREF","name":"out","addr":"(RC)","loc":"e,31:32,31:35","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ], - "countp": [ - {"type":"CONST","name":"32'h1","addr":"(SC)","loc":"e,31:24,31:25","dtypep":"(QC)"} - ]} - ], - "lhsp": [ - {"type":"PARSEREF","name":"result","addr":"(TC)","loc":"e,31:15,31:21","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ],"timingControlp": [],"strengthSpecp": []} - ]}, - {"type":"ALWAYS","name":"","addr":"(UC)","loc":"e,34:3,34:9","keyword":"always","sentreep": [], - "stmtsp": [ - {"type":"EVENTCONTROL","name":"","addr":"(VC)","loc":"e,34:10,34:11", - "sentreep": [ - {"type":"SENTREE","name":"","addr":"(WC)","loc":"e,34:10,34:11", - "sensesp": [ - {"type":"SENITEM","name":"","addr":"(XC)","loc":"e,34:13,34:20","edgeType":"POS", - "sensp": [ - {"type":"PARSEREF","name":"clk","addr":"(YC)","loc":"e,34:21,34:24","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ],"condp": []} - ]} - ], - "stmtsp": [ - {"type":"BEGIN","name":"","addr":"(ZC)","loc":"e,34:26,34:31","unnamed":true,"declsp": [], - "stmtsp": [ - {"type":"ASSIGNDLY","name":"","addr":"(AD)","loc":"e,38:10,38:12","dtypep":"UNLINKED", - "rhsp": [ - {"type":"ADD","name":"","addr":"(BD)","loc":"e,38:17,38:18","dtypep":"UNLINKED", - "lhsp": [ - {"type":"PARSEREF","name":"cyc","addr":"(CD)","loc":"e,38:13,38:16","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"CONST","name":"?32?sh1","addr":"(DD)","loc":"e,38:19,38:20","dtypep":"(N)"} - ]} - ], - "lhsp": [ - {"type":"PARSEREF","name":"cyc","addr":"(ED)","loc":"e,38:6,38:9","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ],"timingControlp": []}, - {"type":"ASSIGNDLY","name":"","addr":"(FD)","loc":"e,39:10,39:12","dtypep":"UNLINKED", - "rhsp": [ - {"type":"REPLICATE","name":"","addr":"(GD)","loc":"e,39:13,39:14","dtypep":"(NC)", - "srcp": [ - {"type":"CONCAT","name":"","addr":"(HD)","loc":"e,39:23,39:24","dtypep":"UNLINKED", - "lhsp": [ - {"type":"SELEXTRACT","name":"","addr":"(ID)","loc":"e,39:17,39:18","dtypep":"UNLINKED", - "fromp": [ - {"type":"PARSEREF","name":"crc","addr":"(JD)","loc":"e,39:14,39:17","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "leftp": [ - {"type":"CONST","name":"?32?sh3e","addr":"(KD)","loc":"e,39:18,39:20","dtypep":"(S)"} - ], - "rightp": [ - {"type":"CONST","name":"?32?sh0","addr":"(LD)","loc":"e,39:21,39:22","dtypep":"(N)"} - ],"attrp": []} - ], - "rhsp": [ - {"type":"XOR","name":"","addr":"(MD)","loc":"e,39:42,39:43","dtypep":"UNLINKED", - "lhsp": [ - {"type":"XOR","name":"","addr":"(ND)","loc":"e,39:33,39:34","dtypep":"UNLINKED", - "lhsp": [ - {"type":"SELBIT","name":"","addr":"(OD)","loc":"e,39:28,39:29","dtypep":"UNLINKED", - "fromp": [ - {"type":"PARSEREF","name":"crc","addr":"(PD)","loc":"e,39:25,39:28","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "bitp": [ - {"type":"CONST","name":"?32?sh3f","addr":"(QD)","loc":"e,39:29,39:31","dtypep":"(S)"} - ],"thsp": [],"attrp": []} - ], - "rhsp": [ - {"type":"SELBIT","name":"","addr":"(RD)","loc":"e,39:38,39:39","dtypep":"UNLINKED", - "fromp": [ - {"type":"PARSEREF","name":"crc","addr":"(SD)","loc":"e,39:35,39:38","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "bitp": [ - {"type":"CONST","name":"?32?sh2","addr":"(TD)","loc":"e,39:39,39:40","dtypep":"(UD)"} - ],"thsp": [],"attrp": []} - ]} - ], - "rhsp": [ - {"type":"SELBIT","name":"","addr":"(VD)","loc":"e,39:47,39:48","dtypep":"UNLINKED", - "fromp": [ - {"type":"PARSEREF","name":"crc","addr":"(WD)","loc":"e,39:44,39:47","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "bitp": [ - {"type":"CONST","name":"?32?sh0","addr":"(XD)","loc":"e,39:48,39:49","dtypep":"(N)"} - ],"thsp": [],"attrp": []} - ]} - ]} - ], - "countp": [ - {"type":"CONST","name":"32'h1","addr":"(YD)","loc":"e,39:13,39:14","dtypep":"(QC)"} - ]} - ], - "lhsp": [ - {"type":"PARSEREF","name":"crc","addr":"(ZD)","loc":"e,39:6,39:9","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ],"timingControlp": []}, - {"type":"ASSIGNDLY","name":"","addr":"(AE)","loc":"e,40:10,40:12","dtypep":"UNLINKED", - "rhsp": [ - {"type":"XOR","name":"","addr":"(BE)","loc":"e,40:20,40:21","dtypep":"UNLINKED", - "lhsp": [ - {"type":"PARSEREF","name":"result","addr":"(CE)","loc":"e,40:13,40:19","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"REPLICATE","name":"","addr":"(DE)","loc":"e,40:22,40:23","dtypep":"(NC)", - "srcp": [ - {"type":"CONCAT","name":"","addr":"(EE)","loc":"e,40:32,40:33","dtypep":"UNLINKED", - "lhsp": [ - {"type":"SELEXTRACT","name":"","addr":"(FE)","loc":"e,40:26,40:27","dtypep":"UNLINKED", - "fromp": [ - {"type":"PARSEREF","name":"sum","addr":"(GE)","loc":"e,40:23,40:26","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "leftp": [ - {"type":"CONST","name":"?32?sh3e","addr":"(HE)","loc":"e,40:27,40:29","dtypep":"(S)"} - ], - "rightp": [ - {"type":"CONST","name":"?32?sh0","addr":"(IE)","loc":"e,40:30,40:31","dtypep":"(N)"} - ],"attrp": []} - ], - "rhsp": [ - {"type":"XOR","name":"","addr":"(JE)","loc":"e,40:51,40:52","dtypep":"UNLINKED", - "lhsp": [ - {"type":"XOR","name":"","addr":"(KE)","loc":"e,40:42,40:43","dtypep":"UNLINKED", - "lhsp": [ - {"type":"SELBIT","name":"","addr":"(LE)","loc":"e,40:37,40:38","dtypep":"UNLINKED", - "fromp": [ - {"type":"PARSEREF","name":"sum","addr":"(ME)","loc":"e,40:34,40:37","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "bitp": [ - {"type":"CONST","name":"?32?sh3f","addr":"(NE)","loc":"e,40:38,40:40","dtypep":"(S)"} - ],"thsp": [],"attrp": []} - ], - "rhsp": [ - {"type":"SELBIT","name":"","addr":"(OE)","loc":"e,40:47,40:48","dtypep":"UNLINKED", - "fromp": [ - {"type":"PARSEREF","name":"sum","addr":"(PE)","loc":"e,40:44,40:47","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "bitp": [ - {"type":"CONST","name":"?32?sh2","addr":"(QE)","loc":"e,40:48,40:49","dtypep":"(UD)"} - ],"thsp": [],"attrp": []} - ]} - ], - "rhsp": [ - {"type":"SELBIT","name":"","addr":"(RE)","loc":"e,40:56,40:57","dtypep":"UNLINKED", - "fromp": [ - {"type":"PARSEREF","name":"sum","addr":"(SE)","loc":"e,40:53,40:56","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "bitp": [ - {"type":"CONST","name":"?32?sh0","addr":"(TE)","loc":"e,40:57,40:58","dtypep":"(N)"} - ],"thsp": [],"attrp": []} - ]} - ]} - ], - "countp": [ - {"type":"CONST","name":"32'h1","addr":"(UE)","loc":"e,40:22,40:23","dtypep":"(QC)"} - ]} - ]} - ], - "lhsp": [ - {"type":"PARSEREF","name":"sum","addr":"(VE)","loc":"e,40:6,40:9","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ],"timingControlp": []}, - {"type":"IF","name":"","addr":"(WE)","loc":"e,41:6,41:8", - "condp": [ - {"type":"EQ","name":"","addr":"(XE)","loc":"e,41:14,41:16","dtypep":"(YE)", - "lhsp": [ - {"type":"PARSEREF","name":"cyc","addr":"(ZE)","loc":"e,41:10,41:13","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"CONST","name":"?32?sh0","addr":"(AF)","loc":"e,41:17,41:18","dtypep":"(N)"} - ]} - ], - "thensp": [ - {"type":"BEGIN","name":"","addr":"(BF)","loc":"e,41:20,41:25","unnamed":true,"declsp": [], - "stmtsp": [ - {"type":"ASSIGNDLY","name":"","addr":"(CF)","loc":"e,43:13,43:15","dtypep":"UNLINKED", - "rhsp": [ - {"type":"CONST","name":"64'h5aef0c8dd70a4497","addr":"(DF)","loc":"e,43:16,43:37","dtypep":"(EF)"} - ], - "lhsp": [ - {"type":"PARSEREF","name":"crc","addr":"(FF)","loc":"e,43:9,43:12","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ],"timingControlp": []}, - {"type":"ASSIGNDLY","name":"","addr":"(GF)","loc":"e,44:13,44:15","dtypep":"UNLINKED", - "rhsp": [ - {"type":"CONST","name":"'0","addr":"(HF)","loc":"e,44:16,44:18","dtypep":"(YE)"} - ], - "lhsp": [ - {"type":"PARSEREF","name":"sum","addr":"(IF)","loc":"e,44:9,44:12","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ],"timingControlp": []} - ]} - ], - "elsesp": [ - {"type":"IF","name":"","addr":"(JF)","loc":"e,46:11,46:13", - "condp": [ - {"type":"LT","name":"","addr":"(KF)","loc":"e,46:19,46:20","dtypep":"(YE)", - "lhsp": [ - {"type":"PARSEREF","name":"cyc","addr":"(LF)","loc":"e,46:15,46:18","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"CONST","name":"?32?sha","addr":"(MF)","loc":"e,46:21,46:23","dtypep":"(NF)"} - ]} - ], - "thensp": [ - {"type":"BEGIN","name":"","addr":"(OF)","loc":"e,46:25,46:30","unnamed":true,"declsp": [], - "stmtsp": [ - {"type":"ASSIGNDLY","name":"","addr":"(PF)","loc":"e,47:13,47:15","dtypep":"UNLINKED", - "rhsp": [ - {"type":"CONST","name":"'0","addr":"(QF)","loc":"e,47:16,47:18","dtypep":"(YE)"} - ], - "lhsp": [ - {"type":"PARSEREF","name":"sum","addr":"(RF)","loc":"e,47:9,47:12","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ],"timingControlp": []} - ]} - ], - "elsesp": [ - {"type":"IF","name":"","addr":"(SF)","loc":"e,49:11,49:13", - "condp": [ - {"type":"LT","name":"","addr":"(TF)","loc":"e,49:19,49:20","dtypep":"(YE)", - "lhsp": [ - {"type":"PARSEREF","name":"cyc","addr":"(UF)","loc":"e,49:15,49:18","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"CONST","name":"?32?sh5a","addr":"(VF)","loc":"e,49:21,49:23","dtypep":"(WF)"} - ]} - ], - "thensp": [ - {"type":"BEGIN","name":"","addr":"(XF)","loc":"e,49:25,49:30","unnamed":true,"declsp": [],"stmtsp": []} - ], - "elsesp": [ - {"type":"IF","name":"","addr":"(YF)","loc":"e,51:11,51:13", - "condp": [ - {"type":"EQ","name":"","addr":"(ZF)","loc":"e,51:19,51:21","dtypep":"(YE)", - "lhsp": [ - {"type":"PARSEREF","name":"cyc","addr":"(AG)","loc":"e,51:15,51:18","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"CONST","name":"?32?sh63","addr":"(BG)","loc":"e,51:22,51:24","dtypep":"(WF)"} - ]} - ], - "thensp": [ - {"type":"BEGIN","name":"","addr":"(CG)","loc":"e,51:26,51:31","unnamed":true,"declsp": [], - "stmtsp": [ - {"type":"DISPLAY","name":"","addr":"(DG)","loc":"e,52:9,52:15", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(EG)","loc":"e,52:9,52:15","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"232'h5b2530745d206379633d3d253064206372633d25782073756d3d25780a","addr":"(GG)","loc":"e,52:16,52:48","dtypep":"(HG)"}, - {"type":"TIME","name":"","addr":"(IG)","loc":"e,52:50,52:55","dtypep":"(JG)","timeunit":"NONE"}, - {"type":"PARSEREF","name":"cyc","addr":"(KG)","loc":"e,52:57,52:60","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []}, - {"type":"PARSEREF","name":"crc","addr":"(LG)","loc":"e,52:62,52:65","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []}, - {"type":"PARSEREF","name":"sum","addr":"(MG)","loc":"e,52:67,52:70","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ],"scopeNamep": []} - ],"filep": []}, - {"type":"IF","name":"","addr":"(NG)","loc":"e,53:9,53:11", - "condp": [ - {"type":"NEQCASE","name":"","addr":"(OG)","loc":"e,53:17,53:20","dtypep":"(YE)", - "lhsp": [ - {"type":"PARSEREF","name":"crc","addr":"(PG)","loc":"e,53:13,53:16","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"CONST","name":"64'hc77bb9b3784ea091","addr":"(QG)","loc":"e,53:21,53:41","dtypep":"(EF)"} - ]} - ], - "thensp": [ - {"type":"STOP","name":"","addr":"(RG)","loc":"e,53:43,53:48"} - ],"elsesp": []}, - {"type":"IF","name":"","addr":"(SG)","loc":"e,56:9,56:11", - "condp": [ - {"type":"NEQCASE","name":"","addr":"(TG)","loc":"e,56:17,56:20","dtypep":"(YE)", - "lhsp": [ - {"type":"PARSEREF","name":"sum","addr":"(UG)","loc":"e,56:13,56:16","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"CONST","name":"64'h4afe43fb79d7b71e","addr":"(VG)","loc":"e,56:21,56:41","dtypep":"(EF)"} - ]} - ], - "thensp": [ - {"type":"STOP","name":"","addr":"(WG)","loc":"e,56:43,56:48"} - ],"elsesp": []}, - {"type":"DISPLAY","name":"","addr":"(XG)","loc":"e,57:9,57:15", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(YG)","loc":"e,57:9,57:15","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"168'h2a2d2a20416c6c2046696e6973686564202a2d2a0a","addr":"(ZG)","loc":"e,57:16,57:40","dtypep":"(AH)"} - ],"scopeNamep": []} - ],"filep": []}, - {"type":"FINISH","name":"","addr":"(BH)","loc":"e,58:9,58:16"} - ]} - ],"elsesp": []} - ]} - ]} - ]} - ]} - ]} - ]} - ]}, - {"type":"MODULE","name":"Test","addr":"(SB)","loc":"e,64:8,64:12","origName":"Test","verilogName":"Test","level":2,"timeunit":"1ps","inlinesp": [], - "stmtsp": [ - {"type":"PORT","name":"out","addr":"(CH)","loc":"e,66:3,66:6","exprp": []}, - {"type":"PORT","name":"clk","addr":"(DH)","loc":"e,68:3,68:6","exprp": []}, - {"type":"PORT","name":"in","addr":"(EH)","loc":"e,68:8,68:10","exprp": []}, - {"type":"VAR","name":"clk","addr":"(FH)","loc":"e,76:9,76:12","dtypep":"UNLINKED","origName":"clk","verilogName":"clk","direction":"INPUT","lifetime":"NONE","varType":"PORT","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"LOGIC_IMPLICIT","addr":"(GH)","loc":"e,76:9,76:12","dtypep":"(GH)","keyword":"LOGIC_IMPLICIT","rangep": []} - ],"delayp": [],"valuep": [],"attrsp": []}, - {"type":"VAR","name":"in","addr":"(HH)","loc":"e,77:16,77:18","dtypep":"UNLINKED","origName":"in","verilogName":"in","direction":"INPUT","lifetime":"NONE","varType":"PORT","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"logic","addr":"(IH)","loc":"e,77:9,77:10","dtypep":"(IH)","keyword":"logic", - "rangep": [ - {"type":"RANGE","name":"","addr":"(JH)","loc":"e,77:9,77:10", - "leftp": [ - {"type":"CONST","name":"?32?sh1f","addr":"(KH)","loc":"e,77:10,77:12","dtypep":"(DB)"} - ], - "rightp": [ - {"type":"CONST","name":"?32?sh0","addr":"(LH)","loc":"e,77:13,77:14","dtypep":"(N)"} - ]} - ]} - ],"delayp": [],"valuep": [],"attrsp": []}, - {"type":"VAR","name":"out","addr":"(MH)","loc":"e,78:21,78:24","dtypep":"UNLINKED","origName":"out","verilogName":"out","direction":"OUTPUT","lifetime":"NONE","varType":"PORT","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"logic","addr":"(NH)","loc":"e,78:10,78:13","dtypep":"(NH)","keyword":"logic", - "rangep": [ - {"type":"RANGE","name":"","addr":"(OH)","loc":"e,78:14,78:15", - "leftp": [ - {"type":"CONST","name":"?32?sh1f","addr":"(PH)","loc":"e,78:15,78:17","dtypep":"(DB)"} - ], - "rightp": [ - {"type":"CONST","name":"?32?sh0","addr":"(QH)","loc":"e,78:18,78:19","dtypep":"(N)"} - ]} - ]} - ],"delayp": [],"valuep": [],"attrsp": []}, - {"type":"ALWAYS","name":"","addr":"(RH)","loc":"e,80:3,80:9","keyword":"always","sentreep": [], - "stmtsp": [ - {"type":"EVENTCONTROL","name":"","addr":"(SH)","loc":"e,80:10,80:11", - "sentreep": [ - {"type":"SENTREE","name":"","addr":"(TH)","loc":"e,80:10,80:11", - "sensesp": [ - {"type":"SENITEM","name":"","addr":"(UH)","loc":"e,80:12,80:19","edgeType":"POS", - "sensp": [ - {"type":"PARSEREF","name":"clk","addr":"(VH)","loc":"e,80:20,80:23","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ],"condp": []} - ]} - ], - "stmtsp": [ - {"type":"BEGIN","name":"","addr":"(WH)","loc":"e,80:25,80:30","unnamed":true,"declsp": [], - "stmtsp": [ - {"type":"ASSIGNDLY","name":"","addr":"(XH)","loc":"e,81:10,81:12","dtypep":"UNLINKED", - "rhsp": [ - {"type":"PARSEREF","name":"in","addr":"(YH)","loc":"e,81:13,81:15","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "lhsp": [ - {"type":"PARSEREF","name":"out","addr":"(ZH)","loc":"e,81:6,81:9","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ],"timingControlp": []}, - {"type":"ASSERTCTL","name":"","addr":"(AI)","loc":"e,84:6,84:16", - "controlTypep": [ - {"type":"CONST","name":"32'h4","addr":"(BI)","loc":"e,84:6,84:16","dtypep":"(QC)"} - ], - "assertTypesp": [ - {"type":"CONST","name":"32'hf","addr":"(CI)","loc":"e,84:6,84:16","dtypep":"(QC)"} - ], - "directiveTypesp": [ - {"type":"CONST","name":"32'h7","addr":"(DI)","loc":"e,84:6,84:16","dtypep":"(QC)"} - ]}, - {"type":"ASSERTCTL","name":"","addr":"(EI)","loc":"e,85:6,85:17", - "controlTypep": [ - {"type":"CONST","name":"32'h5","addr":"(FI)","loc":"e,85:6,85:17","dtypep":"(QC)"} - ], - "assertTypesp": [ - {"type":"CONST","name":"32'hf","addr":"(GI)","loc":"e,85:6,85:17","dtypep":"(QC)"} - ], - "directiveTypesp": [ - {"type":"CONST","name":"32'h7","addr":"(HI)","loc":"e,85:6,85:17","dtypep":"(QC)"} - ]}, - {"type":"ASSERT","name":"","addr":"(II)","loc":"e,86:6,86:12","type":"[SIMPLE_IMMEDIATE]","immediate":true, - "propp": [ - {"type":"CONST","name":"?32?sh0","addr":"(JI)","loc":"e,86:13,86:14","dtypep":"(N)"} - ],"sentreep": [],"failsp": [],"passsp": []}, - {"type":"ASSERTCTL","name":"","addr":"(KI)","loc":"e,87:6,87:15", - "controlTypep": [ - {"type":"CONST","name":"32'h3","addr":"(LI)","loc":"e,87:6,87:15","dtypep":"(QC)"} - ], - "assertTypesp": [ - {"type":"CONST","name":"32'hf","addr":"(MI)","loc":"e,87:6,87:15","dtypep":"(QC)"} - ], - "directiveTypesp": [ - {"type":"CONST","name":"32'h7","addr":"(NI)","loc":"e,87:6,87:15","dtypep":"(QC)"} - ]}, - {"type":"ASSERTCTL","name":"","addr":"(OI)","loc":"e,88:6,88:20", - "controlTypep": [ - {"type":"CONST","name":"?32?sh3","addr":"(PI)","loc":"e,88:21,88:22","dtypep":"(UD)"} - ], - "assertTypesp": [ - {"type":"CONST","name":"?32?sh8","addr":"(QI)","loc":"e,88:24,88:25","dtypep":"(NF)"} - ],"directiveTypesp": []}, - {"type":"BEGIN","name":"blk","addr":"(RI)","loc":"e,89:6,89:11","declsp": [], - "stmtsp": [ - {"type":"DISABLE","name":"","addr":"(SI)","loc":"e,90:9,90:16", - "targetRefp": [ - {"type":"PARSEREF","name":"blk","addr":"(TI)","loc":"e,90:17,90:20","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ]} - ]} - ]} - ]}, - {"type":"INITIAL","name":"","addr":"(UI)","loc":"e,93:3,93:10", - "stmtsp": [ - {"type":"BEGIN","name":"","addr":"(VI)","loc":"e,93:11,93:16","unnamed":true,"declsp": [], - "stmtsp": [ - {"type":"BEGIN","name":"assert_simple_immediate_else","addr":"(WI)","loc":"e,94:6,94:34","declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(XI)","loc":"e,94:36,94:42","type":"[SIMPLE_IMMEDIATE]","immediate":true, - "propp": [ - {"type":"CONST","name":"?32?sh0","addr":"(YI)","loc":"e,94:43,94:44","dtypep":"(N)"} - ],"sentreep": [], - "failsp": [ - {"type":"DISPLAY","name":"","addr":"(ZI)","loc":"e,94:51,94:59", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(AJ)","loc":"e,94:51,94:59","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h6661696c","addr":"(BJ)","loc":"e,94:60,94:66","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ],"passsp": []} - ]}, - {"type":"BEGIN","name":"assert_simple_immediate_stmt","addr":"(CJ)","loc":"e,95:6,95:34","declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(DJ)","loc":"e,95:36,95:42","type":"[SIMPLE_IMMEDIATE]","immediate":true, - "propp": [ - {"type":"CONST","name":"?32?sh0","addr":"(EJ)","loc":"e,95:43,95:44","dtypep":"(N)"} - ],"sentreep": [],"failsp": [], - "passsp": [ - {"type":"DISPLAY","name":"","addr":"(FJ)","loc":"e,95:46,95:54", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(GJ)","loc":"e,95:46,95:54","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h70617373","addr":"(HJ)","loc":"e,95:55,95:61","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ]} - ]}, - {"type":"BEGIN","name":"assert_simple_immediate_stmt_else","addr":"(IJ)","loc":"e,96:6,96:39","declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(JJ)","loc":"e,96:41,96:47","type":"[SIMPLE_IMMEDIATE]","immediate":true, - "propp": [ - {"type":"CONST","name":"?32?sh0","addr":"(KJ)","loc":"e,96:48,96:49","dtypep":"(N)"} - ],"sentreep": [], - "failsp": [ - {"type":"DISPLAY","name":"","addr":"(LJ)","loc":"e,96:74,96:82", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(MJ)","loc":"e,96:74,96:82","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h6661696c","addr":"(NJ)","loc":"e,96:83,96:89","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ], - "passsp": [ - {"type":"DISPLAY","name":"","addr":"(OJ)","loc":"e,96:51,96:59", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(PJ)","loc":"e,96:51,96:59","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h70617373","addr":"(QJ)","loc":"e,96:60,96:66","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ]} - ]}, - {"type":"BEGIN","name":"assume_simple_immediate","addr":"(RJ)","loc":"e,98:6,98:29","declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(SJ)","loc":"e,98:31,98:37","type":"[SIMPLE_IMMEDIATE]","immediate":true, - "propp": [ - {"type":"CONST","name":"?32?sh0","addr":"(TJ)","loc":"e,98:38,98:39","dtypep":"(N)"} - ],"sentreep": [],"failsp": [],"passsp": []} - ]}, - {"type":"BEGIN","name":"assume_simple_immediate_else","addr":"(UJ)","loc":"e,99:6,99:34","declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(VJ)","loc":"e,99:36,99:42","type":"[SIMPLE_IMMEDIATE]","immediate":true, - "propp": [ - {"type":"CONST","name":"?32?sh0","addr":"(WJ)","loc":"e,99:43,99:44","dtypep":"(N)"} - ],"sentreep": [], - "failsp": [ - {"type":"DISPLAY","name":"","addr":"(XJ)","loc":"e,99:51,99:59", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(YJ)","loc":"e,99:51,99:59","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h6661696c","addr":"(ZJ)","loc":"e,99:60,99:66","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ],"passsp": []} - ]}, - {"type":"BEGIN","name":"assume_simple_immediate_stmt","addr":"(AK)","loc":"e,100:6,100:34","declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(BK)","loc":"e,100:36,100:42","type":"[SIMPLE_IMMEDIATE]","immediate":true, - "propp": [ - {"type":"CONST","name":"?32?sh0","addr":"(CK)","loc":"e,100:43,100:44","dtypep":"(N)"} - ],"sentreep": [],"failsp": [], - "passsp": [ - {"type":"DISPLAY","name":"","addr":"(DK)","loc":"e,100:46,100:54", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(EK)","loc":"e,100:46,100:54","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h70617373","addr":"(FK)","loc":"e,100:55,100:61","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ]} - ]}, - {"type":"BEGIN","name":"assume_simple_immediate_stmt_else","addr":"(GK)","loc":"e,101:6,101:39","declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(HK)","loc":"e,101:41,101:47","type":"[SIMPLE_IMMEDIATE]","immediate":true, - "propp": [ - {"type":"CONST","name":"?32?sh0","addr":"(IK)","loc":"e,101:48,101:49","dtypep":"(N)"} - ],"sentreep": [], - "failsp": [ - {"type":"DISPLAY","name":"","addr":"(JK)","loc":"e,101:74,101:82", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(KK)","loc":"e,101:74,101:82","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h6661696c","addr":"(LK)","loc":"e,101:83,101:89","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ], - "passsp": [ - {"type":"DISPLAY","name":"","addr":"(MK)","loc":"e,101:51,101:59", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(NK)","loc":"e,101:51,101:59","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h70617373","addr":"(OK)","loc":"e,101:60,101:66","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ]} - ]} - ]} - ]}, - {"type":"ALWAYS","name":"","addr":"(PK)","loc":"e,104:3,104:37","keyword":"always_comb","sentreep": [], - "stmtsp": [ - {"type":"BEGIN","name":"assert_observed_deferred_immediate","addr":"(QK)","loc":"e,104:3,104:37","implied":true,"declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(RK)","loc":"e,104:39,104:45","type":"[OBSERVED_DEFERRED_IMMEDIATE]","immediate":true, - "propp": [ - {"type":"CONST","name":"?32?sh0","addr":"(SK)","loc":"e,104:50,104:51","dtypep":"(N)"} - ],"sentreep": [],"failsp": [],"passsp": []} - ]} - ]}, - {"type":"ALWAYS","name":"","addr":"(TK)","loc":"e,105:3,105:42","keyword":"always_comb","sentreep": [], - "stmtsp": [ - {"type":"BEGIN","name":"assert_observed_deferred_immediate_else","addr":"(UK)","loc":"e,105:3,105:42","implied":true,"declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(VK)","loc":"e,105:44,105:50","type":"[OBSERVED_DEFERRED_IMMEDIATE]","immediate":true, - "propp": [ - {"type":"CONST","name":"?32?sh0","addr":"(WK)","loc":"e,105:55,105:56","dtypep":"(N)"} - ],"sentreep": [], - "failsp": [ - {"type":"DISPLAY","name":"","addr":"(XK)","loc":"e,105:63,105:71", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(YK)","loc":"e,105:63,105:71","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h6661696c","addr":"(ZK)","loc":"e,105:72,105:78","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ],"passsp": []} - ]} - ]}, - {"type":"ALWAYS","name":"","addr":"(AL)","loc":"e,106:3,106:42","keyword":"always_comb","sentreep": [], - "stmtsp": [ - {"type":"BEGIN","name":"assert_observed_deferred_immediate_stmt","addr":"(BL)","loc":"e,106:3,106:42","implied":true,"declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(CL)","loc":"e,106:44,106:50","type":"[OBSERVED_DEFERRED_IMMEDIATE]","immediate":true, - "propp": [ - {"type":"CONST","name":"?32?sh0","addr":"(DL)","loc":"e,106:55,106:56","dtypep":"(N)"} - ],"sentreep": [],"failsp": [], - "passsp": [ - {"type":"DISPLAY","name":"","addr":"(EL)","loc":"e,106:58,106:66", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(FL)","loc":"e,106:58,106:66","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h70617373","addr":"(GL)","loc":"e,106:67,106:73","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ]} - ]} - ]}, - {"type":"ALWAYS","name":"","addr":"(HL)","loc":"e,107:3,107:47","keyword":"always_comb","sentreep": [], - "stmtsp": [ - {"type":"BEGIN","name":"assert_observed_deferred_immediate_stmt_else","addr":"(IL)","loc":"e,107:3,107:47","implied":true,"declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(JL)","loc":"e,107:49,107:55","type":"[OBSERVED_DEFERRED_IMMEDIATE]","immediate":true, - "propp": [ - {"type":"CONST","name":"?32?sh0","addr":"(KL)","loc":"e,107:60,107:61","dtypep":"(N)"} - ],"sentreep": [], - "failsp": [ - {"type":"DISPLAY","name":"","addr":"(LL)","loc":"e,107:86,107:94", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(ML)","loc":"e,107:86,107:94","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h6661696c","addr":"(NL)","loc":"e,107:95,107:101","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ], - "passsp": [ - {"type":"DISPLAY","name":"","addr":"(OL)","loc":"e,107:63,107:71", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(PL)","loc":"e,107:63,107:71","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h70617373","addr":"(QL)","loc":"e,107:72,107:78","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ]} - ]} - ]}, - {"type":"ALWAYS","name":"","addr":"(RL)","loc":"e,109:3,109:37","keyword":"always_comb","sentreep": [], - "stmtsp": [ - {"type":"BEGIN","name":"assume_observed_deferred_immediate","addr":"(SL)","loc":"e,109:3,109:37","implied":true,"declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(TL)","loc":"e,109:39,109:45","type":"[OBSERVED_DEFERRED_IMMEDIATE]","immediate":true, - "propp": [ - {"type":"CONST","name":"?32?sh0","addr":"(UL)","loc":"e,109:50,109:51","dtypep":"(N)"} - ],"sentreep": [],"failsp": [],"passsp": []} - ]} - ]}, - {"type":"ALWAYS","name":"","addr":"(VL)","loc":"e,110:3,110:42","keyword":"always_comb","sentreep": [], - "stmtsp": [ - {"type":"BEGIN","name":"assume_observed_deferred_immediate_else","addr":"(WL)","loc":"e,110:3,110:42","implied":true,"declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(XL)","loc":"e,110:44,110:50","type":"[OBSERVED_DEFERRED_IMMEDIATE]","immediate":true, - "propp": [ - {"type":"CONST","name":"?32?sh0","addr":"(YL)","loc":"e,110:55,110:56","dtypep":"(N)"} - ],"sentreep": [], - "failsp": [ - {"type":"DISPLAY","name":"","addr":"(ZL)","loc":"e,110:63,110:71", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(AM)","loc":"e,110:63,110:71","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h6661696c","addr":"(BM)","loc":"e,110:72,110:78","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ],"passsp": []} - ]} - ]}, - {"type":"ALWAYS","name":"","addr":"(CM)","loc":"e,111:3,111:42","keyword":"always_comb","sentreep": [], - "stmtsp": [ - {"type":"BEGIN","name":"assume_observed_deferred_immediate_stmt","addr":"(DM)","loc":"e,111:3,111:42","implied":true,"declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(EM)","loc":"e,111:44,111:50","type":"[OBSERVED_DEFERRED_IMMEDIATE]","immediate":true, - "propp": [ - {"type":"CONST","name":"?32?sh0","addr":"(FM)","loc":"e,111:55,111:56","dtypep":"(N)"} - ],"sentreep": [],"failsp": [], - "passsp": [ - {"type":"DISPLAY","name":"","addr":"(GM)","loc":"e,111:58,111:66", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(HM)","loc":"e,111:58,111:66","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h70617373","addr":"(IM)","loc":"e,111:67,111:73","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ]} - ]} - ]}, - {"type":"ALWAYS","name":"","addr":"(JM)","loc":"e,112:3,112:47","keyword":"always_comb","sentreep": [], - "stmtsp": [ - {"type":"BEGIN","name":"assume_observed_deferred_immediate_stmt_else","addr":"(KM)","loc":"e,112:3,112:47","implied":true,"declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(LM)","loc":"e,112:49,112:55","type":"[OBSERVED_DEFERRED_IMMEDIATE]","immediate":true, - "propp": [ - {"type":"CONST","name":"?32?sh0","addr":"(MM)","loc":"e,112:60,112:61","dtypep":"(N)"} - ],"sentreep": [], - "failsp": [ - {"type":"DISPLAY","name":"","addr":"(NM)","loc":"e,112:86,112:94", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(OM)","loc":"e,112:86,112:94","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h6661696c","addr":"(PM)","loc":"e,112:95,112:101","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ], - "passsp": [ - {"type":"DISPLAY","name":"","addr":"(QM)","loc":"e,112:63,112:71", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(RM)","loc":"e,112:63,112:71","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h70617373","addr":"(SM)","loc":"e,112:72,112:78","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ]} - ]} - ]}, - {"type":"ALWAYS","name":"","addr":"(TM)","loc":"e,114:3,114:34","keyword":"always_comb","sentreep": [], - "stmtsp": [ - {"type":"BEGIN","name":"assert_final_deferred_immediate","addr":"(UM)","loc":"e,114:3,114:34","implied":true,"declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(VM)","loc":"e,114:36,114:42","type":"[FINAL_DEFERRED_IMMEDIATE]","immediate":true, - "propp": [ - {"type":"CONST","name":"?32?sh0","addr":"(WM)","loc":"e,114:50,114:51","dtypep":"(N)"} - ],"sentreep": [],"failsp": [],"passsp": []} - ]} - ]}, - {"type":"ALWAYS","name":"","addr":"(XM)","loc":"e,115:3,115:39","keyword":"always_comb","sentreep": [], - "stmtsp": [ - {"type":"BEGIN","name":"assert_final_deferred_immediate_else","addr":"(YM)","loc":"e,115:3,115:39","implied":true,"declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(ZM)","loc":"e,115:41,115:47","type":"[FINAL_DEFERRED_IMMEDIATE]","immediate":true, - "propp": [ - {"type":"CONST","name":"?32?sh0","addr":"(AN)","loc":"e,115:55,115:56","dtypep":"(N)"} - ],"sentreep": [], - "failsp": [ - {"type":"DISPLAY","name":"","addr":"(BN)","loc":"e,115:63,115:71", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(CN)","loc":"e,115:63,115:71","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h6661696c","addr":"(DN)","loc":"e,115:72,115:78","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ],"passsp": []} - ]} - ]}, - {"type":"ALWAYS","name":"","addr":"(EN)","loc":"e,116:3,116:39","keyword":"always_comb","sentreep": [], - "stmtsp": [ - {"type":"BEGIN","name":"assert_final_deferred_immediate_stmt","addr":"(FN)","loc":"e,116:3,116:39","implied":true,"declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(GN)","loc":"e,116:41,116:47","type":"[FINAL_DEFERRED_IMMEDIATE]","immediate":true, - "propp": [ - {"type":"CONST","name":"?32?sh0","addr":"(HN)","loc":"e,116:55,116:56","dtypep":"(N)"} - ],"sentreep": [],"failsp": [], - "passsp": [ - {"type":"DISPLAY","name":"","addr":"(IN)","loc":"e,116:58,116:66", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(JN)","loc":"e,116:58,116:66","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h70617373","addr":"(KN)","loc":"e,116:67,116:73","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ]} - ]} - ]}, - {"type":"ALWAYS","name":"","addr":"(LN)","loc":"e,117:3,117:44","keyword":"always_comb","sentreep": [], - "stmtsp": [ - {"type":"BEGIN","name":"assert_final_deferred_immediate_stmt_else","addr":"(MN)","loc":"e,117:3,117:44","implied":true,"declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(NN)","loc":"e,117:46,117:52","type":"[FINAL_DEFERRED_IMMEDIATE]","immediate":true, - "propp": [ - {"type":"CONST","name":"?32?sh0","addr":"(ON)","loc":"e,117:60,117:61","dtypep":"(N)"} - ],"sentreep": [], - "failsp": [ - {"type":"DISPLAY","name":"","addr":"(PN)","loc":"e,117:86,117:94", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(QN)","loc":"e,117:86,117:94","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h6661696c","addr":"(RN)","loc":"e,117:95,117:101","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ], - "passsp": [ - {"type":"DISPLAY","name":"","addr":"(SN)","loc":"e,117:63,117:71", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(TN)","loc":"e,117:63,117:71","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h70617373","addr":"(UN)","loc":"e,117:72,117:78","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ]} - ]} - ]}, - {"type":"ALWAYS","name":"","addr":"(VN)","loc":"e,119:3,119:34","keyword":"always_comb","sentreep": [], - "stmtsp": [ - {"type":"BEGIN","name":"assume_final_deferred_immediate","addr":"(WN)","loc":"e,119:3,119:34","implied":true,"declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(XN)","loc":"e,119:36,119:42","type":"[FINAL_DEFERRED_IMMEDIATE]","immediate":true, - "propp": [ - {"type":"CONST","name":"?32?sh0","addr":"(YN)","loc":"e,119:50,119:51","dtypep":"(N)"} - ],"sentreep": [],"failsp": [],"passsp": []} - ]} - ]}, - {"type":"ALWAYS","name":"","addr":"(ZN)","loc":"e,120:3,120:39","keyword":"always_comb","sentreep": [], - "stmtsp": [ - {"type":"BEGIN","name":"assume_final_deferred_immediate_else","addr":"(AO)","loc":"e,120:3,120:39","implied":true,"declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(BO)","loc":"e,120:41,120:47","type":"[FINAL_DEFERRED_IMMEDIATE]","immediate":true, - "propp": [ - {"type":"CONST","name":"?32?sh0","addr":"(CO)","loc":"e,120:55,120:56","dtypep":"(N)"} - ],"sentreep": [], - "failsp": [ - {"type":"DISPLAY","name":"","addr":"(DO)","loc":"e,120:63,120:71", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(EO)","loc":"e,120:63,120:71","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h6661696c","addr":"(FO)","loc":"e,120:72,120:78","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ],"passsp": []} - ]} - ]}, - {"type":"ALWAYS","name":"","addr":"(GO)","loc":"e,121:3,121:39","keyword":"always_comb","sentreep": [], - "stmtsp": [ - {"type":"BEGIN","name":"assume_final_deferred_immediate_stmt","addr":"(HO)","loc":"e,121:3,121:39","implied":true,"declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(IO)","loc":"e,121:41,121:47","type":"[FINAL_DEFERRED_IMMEDIATE]","immediate":true, - "propp": [ - {"type":"CONST","name":"?32?sh0","addr":"(JO)","loc":"e,121:55,121:56","dtypep":"(N)"} - ],"sentreep": [],"failsp": [], - "passsp": [ - {"type":"DISPLAY","name":"","addr":"(KO)","loc":"e,121:58,121:66", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(LO)","loc":"e,121:58,121:66","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h70617373","addr":"(MO)","loc":"e,121:67,121:73","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ]} - ]} - ]}, - {"type":"ALWAYS","name":"","addr":"(NO)","loc":"e,122:3,122:44","keyword":"always_comb","sentreep": [], - "stmtsp": [ - {"type":"BEGIN","name":"assume_final_deferred_immediate_stmt_else","addr":"(OO)","loc":"e,122:3,122:44","implied":true,"declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(PO)","loc":"e,122:46,122:52","type":"[FINAL_DEFERRED_IMMEDIATE]","immediate":true, - "propp": [ - {"type":"CONST","name":"?32?sh0","addr":"(QO)","loc":"e,122:60,122:61","dtypep":"(N)"} - ],"sentreep": [], - "failsp": [ - {"type":"DISPLAY","name":"","addr":"(RO)","loc":"e,122:86,122:94", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(SO)","loc":"e,122:86,122:94","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h6661696c","addr":"(TO)","loc":"e,122:95,122:101","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ], - "passsp": [ - {"type":"DISPLAY","name":"","addr":"(UO)","loc":"e,122:63,122:71", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(VO)","loc":"e,122:63,122:71","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h70617373","addr":"(WO)","loc":"e,122:72,122:78","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ]} - ]} - ]}, - {"type":"PROPERTY","name":"prop","addr":"(XO)","loc":"e,124:12,124:16","dtypep":"UNLINKED","cname":"prop","fvarp": [],"classOrPackagep": [], - "stmtsp": [ - {"type":"PROPSPEC","name":"","addr":"(YO)","loc":"e,125:6,125:7","dtypep":"UNLINKED", - "sensesp": [ - {"type":"SENITEM","name":"","addr":"(ZO)","loc":"e,125:8,125:15","edgeType":"POS", - "sensp": [ - {"type":"PARSEREF","name":"clk","addr":"(AP)","loc":"e,125:16,125:19","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ],"condp": []} - ],"disablep": [], - "propp": [ - {"type":"CONST","name":"?32?sh0","addr":"(BP)","loc":"e,125:21,125:22","dtypep":"(N)"} - ]} - ],"scopeNamep": []}, - {"type":"BEGIN","name":"assert_concurrent","addr":"(CP)","loc":"e,128:3,128:20","implied":true,"declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(DP)","loc":"e,128:22,128:28","type":"[CONCURRENT]", - "propp": [ - {"type":"PROPSPEC","name":"","addr":"(EP)","loc":"e,128:39,128:43","dtypep":"UNLINKED","sensesp": [],"disablep": [], - "propp": [ - {"type":"PARSEREF","name":"prop","addr":"(FP)","loc":"e,128:39,128:43","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ],"sentreep": [],"failsp": [],"passsp": []} - ]}, - {"type":"BEGIN","name":"assert_concurrent_else","addr":"(GP)","loc":"e,129:3,129:25","implied":true,"declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(HP)","loc":"e,129:27,129:33","type":"[CONCURRENT]", - "propp": [ - {"type":"PROPSPEC","name":"","addr":"(IP)","loc":"e,129:43,129:47","dtypep":"UNLINKED","sensesp": [],"disablep": [], - "propp": [ - {"type":"PARSEREF","name":"prop","addr":"(JP)","loc":"e,129:43,129:47","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ],"sentreep": [], - "failsp": [ - {"type":"DISPLAY","name":"","addr":"(KP)","loc":"e,129:54,129:62", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(LP)","loc":"e,129:54,129:62","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h6661696c","addr":"(MP)","loc":"e,129:63,129:69","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ],"passsp": []} - ]}, - {"type":"BEGIN","name":"assert_concurrent_stmt","addr":"(NP)","loc":"e,130:3,130:25","implied":true,"declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(OP)","loc":"e,130:27,130:33","type":"[CONCURRENT]", - "propp": [ - {"type":"PROPSPEC","name":"","addr":"(PP)","loc":"e,130:43,130:47","dtypep":"UNLINKED","sensesp": [],"disablep": [], - "propp": [ - {"type":"PARSEREF","name":"prop","addr":"(QP)","loc":"e,130:43,130:47","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ],"sentreep": [],"failsp": [], - "passsp": [ - {"type":"DISPLAY","name":"","addr":"(RP)","loc":"e,130:49,130:57", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(SP)","loc":"e,130:49,130:57","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h70617373","addr":"(TP)","loc":"e,130:58,130:64","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ]} - ]}, - {"type":"BEGIN","name":"assert_concurrent_stmt_else","addr":"(UP)","loc":"e,131:3,131:30","implied":true,"declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(VP)","loc":"e,131:32,131:38","type":"[CONCURRENT]", - "propp": [ - {"type":"PROPSPEC","name":"","addr":"(WP)","loc":"e,131:48,131:52","dtypep":"UNLINKED","sensesp": [],"disablep": [], - "propp": [ - {"type":"PARSEREF","name":"prop","addr":"(XP)","loc":"e,131:48,131:52","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ],"sentreep": [], - "failsp": [ - {"type":"DISPLAY","name":"","addr":"(YP)","loc":"e,131:77,131:85", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(ZP)","loc":"e,131:77,131:85","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h6661696c","addr":"(AQ)","loc":"e,131:86,131:92","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ], - "passsp": [ - {"type":"DISPLAY","name":"","addr":"(BQ)","loc":"e,131:54,131:62", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(CQ)","loc":"e,131:54,131:62","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h70617373","addr":"(DQ)","loc":"e,131:63,131:69","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ]} - ]}, - {"type":"BEGIN","name":"assume_concurrent","addr":"(EQ)","loc":"e,133:3,133:20","implied":true,"declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(FQ)","loc":"e,133:22,133:28","type":"[CONCURRENT]", - "propp": [ - {"type":"PROPSPEC","name":"","addr":"(GQ)","loc":"e,133:38,133:42","dtypep":"UNLINKED","sensesp": [],"disablep": [], - "propp": [ - {"type":"PARSEREF","name":"prop","addr":"(HQ)","loc":"e,133:38,133:42","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ],"sentreep": [],"failsp": [],"passsp": []} - ]}, - {"type":"BEGIN","name":"assume_concurrent_else","addr":"(IQ)","loc":"e,134:3,134:25","implied":true,"declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(JQ)","loc":"e,134:27,134:33","type":"[CONCURRENT]", - "propp": [ - {"type":"PROPSPEC","name":"","addr":"(KQ)","loc":"e,134:43,134:47","dtypep":"UNLINKED","sensesp": [],"disablep": [], - "propp": [ - {"type":"PARSEREF","name":"prop","addr":"(LQ)","loc":"e,134:43,134:47","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ],"sentreep": [], - "failsp": [ - {"type":"DISPLAY","name":"","addr":"(MQ)","loc":"e,134:54,134:62", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(NQ)","loc":"e,134:54,134:62","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h6661696c","addr":"(OQ)","loc":"e,134:63,134:69","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ],"passsp": []} - ]}, - {"type":"BEGIN","name":"assume_concurrent_stmt","addr":"(PQ)","loc":"e,135:3,135:25","implied":true,"declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(QQ)","loc":"e,135:27,135:33","type":"[CONCURRENT]", - "propp": [ - {"type":"PROPSPEC","name":"","addr":"(RQ)","loc":"e,135:43,135:47","dtypep":"UNLINKED","sensesp": [],"disablep": [], - "propp": [ - {"type":"PARSEREF","name":"prop","addr":"(SQ)","loc":"e,135:43,135:47","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ],"sentreep": [],"failsp": [], - "passsp": [ - {"type":"DISPLAY","name":"","addr":"(TQ)","loc":"e,135:49,135:57", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(UQ)","loc":"e,135:49,135:57","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h70617373","addr":"(VQ)","loc":"e,135:58,135:64","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ]} - ]}, - {"type":"BEGIN","name":"assume_concurrent_stmt_else","addr":"(WQ)","loc":"e,136:3,136:30","implied":true,"declsp": [], - "stmtsp": [ - {"type":"ASSERT","name":"","addr":"(XQ)","loc":"e,136:32,136:38","type":"[CONCURRENT]", - "propp": [ - {"type":"PROPSPEC","name":"","addr":"(YQ)","loc":"e,136:48,136:52","dtypep":"UNLINKED","sensesp": [],"disablep": [], - "propp": [ - {"type":"PARSEREF","name":"prop","addr":"(ZQ)","loc":"e,136:48,136:52","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ],"sentreep": [], - "failsp": [ - {"type":"DISPLAY","name":"","addr":"(AR)","loc":"e,136:77,136:85", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(BR)","loc":"e,136:77,136:85","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h6661696c","addr":"(CR)","loc":"e,136:86,136:92","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ], - "passsp": [ - {"type":"DISPLAY","name":"","addr":"(DR)","loc":"e,136:54,136:62", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(ER)","loc":"e,136:54,136:62","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h70617373","addr":"(FR)","loc":"e,136:63,136:69","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ]} - ]}, - {"type":"BEGIN","name":"cover_concurrent","addr":"(GR)","loc":"e,138:3,138:19","implied":true,"declsp": [], - "stmtsp": [ - {"type":"COVER","name":"","addr":"(HR)","loc":"e,138:21,138:26","type":"[CONCURRENT]", - "propp": [ - {"type":"PROPSPEC","name":"","addr":"(IR)","loc":"e,138:36,138:40","dtypep":"UNLINKED","sensesp": [],"disablep": [], - "propp": [ - {"type":"PARSEREF","name":"prop","addr":"(JR)","loc":"e,138:36,138:40","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ],"sentreep": [],"coverincsp": [],"passsp": []} - ]}, - {"type":"BEGIN","name":"cover_concurrent_stmt","addr":"(KR)","loc":"e,139:3,139:24","implied":true,"declsp": [], - "stmtsp": [ - {"type":"COVER","name":"","addr":"(LR)","loc":"e,139:26,139:31","type":"[CONCURRENT]", - "propp": [ - {"type":"PROPSPEC","name":"","addr":"(MR)","loc":"e,139:41,139:45","dtypep":"UNLINKED","sensesp": [],"disablep": [], - "propp": [ - {"type":"PARSEREF","name":"prop","addr":"(NR)","loc":"e,139:41,139:45","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ],"sentreep": [],"coverincsp": [], - "passsp": [ - {"type":"DISPLAY","name":"","addr":"(OR)","loc":"e,139:47,139:55", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(PR)","loc":"e,139:47,139:55","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"32'h70617373","addr":"(QR)","loc":"e,139:56,139:62","dtypep":"(QC)"} - ],"scopeNamep": []} - ],"filep": []} - ]} - ]}, - {"type":"RESTRICT","name":"","addr":"(RR)","loc":"e,141:3,141:11","type":"[INTERNAL]","immediate":true, - "propp": [ - {"type":"PROPSPEC","name":"","addr":"(SR)","loc":"e,141:22,141:26","dtypep":"UNLINKED","sensesp": [],"disablep": [], - "propp": [ - {"type":"PARSEREF","name":"prop","addr":"(TR)","loc":"e,141:22,141:26","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ],"sentreep": [],"passsp": []}, - {"type":"ALWAYS","name":"","addr":"(UR)","loc":"e,143:3,143:12","keyword":"always_ff","sentreep": [], - "stmtsp": [ - {"type":"EVENTCONTROL","name":"","addr":"(VR)","loc":"e,143:13,143:14", - "sentreep": [ - {"type":"SENTREE","name":"","addr":"(WR)","loc":"e,143:13,143:14", - "sensesp": [ - {"type":"SENITEM","name":"","addr":"(XR)","loc":"e,143:15,143:22","edgeType":"POS", - "sensp": [ - {"type":"PARSEREF","name":"clk","addr":"(YR)","loc":"e,143:23,143:26","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ],"condp": []} - ]} - ], - "stmtsp": [ - {"type":"BEGIN","name":"","addr":"(ZR)","loc":"e,143:28,143:33","unnamed":true,"declsp": [], - "stmtsp": [ - {"type":"CASE","name":"","addr":"(AS)","loc":"e,144:13,144:18","kwd":"casez","unique0":true, - "exprp": [ - {"type":"PARSEREF","name":"in","addr":"(BS)","loc":"e,144:19,144:21","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "itemsp": [ - {"type":"CASEITEM","name":"","addr":"(CS)","loc":"e,145:8,145:9", - "condsp": [ - {"type":"CONST","name":"?32?sh1","addr":"(DS)","loc":"e,145:7,145:8","dtypep":"(N)"} - ], - "stmtsp": [ - {"type":"DISPLAY","name":"","addr":"(ES)","loc":"e,145:10,145:18", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(FS)","loc":"e,145:10,145:18","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"16'h3161","addr":"(GS)","loc":"e,145:19,145:23","dtypep":"(HS)"} - ],"scopeNamep": []} - ],"filep": []} - ]}, - {"type":"CASEITEM","name":"","addr":"(IS)","loc":"e,146:7,146:14","condsp": [], - "stmtsp": [ - {"type":"DISPLAY","name":"","addr":"(JS)","loc":"e,146:16,146:24", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(KS)","loc":"e,146:16,146:24","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"16'h3162","addr":"(LS)","loc":"e,146:25,146:29","dtypep":"(HS)"} - ],"scopeNamep": []} - ],"filep": []} - ]} - ],"notParallelp": []}, - {"type":"CASE","name":"","addr":"(MS)","loc":"e,148:14,148:19","kwd":"casez","priority":true, - "exprp": [ - {"type":"CONST","name":"1'h1","addr":"(NS)","loc":"e,148:20,148:24","dtypep":"(YE)"} - ], - "itemsp": [ - {"type":"CASEITEM","name":"","addr":"(OS)","loc":"e,149:12,149:13", - "condsp": [ - {"type":"SELBIT","name":"","addr":"(PS)","loc":"e,149:9,149:10","dtypep":"UNLINKED", - "fromp": [ - {"type":"PARSEREF","name":"in","addr":"(QS)","loc":"e,149:7,149:9","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "bitp": [ - {"type":"CONST","name":"?32?sh0","addr":"(RS)","loc":"e,149:10,149:11","dtypep":"(N)"} - ],"thsp": [],"attrp": []} - ], - "stmtsp": [ - {"type":"DISPLAY","name":"","addr":"(SS)","loc":"e,149:14,149:22", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(TS)","loc":"e,149:14,149:22","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"16'h3261","addr":"(US)","loc":"e,149:23,149:27","dtypep":"(HS)"} - ],"scopeNamep": []} - ],"filep": []} - ]}, - {"type":"CASEITEM","name":"","addr":"(VS)","loc":"e,150:7,150:14","condsp": [], - "stmtsp": [ - {"type":"DISPLAY","name":"","addr":"(WS)","loc":"e,150:16,150:24", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(XS)","loc":"e,150:16,150:24","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"16'h3262","addr":"(YS)","loc":"e,150:25,150:29","dtypep":"(HS)"} - ],"scopeNamep": []} - ],"filep": []} - ]} - ],"notParallelp": []} - ]} - ]} - ]} - ]}, - {"type":"PACKAGE","name":"$unit","addr":"(E)","loc":"a,0:0,0:0","origName":"__024unit","verilogName":"\\$unit ","level":2,"inLibrary":true,"timeunit":"1ps","inlinesp": [], - "stmtsp": [ - {"type":"PACKAGEIMPORT","name":"*","addr":"(ZS)","loc":"d,32:9,32:12","packagep":"(F)","resolvedClassp": []} - ]}, - {"type":"PACKAGE","name":"std","addr":"(F)","loc":"d,32:9,32:12","origName":"std","verilogName":"std","level":3,"inLibrary":true,"timeunit":"1ps","inlinesp": [], - "stmtsp": [ - {"type":"CLASS","name":"mailbox","addr":"(AT)","loc":"d,34:3,34:8","origName":"mailbox","verilogName":"mailbox","level":4,"timeunit":"NONE","classOrPackagep":"UNLINKED","inlinesp": [], - "stmtsp": [ - {"type":"VAR","name":"T","addr":"(BT)","loc":"d,35:12,35:13","dtypep":"UNLINKED","origName":"T","verilogName":"T","direction":"NONE","isConst":true,"lifetime":"NONE","varType":"GPARAM","isGParam":true,"isParam":true,"sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"PARSETYPEDTYPE","name":"","addr":"(CT)","loc":"d,35:7,35:11","dtypep":"UNLINKED"} - ],"delayp": [],"valuep": [],"attrsp": []}, - {"type":"TYPEDEFFWD","name":"T","addr":"(DT)","loc":"d,35:12,35:13","fwdType":"none"}, - {"type":"VAR","name":"m_bound","addr":"(ET)","loc":"d,37:19,37:26","dtypep":"UNLINKED","origName":"m_bound","verilogName":"m_bound","direction":"NONE","lifetime":"NONE","varType":"VAR","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(FT)","loc":"d,37:15,37:18","dtypep":"(FT)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"delayp": [],"valuep": [],"attrsp": []}, - {"type":"VAR","name":"m_queue","addr":"(GT)","loc":"d,38:17,38:24","dtypep":"UNLINKED","origName":"m_queue","verilogName":"m_queue","direction":"NONE","lifetime":"NONE","varType":"VAR","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"BRACKETARRAYDTYPE","name":"","addr":"(HT)","loc":"d,38:24,38:25","dtypep":"UNLINKED", - "childDTypep": [ - {"type":"REFDTYPE","name":"T","addr":"(IT)","loc":"d,38:15,38:16","dtypep":"UNLINKED","typedefp":"UNLINKED","refDTypep":"UNLINKED","classOrPackagep":"UNLINKED","typeofp": [],"classOrPackageOpp": [],"paramsp": []} - ], - "elementsp": [ - {"type":"UNBOUNDED","name":"","addr":"(JT)","loc":"d,38:25,38:26","dtypep":"(KT)"} - ]} - ],"delayp": [],"valuep": [],"attrsp": []}, - {"type":"FUNC","name":"new","addr":"(LT)","loc":"d,40:14,40:17","dtypep":"UNLINKED","cname":"new","fvarp": [],"classOrPackagep": [], - "stmtsp": [ - {"type":"VAR","name":"bound","addr":"(MT)","loc":"d,40:22,40:27","dtypep":"UNLINKED","origName":"bound","verilogName":"bound","direction":"INPUT","lifetime":"NONE","varType":"PORT","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(NT)","loc":"d,40:18,40:21","dtypep":"(NT)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"delayp": [], - "valuep": [ - {"type":"CONST","name":"?32?sh0","addr":"(OT)","loc":"d,40:30,40:31","dtypep":"(N)"} - ],"attrsp": []}, - {"type":"ASSIGN","name":"","addr":"(PT)","loc":"d,41:15,41:16","dtypep":"UNLINKED", - "rhsp": [ - {"type":"PARSEREF","name":"bound","addr":"(QT)","loc":"d,41:17,41:22","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "lhsp": [ - {"type":"PARSEREF","name":"m_bound","addr":"(RT)","loc":"d,41:7,41:14","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ],"timingControlp": []} - ],"scopeNamep": []}, - {"type":"FUNC","name":"num","addr":"(ST)","loc":"d,44:18,44:21","dtypep":"UNLINKED","cname":"num", - "fvarp": [ - {"type":"BASICDTYPE","name":"int","addr":"(TT)","loc":"d,44:14,44:17","dtypep":"(TT)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"classOrPackagep": [], - "stmtsp": [ - {"type":"RETURN","name":"","addr":"(UT)","loc":"d,45:7,45:13", - "lhsp": [ - {"type":"DOT","name":"","addr":"(VT)","loc":"d,45:21,45:22","dtypep":"UNLINKED", - "lhsp": [ - {"type":"PARSEREF","name":"m_queue","addr":"(WT)","loc":"d,45:14,45:21","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"FUNCREF","name":"size","addr":"(XT)","loc":"d,45:22,45:26","dtypep":"UNLINKED","dotted":"","taskp":"UNLINKED","classOrPackagep":"UNLINKED","argsp": [],"withp": [],"scopeNamep": []} - ]} - ]} - ],"scopeNamep": []}, - {"type":"TASK","name":"put","addr":"(YT)","loc":"d,48:10,48:13","cname":"put","fvarp": [],"classOrPackagep": [], - "stmtsp": [ - {"type":"VAR","name":"message","addr":"(ZT)","loc":"d,48:16,48:23","dtypep":"UNLINKED","origName":"message","verilogName":"message","direction":"INPUT","lifetime":"NONE","varType":"PORT","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"REFDTYPE","name":"T","addr":"(AU)","loc":"d,48:14,48:15","dtypep":"UNLINKED","typedefp":"UNLINKED","refDTypep":"UNLINKED","classOrPackagep":"UNLINKED","typeofp": [],"classOrPackageOpp": [],"paramsp": []} - ],"delayp": [],"valuep": [],"attrsp": []}, - {"type":"LOOP","name":"","addr":"(BU)","loc":"d,50:7,50:12","unroll":"default", - "stmtsp": [ - {"type":"LOOPTEST","name":"","addr":"(CU)","loc":"d,50:14,50:21", - "condp": [ - {"type":"LOGAND","name":"","addr":"(DU)","loc":"d,50:27,50:29","dtypep":"(YE)", - "lhsp": [ - {"type":"NEQ","name":"","addr":"(EU)","loc":"d,50:22,50:24","dtypep":"(YE)", - "lhsp": [ - {"type":"PARSEREF","name":"m_bound","addr":"(FU)","loc":"d,50:14,50:21","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"CONST","name":"?32?sh0","addr":"(GU)","loc":"d,50:25,50:26","dtypep":"(N)"} - ]} - ], - "rhsp": [ - {"type":"GTE","name":"","addr":"(HU)","loc":"d,50:45,50:47","dtypep":"(YE)", - "lhsp": [ - {"type":"DOT","name":"","addr":"(IU)","loc":"d,50:37,50:38","dtypep":"UNLINKED", - "lhsp": [ - {"type":"PARSEREF","name":"m_queue","addr":"(JU)","loc":"d,50:30,50:37","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"FUNCREF","name":"size","addr":"(KU)","loc":"d,50:38,50:42","dtypep":"UNLINKED","dotted":"","taskp":"UNLINKED","classOrPackagep":"UNLINKED","argsp": [],"withp": [],"scopeNamep": []} - ]} - ], - "rhsp": [ - {"type":"PARSEREF","name":"m_bound","addr":"(LU)","loc":"d,50:48,50:55","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ]} - ]}, - {"type":"WAIT","name":"","addr":"(MU)","loc":"d,51:9,51:13", - "condp": [ - {"type":"LT","name":"","addr":"(NU)","loc":"d,51:30,51:31","dtypep":"(YE)", - "lhsp": [ - {"type":"DOT","name":"","addr":"(OU)","loc":"d,51:22,51:23","dtypep":"UNLINKED", - "lhsp": [ - {"type":"PARSEREF","name":"m_queue","addr":"(PU)","loc":"d,51:15,51:22","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"FUNCREF","name":"size","addr":"(QU)","loc":"d,51:23,51:27","dtypep":"UNLINKED","dotted":"","taskp":"UNLINKED","classOrPackagep":"UNLINKED","argsp": [],"withp": [],"scopeNamep": []} - ]} - ], - "rhsp": [ - {"type":"PARSEREF","name":"m_bound","addr":"(RU)","loc":"d,51:32,51:39","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ],"stmtsp": []} - ],"contsp": []}, - {"type":"STMTEXPR","name":"","addr":"(SU)","loc":"d,52:14,52:15", - "exprp": [ - {"type":"DOT","name":"","addr":"(TU)","loc":"d,52:14,52:15","dtypep":"UNLINKED", - "lhsp": [ - {"type":"PARSEREF","name":"m_queue","addr":"(UU)","loc":"d,52:7,52:14","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"TASKREF","name":"push_back","addr":"(VU)","loc":"d,52:15,52:24","dtypep":"(WU)","dotted":"","taskp":"UNLINKED","classOrPackagep":"UNLINKED", - "argsp": [ - {"type":"ARG","name":"","addr":"(XU)","loc":"d,52:25,52:32", - "exprp": [ - {"type":"PARSEREF","name":"message","addr":"(YU)","loc":"d,52:25,52:32","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ],"withp": [],"scopeNamep": []} - ]} - ]} - ],"scopeNamep": []}, - {"type":"FUNC","name":"try_put","addr":"(ZU)","loc":"d,56:18,56:25","dtypep":"UNLINKED","cname":"try_put", - "fvarp": [ - {"type":"BASICDTYPE","name":"int","addr":"(AV)","loc":"d,56:14,56:17","dtypep":"(AV)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"classOrPackagep": [], - "stmtsp": [ - {"type":"VAR","name":"message","addr":"(BV)","loc":"d,56:28,56:35","dtypep":"UNLINKED","origName":"message","verilogName":"message","direction":"INPUT","lifetime":"NONE","varType":"PORT","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"REFDTYPE","name":"T","addr":"(CV)","loc":"d,56:26,56:27","dtypep":"UNLINKED","typedefp":"UNLINKED","refDTypep":"UNLINKED","classOrPackagep":"UNLINKED","typeofp": [],"classOrPackageOpp": [],"paramsp": []} - ],"delayp": [],"valuep": [],"attrsp": []}, - {"type":"IF","name":"","addr":"(DV)","loc":"d,57:7,57:9", - "condp": [ - {"type":"LOGOR","name":"","addr":"(EV)","loc":"d,57:24,57:26","dtypep":"(YE)", - "lhsp": [ - {"type":"EQ","name":"","addr":"(FV)","loc":"d,57:19,57:21","dtypep":"(YE)", - "lhsp": [ - {"type":"PARSEREF","name":"m_bound","addr":"(GV)","loc":"d,57:11,57:18","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"CONST","name":"?32?sh0","addr":"(HV)","loc":"d,57:22,57:23","dtypep":"(N)"} - ]} - ], - "rhsp": [ - {"type":"LT","name":"","addr":"(IV)","loc":"d,57:33,57:34","dtypep":"(YE)", - "lhsp": [ - {"type":"FUNCREF","name":"num","addr":"(JV)","loc":"d,57:27,57:30","dtypep":"UNLINKED","dotted":"","taskp":"UNLINKED","classOrPackagep":"UNLINKED","argsp": [],"withp": [],"scopeNamep": []} - ], - "rhsp": [ - {"type":"PARSEREF","name":"m_bound","addr":"(KV)","loc":"d,57:35,57:42","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ]} - ], - "thensp": [ - {"type":"BEGIN","name":"","addr":"(LV)","loc":"d,57:44,57:49","unnamed":true,"declsp": [], - "stmtsp": [ - {"type":"STMTEXPR","name":"","addr":"(MV)","loc":"d,58:16,58:17", - "exprp": [ - {"type":"DOT","name":"","addr":"(NV)","loc":"d,58:16,58:17","dtypep":"UNLINKED", - "lhsp": [ - {"type":"PARSEREF","name":"m_queue","addr":"(OV)","loc":"d,58:9,58:16","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"TASKREF","name":"push_back","addr":"(PV)","loc":"d,58:17,58:26","dtypep":"(WU)","dotted":"","taskp":"UNLINKED","classOrPackagep":"UNLINKED", - "argsp": [ - {"type":"ARG","name":"","addr":"(QV)","loc":"d,58:27,58:34", - "exprp": [ - {"type":"PARSEREF","name":"message","addr":"(RV)","loc":"d,58:27,58:34","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ],"withp": [],"scopeNamep": []} - ]} - ]}, - {"type":"RETURN","name":"","addr":"(SV)","loc":"d,59:9,59:15", - "lhsp": [ - {"type":"CONST","name":"?32?sh1","addr":"(TV)","loc":"d,59:16,59:17","dtypep":"(N)"} - ]} - ]} - ],"elsesp": []}, - {"type":"RETURN","name":"","addr":"(UV)","loc":"d,61:7,61:13", - "lhsp": [ - {"type":"CONST","name":"?32?sh0","addr":"(VV)","loc":"d,61:14,61:15","dtypep":"(N)"} - ]} - ],"scopeNamep": []}, - {"type":"TASK","name":"get","addr":"(WV)","loc":"d,64:10,64:13","cname":"get","fvarp": [],"classOrPackagep": [], - "stmtsp": [ - {"type":"VAR","name":"message","addr":"(XV)","loc":"d,64:20,64:27","dtypep":"UNLINKED","origName":"message","verilogName":"message","direction":"REF","lifetime":"NONE","varType":"PORT","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"REFDTYPE","name":"T","addr":"(YV)","loc":"d,64:18,64:19","dtypep":"UNLINKED","typedefp":"UNLINKED","refDTypep":"UNLINKED","classOrPackagep":"UNLINKED","typeofp": [],"classOrPackageOpp": [],"paramsp": []} - ],"delayp": [],"valuep": [],"attrsp": []}, - {"type":"LOOP","name":"","addr":"(ZV)","loc":"d,66:7,66:12","unroll":"default", - "stmtsp": [ - {"type":"LOOPTEST","name":"","addr":"(AW)","loc":"d,66:14,66:21", - "condp": [ - {"type":"EQ","name":"","addr":"(BW)","loc":"d,66:29,66:31","dtypep":"(YE)", - "lhsp": [ - {"type":"DOT","name":"","addr":"(CW)","loc":"d,66:21,66:22","dtypep":"UNLINKED", - "lhsp": [ - {"type":"PARSEREF","name":"m_queue","addr":"(DW)","loc":"d,66:14,66:21","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"FUNCREF","name":"size","addr":"(EW)","loc":"d,66:22,66:26","dtypep":"UNLINKED","dotted":"","taskp":"UNLINKED","classOrPackagep":"UNLINKED","argsp": [],"withp": [],"scopeNamep": []} - ]} - ], - "rhsp": [ - {"type":"CONST","name":"?32?sh0","addr":"(FW)","loc":"d,66:32,66:33","dtypep":"(N)"} - ]} - ]}, - {"type":"BEGIN","name":"","addr":"(GW)","loc":"d,66:35,66:40","unnamed":true,"declsp": [], - "stmtsp": [ - {"type":"WAIT","name":"","addr":"(HW)","loc":"d,67:9,67:13", - "condp": [ - {"type":"GT","name":"","addr":"(IW)","loc":"d,67:30,67:31","dtypep":"(YE)", - "lhsp": [ - {"type":"DOT","name":"","addr":"(JW)","loc":"d,67:22,67:23","dtypep":"UNLINKED", - "lhsp": [ - {"type":"PARSEREF","name":"m_queue","addr":"(KW)","loc":"d,67:15,67:22","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"FUNCREF","name":"size","addr":"(LW)","loc":"d,67:23,67:27","dtypep":"UNLINKED","dotted":"","taskp":"UNLINKED","classOrPackagep":"UNLINKED","argsp": [],"withp": [],"scopeNamep": []} - ]} - ], - "rhsp": [ - {"type":"CONST","name":"?32?sh0","addr":"(MW)","loc":"d,67:32,67:33","dtypep":"(N)"} - ]} - ],"stmtsp": []} - ]} - ],"contsp": []}, - {"type":"ASSIGN","name":"","addr":"(NW)","loc":"d,69:15,69:16","dtypep":"UNLINKED", - "rhsp": [ - {"type":"DOT","name":"","addr":"(OW)","loc":"d,69:24,69:25","dtypep":"UNLINKED", - "lhsp": [ - {"type":"PARSEREF","name":"m_queue","addr":"(PW)","loc":"d,69:17,69:24","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"FUNCREF","name":"pop_front","addr":"(QW)","loc":"d,69:25,69:34","dtypep":"UNLINKED","dotted":"","taskp":"UNLINKED","classOrPackagep":"UNLINKED","argsp": [],"withp": [],"scopeNamep": []} - ]} - ], - "lhsp": [ - {"type":"PARSEREF","name":"message","addr":"(RW)","loc":"d,69:7,69:14","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ],"timingControlp": []} - ],"scopeNamep": []}, - {"type":"FUNC","name":"try_get","addr":"(SW)","loc":"d,73:18,73:25","dtypep":"UNLINKED","cname":"try_get", - "fvarp": [ - {"type":"BASICDTYPE","name":"int","addr":"(TW)","loc":"d,73:14,73:17","dtypep":"(TW)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"classOrPackagep": [], - "stmtsp": [ - {"type":"VAR","name":"message","addr":"(UW)","loc":"d,73:32,73:39","dtypep":"UNLINKED","origName":"message","verilogName":"message","direction":"REF","lifetime":"NONE","varType":"PORT","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"REFDTYPE","name":"T","addr":"(VW)","loc":"d,73:30,73:31","dtypep":"UNLINKED","typedefp":"UNLINKED","refDTypep":"UNLINKED","classOrPackagep":"UNLINKED","typeofp": [],"classOrPackageOpp": [],"paramsp": []} - ],"delayp": [],"valuep": [],"attrsp": []}, - {"type":"IF","name":"","addr":"(WW)","loc":"d,74:7,74:9", - "condp": [ - {"type":"GT","name":"","addr":"(XW)","loc":"d,74:17,74:18","dtypep":"(YE)", - "lhsp": [ - {"type":"FUNCREF","name":"num","addr":"(YW)","loc":"d,74:11,74:14","dtypep":"UNLINKED","dotted":"","taskp":"UNLINKED","classOrPackagep":"UNLINKED","argsp": [],"withp": [],"scopeNamep": []} - ], - "rhsp": [ - {"type":"CONST","name":"?32?sh0","addr":"(ZW)","loc":"d,74:19,74:20","dtypep":"(N)"} - ]} - ], - "thensp": [ - {"type":"BEGIN","name":"","addr":"(AX)","loc":"d,74:22,74:27","unnamed":true,"declsp": [], - "stmtsp": [ - {"type":"ASSIGN","name":"","addr":"(BX)","loc":"d,75:17,75:18","dtypep":"UNLINKED", - "rhsp": [ - {"type":"DOT","name":"","addr":"(CX)","loc":"d,75:26,75:27","dtypep":"UNLINKED", - "lhsp": [ - {"type":"PARSEREF","name":"m_queue","addr":"(DX)","loc":"d,75:19,75:26","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"FUNCREF","name":"pop_front","addr":"(EX)","loc":"d,75:27,75:36","dtypep":"UNLINKED","dotted":"","taskp":"UNLINKED","classOrPackagep":"UNLINKED","argsp": [],"withp": [],"scopeNamep": []} - ]} - ], - "lhsp": [ - {"type":"PARSEREF","name":"message","addr":"(FX)","loc":"d,75:9,75:16","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ],"timingControlp": []}, - {"type":"RETURN","name":"","addr":"(GX)","loc":"d,76:9,76:15", - "lhsp": [ - {"type":"CONST","name":"?32?sh1","addr":"(HX)","loc":"d,76:16,76:17","dtypep":"(N)"} - ]} - ]} - ],"elsesp": []}, - {"type":"RETURN","name":"","addr":"(IX)","loc":"d,78:7,78:13", - "lhsp": [ - {"type":"CONST","name":"?32?sh0","addr":"(JX)","loc":"d,78:14,78:15","dtypep":"(N)"} - ]} - ],"scopeNamep": []}, - {"type":"TASK","name":"peek","addr":"(KX)","loc":"d,81:10,81:14","cname":"peek","fvarp": [],"classOrPackagep": [], - "stmtsp": [ - {"type":"VAR","name":"message","addr":"(LX)","loc":"d,81:21,81:28","dtypep":"UNLINKED","origName":"message","verilogName":"message","direction":"REF","lifetime":"NONE","varType":"PORT","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"REFDTYPE","name":"T","addr":"(MX)","loc":"d,81:19,81:20","dtypep":"UNLINKED","typedefp":"UNLINKED","refDTypep":"UNLINKED","classOrPackagep":"UNLINKED","typeofp": [],"classOrPackageOpp": [],"paramsp": []} - ],"delayp": [],"valuep": [],"attrsp": []}, - {"type":"LOOP","name":"","addr":"(NX)","loc":"d,83:7,83:12","unroll":"default", - "stmtsp": [ - {"type":"LOOPTEST","name":"","addr":"(OX)","loc":"d,83:14,83:21", - "condp": [ - {"type":"EQ","name":"","addr":"(PX)","loc":"d,83:29,83:31","dtypep":"(YE)", - "lhsp": [ - {"type":"DOT","name":"","addr":"(QX)","loc":"d,83:21,83:22","dtypep":"UNLINKED", - "lhsp": [ - {"type":"PARSEREF","name":"m_queue","addr":"(RX)","loc":"d,83:14,83:21","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"FUNCREF","name":"size","addr":"(SX)","loc":"d,83:22,83:26","dtypep":"UNLINKED","dotted":"","taskp":"UNLINKED","classOrPackagep":"UNLINKED","argsp": [],"withp": [],"scopeNamep": []} - ]} - ], - "rhsp": [ - {"type":"CONST","name":"?32?sh0","addr":"(TX)","loc":"d,83:32,83:33","dtypep":"(N)"} - ]} - ]}, - {"type":"BEGIN","name":"","addr":"(UX)","loc":"d,83:35,83:40","unnamed":true,"declsp": [], - "stmtsp": [ - {"type":"WAIT","name":"","addr":"(VX)","loc":"d,84:9,84:13", - "condp": [ - {"type":"GT","name":"","addr":"(WX)","loc":"d,84:30,84:31","dtypep":"(YE)", - "lhsp": [ - {"type":"DOT","name":"","addr":"(XX)","loc":"d,84:22,84:23","dtypep":"UNLINKED", - "lhsp": [ - {"type":"PARSEREF","name":"m_queue","addr":"(YX)","loc":"d,84:15,84:22","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"FUNCREF","name":"size","addr":"(ZX)","loc":"d,84:23,84:27","dtypep":"UNLINKED","dotted":"","taskp":"UNLINKED","classOrPackagep":"UNLINKED","argsp": [],"withp": [],"scopeNamep": []} - ]} - ], - "rhsp": [ - {"type":"CONST","name":"?32?sh0","addr":"(AY)","loc":"d,84:32,84:33","dtypep":"(N)"} - ]} - ],"stmtsp": []} - ]} - ],"contsp": []}, - {"type":"ASSIGN","name":"","addr":"(BY)","loc":"d,86:15,86:16","dtypep":"UNLINKED", - "rhsp": [ - {"type":"SELBIT","name":"","addr":"(CY)","loc":"d,86:24,86:25","dtypep":"UNLINKED", - "fromp": [ - {"type":"PARSEREF","name":"m_queue","addr":"(DY)","loc":"d,86:17,86:24","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "bitp": [ - {"type":"CONST","name":"?32?sh0","addr":"(EY)","loc":"d,86:25,86:26","dtypep":"(N)"} - ],"thsp": [],"attrp": []} - ], - "lhsp": [ - {"type":"PARSEREF","name":"message","addr":"(FY)","loc":"d,86:7,86:14","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ],"timingControlp": []} - ],"scopeNamep": []}, - {"type":"FUNC","name":"try_peek","addr":"(GY)","loc":"d,90:18,90:26","dtypep":"UNLINKED","cname":"try_peek", - "fvarp": [ - {"type":"BASICDTYPE","name":"int","addr":"(HY)","loc":"d,90:14,90:17","dtypep":"(HY)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"classOrPackagep": [], - "stmtsp": [ - {"type":"VAR","name":"message","addr":"(IY)","loc":"d,90:33,90:40","dtypep":"UNLINKED","origName":"message","verilogName":"message","direction":"REF","lifetime":"NONE","varType":"PORT","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"REFDTYPE","name":"T","addr":"(JY)","loc":"d,90:31,90:32","dtypep":"UNLINKED","typedefp":"UNLINKED","refDTypep":"UNLINKED","classOrPackagep":"UNLINKED","typeofp": [],"classOrPackageOpp": [],"paramsp": []} - ],"delayp": [],"valuep": [],"attrsp": []}, - {"type":"IF","name":"","addr":"(KY)","loc":"d,91:7,91:9", - "condp": [ - {"type":"GT","name":"","addr":"(LY)","loc":"d,91:17,91:18","dtypep":"(YE)", - "lhsp": [ - {"type":"FUNCREF","name":"num","addr":"(MY)","loc":"d,91:11,91:14","dtypep":"UNLINKED","dotted":"","taskp":"UNLINKED","classOrPackagep":"UNLINKED","argsp": [],"withp": [],"scopeNamep": []} - ], - "rhsp": [ - {"type":"CONST","name":"?32?sh0","addr":"(NY)","loc":"d,91:19,91:20","dtypep":"(N)"} - ]} - ], - "thensp": [ - {"type":"BEGIN","name":"","addr":"(OY)","loc":"d,91:22,91:27","unnamed":true,"declsp": [], - "stmtsp": [ - {"type":"ASSIGN","name":"","addr":"(PY)","loc":"d,92:17,92:18","dtypep":"UNLINKED", - "rhsp": [ - {"type":"SELBIT","name":"","addr":"(QY)","loc":"d,92:26,92:27","dtypep":"UNLINKED", - "fromp": [ - {"type":"PARSEREF","name":"m_queue","addr":"(RY)","loc":"d,92:19,92:26","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "bitp": [ - {"type":"CONST","name":"?32?sh0","addr":"(SY)","loc":"d,92:27,92:28","dtypep":"(N)"} - ],"thsp": [],"attrp": []} - ], - "lhsp": [ - {"type":"PARSEREF","name":"message","addr":"(TY)","loc":"d,92:9,92:16","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ],"timingControlp": []}, - {"type":"RETURN","name":"","addr":"(UY)","loc":"d,93:9,93:15", - "lhsp": [ - {"type":"CONST","name":"?32?sh1","addr":"(VY)","loc":"d,93:16,93:17","dtypep":"(N)"} - ]} - ]} - ],"elsesp": []}, - {"type":"RETURN","name":"","addr":"(WY)","loc":"d,95:7,95:13", - "lhsp": [ - {"type":"CONST","name":"?32?sh0","addr":"(XY)","loc":"d,95:14,95:15","dtypep":"(N)"} - ]} - ],"scopeNamep": []} - ],"extendsp": []}, - {"type":"CLASS","name":"semaphore","addr":"(YY)","loc":"d,100:3,100:8","origName":"semaphore","verilogName":"semaphore","level":4,"timeunit":"NONE","classOrPackagep":"UNLINKED","inlinesp": [], - "stmtsp": [ - {"type":"VAR","name":"m_keyCount","addr":"(ZY)","loc":"d,101:19,101:29","dtypep":"UNLINKED","origName":"m_keyCount","verilogName":"m_keyCount","direction":"NONE","lifetime":"NONE","varType":"VAR","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(AZ)","loc":"d,101:15,101:18","dtypep":"(AZ)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"delayp": [],"valuep": [],"attrsp": []}, - {"type":"FUNC","name":"new","addr":"(BZ)","loc":"d,103:14,103:17","dtypep":"UNLINKED","cname":"new","fvarp": [],"classOrPackagep": [], - "stmtsp": [ - {"type":"VAR","name":"keyCount","addr":"(CZ)","loc":"d,103:22,103:30","dtypep":"UNLINKED","origName":"keyCount","verilogName":"keyCount","direction":"INPUT","lifetime":"NONE","varType":"PORT","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(DZ)","loc":"d,103:18,103:21","dtypep":"(DZ)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"delayp": [], - "valuep": [ - {"type":"CONST","name":"?32?sh0","addr":"(EZ)","loc":"d,103:33,103:34","dtypep":"(N)"} - ],"attrsp": []}, - {"type":"ASSIGN","name":"","addr":"(FZ)","loc":"d,104:18,104:19","dtypep":"UNLINKED", - "rhsp": [ - {"type":"PARSEREF","name":"keyCount","addr":"(GZ)","loc":"d,104:20,104:28","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "lhsp": [ - {"type":"PARSEREF","name":"m_keyCount","addr":"(HZ)","loc":"d,104:7,104:17","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ],"timingControlp": []} - ],"scopeNamep": []}, - {"type":"TASK","name":"put","addr":"(IZ)","loc":"d,107:19,107:22","cname":"put","fvarp": [],"classOrPackagep": [], - "stmtsp": [ - {"type":"VAR","name":"keyCount","addr":"(JZ)","loc":"d,107:27,107:35","dtypep":"UNLINKED","origName":"keyCount","verilogName":"keyCount","direction":"INPUT","lifetime":"NONE","varType":"PORT","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(KZ)","loc":"d,107:23,107:26","dtypep":"(KZ)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"delayp": [], - "valuep": [ - {"type":"CONST","name":"?32?sh1","addr":"(LZ)","loc":"d,107:38,107:39","dtypep":"(N)"} - ],"attrsp": []}, - {"type":"ASSIGN","name":"","addr":"(MZ)","loc":"d,108:18,108:20","dtypep":"UNLINKED", - "rhsp": [ - {"type":"ADD","name":"","addr":"(NZ)","loc":"d,108:18,108:20","dtypep":"UNLINKED", - "lhsp": [ - {"type":"PARSEREF","name":"m_keyCount","addr":"(OZ)","loc":"d,108:7,108:17","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"PARSEREF","name":"keyCount","addr":"(PZ)","loc":"d,108:21,108:29","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ], - "lhsp": [ - {"type":"PARSEREF","name":"m_keyCount","addr":"(QZ)","loc":"d,108:7,108:17","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ],"timingControlp": []} - ],"scopeNamep": []}, - {"type":"TASK","name":"get","addr":"(RZ)","loc":"d,111:10,111:13","cname":"get","fvarp": [],"classOrPackagep": [], - "stmtsp": [ - {"type":"VAR","name":"keyCount","addr":"(SZ)","loc":"d,111:18,111:26","dtypep":"UNLINKED","origName":"keyCount","verilogName":"keyCount","direction":"INPUT","lifetime":"NONE","varType":"PORT","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(TZ)","loc":"d,111:14,111:17","dtypep":"(TZ)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"delayp": [], - "valuep": [ - {"type":"CONST","name":"?32?sh1","addr":"(UZ)","loc":"d,111:29,111:30","dtypep":"(N)"} - ],"attrsp": []}, - {"type":"LOOP","name":"","addr":"(VZ)","loc":"d,113:7,113:12","unroll":"default", - "stmtsp": [ - {"type":"LOOPTEST","name":"","addr":"(WZ)","loc":"d,113:14,113:24", - "condp": [ - {"type":"LT","name":"","addr":"(XZ)","loc":"d,113:25,113:26","dtypep":"(YE)", - "lhsp": [ - {"type":"PARSEREF","name":"m_keyCount","addr":"(YZ)","loc":"d,113:14,113:24","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"PARSEREF","name":"keyCount","addr":"(ZZ)","loc":"d,113:27,113:35","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ]}, - {"type":"BEGIN","name":"","addr":"(AAB)","loc":"d,113:37,113:42","unnamed":true,"declsp": [], - "stmtsp": [ - {"type":"WAIT","name":"","addr":"(BAB)","loc":"d,114:9,114:13", - "condp": [ - {"type":"GTE","name":"","addr":"(CAB)","loc":"d,114:26,114:28","dtypep":"(YE)", - "lhsp": [ - {"type":"PARSEREF","name":"m_keyCount","addr":"(DAB)","loc":"d,114:15,114:25","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"PARSEREF","name":"keyCount","addr":"(EAB)","loc":"d,114:29,114:37","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ],"stmtsp": []} - ]} - ],"contsp": []}, - {"type":"ASSIGN","name":"","addr":"(FAB)","loc":"d,116:18,116:20","dtypep":"UNLINKED", - "rhsp": [ - {"type":"SUB","name":"","addr":"(GAB)","loc":"d,116:18,116:20","dtypep":"UNLINKED", - "lhsp": [ - {"type":"PARSEREF","name":"m_keyCount","addr":"(HAB)","loc":"d,116:7,116:17","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"PARSEREF","name":"keyCount","addr":"(IAB)","loc":"d,116:21,116:29","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ], - "lhsp": [ - {"type":"PARSEREF","name":"m_keyCount","addr":"(JAB)","loc":"d,116:7,116:17","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ],"timingControlp": []} - ],"scopeNamep": []}, - {"type":"FUNC","name":"try_get","addr":"(KAB)","loc":"d,120:18,120:25","dtypep":"UNLINKED","cname":"try_get", - "fvarp": [ - {"type":"BASICDTYPE","name":"int","addr":"(LAB)","loc":"d,120:14,120:17","dtypep":"(LAB)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"classOrPackagep": [], - "stmtsp": [ - {"type":"VAR","name":"keyCount","addr":"(MAB)","loc":"d,120:30,120:38","dtypep":"UNLINKED","origName":"keyCount","verilogName":"keyCount","direction":"INPUT","lifetime":"NONE","varType":"PORT","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(NAB)","loc":"d,120:26,120:29","dtypep":"(NAB)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"delayp": [], - "valuep": [ - {"type":"CONST","name":"?32?sh1","addr":"(OAB)","loc":"d,120:41,120:42","dtypep":"(N)"} - ],"attrsp": []}, - {"type":"IF","name":"","addr":"(PAB)","loc":"d,121:7,121:9", - "condp": [ - {"type":"GTE","name":"","addr":"(QAB)","loc":"d,121:22,121:24","dtypep":"(YE)", - "lhsp": [ - {"type":"PARSEREF","name":"m_keyCount","addr":"(RAB)","loc":"d,121:11,121:21","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"PARSEREF","name":"keyCount","addr":"(SAB)","loc":"d,121:25,121:33","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ], - "thensp": [ - {"type":"BEGIN","name":"","addr":"(TAB)","loc":"d,121:35,121:40","unnamed":true,"declsp": [], - "stmtsp": [ - {"type":"ASSIGN","name":"","addr":"(UAB)","loc":"d,122:20,122:22","dtypep":"UNLINKED", - "rhsp": [ - {"type":"SUB","name":"","addr":"(VAB)","loc":"d,122:20,122:22","dtypep":"UNLINKED", - "lhsp": [ - {"type":"PARSEREF","name":"m_keyCount","addr":"(WAB)","loc":"d,122:9,122:19","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"PARSEREF","name":"keyCount","addr":"(XAB)","loc":"d,122:23,122:31","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ], - "lhsp": [ - {"type":"PARSEREF","name":"m_keyCount","addr":"(YAB)","loc":"d,122:9,122:19","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ],"timingControlp": []}, - {"type":"RETURN","name":"","addr":"(ZAB)","loc":"d,123:9,123:15", - "lhsp": [ - {"type":"CONST","name":"?32?sh1","addr":"(ABB)","loc":"d,123:16,123:17","dtypep":"(N)"} - ]} - ]} - ],"elsesp": []}, - {"type":"RETURN","name":"","addr":"(BBB)","loc":"d,125:7,125:13", - "lhsp": [ - {"type":"CONST","name":"?32?sh0","addr":"(CBB)","loc":"d,125:14,125:15","dtypep":"(N)"} - ]} - ],"scopeNamep": []} - ],"extendsp": []}, - {"type":"CLASS","name":"process","addr":"(DBB)","loc":"d,130:3,130:8","origName":"process","verilogName":"process","level":4,"timeunit":"NONE","classOrPackagep":"UNLINKED","inlinesp": [], - "stmtsp": [ - {"type":"TYPEDEF","name":"state","addr":"(EBB)","loc":"d,137:7,137:12","dtypep":"UNLINKED", - "childDTypep": [ - {"type":"DEFIMPLICITDTYPE","name":"__typeimpenum0","addr":"(FBB)","loc":"d,131:13,131:17","dtypep":"UNLINKED", - "childDTypep": [ - {"type":"ENUMDTYPE","name":"","addr":"(GBB)","loc":"d,131:13,131:17","dtypep":"UNLINKED","enum":true,"signed":true,"refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(HBB)","loc":"d,131:18,131:19","dtypep":"(HBB)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ], - "itemsp": [ - {"type":"ENUMITEM","name":"FINISHED","addr":"(IBB)","loc":"d,132:7,132:15","dtypep":"UNLINKED","rangep": [], - "valuep": [ - {"type":"CONST","name":"?32?sh0","addr":"(JBB)","loc":"d,132:18,132:19","dtypep":"(N)"} - ]}, - {"type":"ENUMITEM","name":"RUNNING","addr":"(KBB)","loc":"d,133:7,133:14","dtypep":"UNLINKED","rangep": [], - "valuep": [ - {"type":"CONST","name":"?32?sh1","addr":"(LBB)","loc":"d,133:17,133:18","dtypep":"(N)"} - ]}, - {"type":"ENUMITEM","name":"WAITING","addr":"(MBB)","loc":"d,134:7,134:14","dtypep":"UNLINKED","rangep": [], - "valuep": [ - {"type":"CONST","name":"?32?sh2","addr":"(NBB)","loc":"d,134:17,134:18","dtypep":"(UD)"} - ]}, - {"type":"ENUMITEM","name":"SUSPENDED","addr":"(OBB)","loc":"d,135:7,135:16","dtypep":"UNLINKED","rangep": [], - "valuep": [ - {"type":"CONST","name":"?32?sh3","addr":"(PBB)","loc":"d,135:19,135:20","dtypep":"(UD)"} - ]}, - {"type":"ENUMITEM","name":"KILLED","addr":"(QBB)","loc":"d,136:7,136:13","dtypep":"UNLINKED","rangep": [], - "valuep": [ - {"type":"CONST","name":"?32?sh4","addr":"(RBB)","loc":"d,136:16,136:17","dtypep":"(SBB)"} - ]} - ]} - ]} - ],"attrsp": []}, - {"type":"VAR","name":"m_process","addr":"(TBB)","loc":"d,140:23,140:32","dtypep":"UNLINKED","origName":"m_process","verilogName":"m_process","direction":"NONE","lifetime":"NONE","varType":"VAR","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"chandle","addr":"(UBB)","loc":"d,140:15,140:22","dtypep":"(UBB)","keyword":"chandle","range":"63:0","rangep": []} - ],"delayp": [],"valuep": [],"attrsp": []}, - {"type":"FUNC","name":"self","addr":"(VBB)","loc":"d,142:29,142:33","dtypep":"UNLINKED","cname":"self", - "fvarp": [ - {"type":"REFDTYPE","name":"process","addr":"(WBB)","loc":"d,142:21,142:28","dtypep":"UNLINKED","typedefp":"UNLINKED","refDTypep":"UNLINKED","classOrPackagep":"UNLINKED","typeofp": [],"classOrPackageOpp": [],"paramsp": []} - ],"classOrPackagep": [], - "stmtsp": [ - {"type":"VAR","name":"p","addr":"(XBB)","loc":"d,143:15,143:16","dtypep":"UNLINKED","origName":"p","verilogName":"p","direction":"NONE","lifetime":"NONE","varType":"VAR","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"REFDTYPE","name":"process","addr":"(YBB)","loc":"d,143:7,143:14","dtypep":"UNLINKED","typedefp":"UNLINKED","refDTypep":"UNLINKED","classOrPackagep":"UNLINKED","typeofp": [],"classOrPackageOpp": [],"paramsp": []} - ],"delayp": [], - "valuep": [ - {"type":"NEW","name":"new","addr":"(ZBB)","loc":"d,143:19,143:22","dtypep":"UNLINKED","dotted":"","taskp":"UNLINKED","classOrPackagep":"UNLINKED","argsp": [],"withp": [],"scopeNamep": []} - ],"attrsp": []}, - {"type":"CSTMTUSER","name":"","addr":"(ACB)","loc":"d,145:7,145:9", - "nodesp": [ - {"type":"DOT","name":"","addr":"(BCB)","loc":"d,145:11,145:12","dtypep":"UNLINKED", - "lhsp": [ - {"type":"PARSEREF","name":"p","addr":"(CCB)","loc":"d,145:10,145:11","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"PARSEREF","name":"m_process","addr":"(DCB)","loc":"d,145:12,145:21","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]}, - {"type":"TEXT","name":"","addr":"(ECB)","loc":"d,145:23,145:38","text":" = vlProcess;"} - ]}, - {"type":"RETURN","name":"","addr":"(FCB)","loc":"d,147:7,147:13", - "lhsp": [ - {"type":"PARSEREF","name":"p","addr":"(GCB)","loc":"d,147:14,147:15","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ],"scopeNamep": []}, - {"type":"TASK","name":"set_status","addr":"(HCB)","loc":"d,150:29,150:39","cname":"set_status","fvarp": [],"classOrPackagep": [], - "stmtsp": [ - {"type":"VAR","name":"s","addr":"(ICB)","loc":"d,150:46,150:47","dtypep":"UNLINKED","origName":"s","verilogName":"s","direction":"INPUT","lifetime":"NONE","varType":"PORT","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"REFDTYPE","name":"state","addr":"(JCB)","loc":"d,150:40,150:45","dtypep":"UNLINKED","typedefp":"UNLINKED","refDTypep":"UNLINKED","classOrPackagep":"UNLINKED","typeofp": [],"classOrPackageOpp": [],"paramsp": []} - ],"delayp": [],"valuep": [],"attrsp": []}, - {"type":"CSTMTUSER","name":"","addr":"(KCB)","loc":"d,152:7,152:9", - "nodesp": [ - {"type":"PARSEREF","name":"m_process","addr":"(LCB)","loc":"d,152:10,152:19","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []}, - {"type":"TEXT","name":"","addr":"(MCB)","loc":"d,152:21,152:31","text":"->state("}, - {"type":"PARSEREF","name":"s","addr":"(NCB)","loc":"d,152:33,152:34","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []}, - {"type":"TEXT","name":"","addr":"(OCB)","loc":"d,152:36,152:40","text":");"} - ]} - ],"scopeNamep": []}, - {"type":"FUNC","name":"status","addr":"(PCB)","loc":"d,156:20,156:26","dtypep":"UNLINKED","cname":"status", - "fvarp": [ - {"type":"REFDTYPE","name":"state","addr":"(QCB)","loc":"d,156:14,156:19","dtypep":"UNLINKED","typedefp":"UNLINKED","refDTypep":"UNLINKED","classOrPackagep":"UNLINKED","typeofp": [],"classOrPackageOpp": [],"paramsp": []} - ],"classOrPackagep": [], - "stmtsp": [ - {"type":"RETURN","name":"","addr":"(RCB)","loc":"d,158:7,158:13", - "lhsp": [ - {"type":"CASTPARSE","name":"","addr":"(SCB)","loc":"d,158:19,158:20","dtypep":"UNLINKED", - "lhsp": [ - {"type":"CEXPRUSER","name":"","addr":"(TCB)","loc":"d,158:21,158:27","dtypep":"UNLINKED", - "nodesp": [ - {"type":"PARSEREF","name":"m_process","addr":"(UCB)","loc":"d,158:28,158:37","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []}, - {"type":"TEXT","name":"","addr":"(VCB)","loc":"d,158:39,158:50","text":"->state()"} - ]} - ], - "dtp": [ - {"type":"PARSEREF","name":"state","addr":"(WCB)","loc":"d,158:14,158:19","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ]} - ],"scopeNamep": []}, - {"type":"TASK","name":"kill","addr":"(XCB)","loc":"d,164:19,164:23","cname":"kill","fvarp": [],"classOrPackagep": [], - "stmtsp": [ - {"type":"STMTEXPR","name":"","addr":"(YCB)","loc":"d,165:7,165:17", - "exprp": [ - {"type":"TASKREF","name":"set_status","addr":"(ZCB)","loc":"d,165:7,165:17","dtypep":"(WU)","dotted":"","taskp":"UNLINKED","classOrPackagep":"UNLINKED", - "argsp": [ - {"type":"ARG","name":"","addr":"(ADB)","loc":"d,165:18,165:24", - "exprp": [ - {"type":"PARSEREF","name":"KILLED","addr":"(BDB)","loc":"d,165:18,165:24","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ],"withp": [],"scopeNamep": []} - ]} - ],"scopeNamep": []}, - {"type":"TASK","name":"suspend","addr":"(CDB)","loc":"d,168:19,168:26","cname":"suspend","fvarp": [],"classOrPackagep": [], - "stmtsp": [ - {"type":"DISPLAY","name":"","addr":"(DDB)","loc":"d,169:7,169:13", - "fmtp": [ - {"type":"SFORMATF","name":"","addr":"(EDB)","loc":"d,169:7,169:13","dtypep":"(FG)", - "exprsp": [ - {"type":"CONST","name":"296'h7374643a3a70726f636573733a3a73757370656e642829206e6f7420737570706f72746564","addr":"(FDB)","loc":"d,169:14,169:53","dtypep":"(GDB)"} - ],"scopeNamep": []} - ],"filep": []}, - {"type":"STOP","name":"","addr":"(HDB)","loc":"d,169:7,169:13"} - ],"scopeNamep": []}, - {"type":"TASK","name":"resume","addr":"(IDB)","loc":"d,172:19,172:25","cname":"resume","fvarp": [],"classOrPackagep": [], - "stmtsp": [ - {"type":"STMTEXPR","name":"","addr":"(JDB)","loc":"d,173:7,173:17", - "exprp": [ - {"type":"TASKREF","name":"set_status","addr":"(KDB)","loc":"d,173:7,173:17","dtypep":"(WU)","dotted":"","taskp":"UNLINKED","classOrPackagep":"UNLINKED", - "argsp": [ - {"type":"ARG","name":"","addr":"(LDB)","loc":"d,173:18,173:25", - "exprp": [ - {"type":"PARSEREF","name":"RUNNING","addr":"(MDB)","loc":"d,173:18,173:25","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ],"withp": [],"scopeNamep": []} - ]} - ],"scopeNamep": []}, - {"type":"TASK","name":"await","addr":"(NDB)","loc":"d,176:10,176:15","cname":"await","fvarp": [],"classOrPackagep": [], - "stmtsp": [ - {"type":"WAIT","name":"","addr":"(ODB)","loc":"d,178:7,178:11", - "condp": [ - {"type":"LOGOR","name":"","addr":"(PDB)","loc":"d,178:34,178:36","dtypep":"(YE)", - "lhsp": [ - {"type":"EQ","name":"","addr":"(QDB)","loc":"d,178:22,178:24","dtypep":"(YE)", - "lhsp": [ - {"type":"FUNCREF","name":"status","addr":"(RDB)","loc":"d,178:13,178:19","dtypep":"UNLINKED","dotted":"","taskp":"UNLINKED","classOrPackagep":"UNLINKED","argsp": [],"withp": [],"scopeNamep": []} - ], - "rhsp": [ - {"type":"PARSEREF","name":"FINISHED","addr":"(SDB)","loc":"d,178:25,178:33","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ], - "rhsp": [ - {"type":"EQ","name":"","addr":"(TDB)","loc":"d,178:46,178:48","dtypep":"(YE)", - "lhsp": [ - {"type":"FUNCREF","name":"status","addr":"(UDB)","loc":"d,178:37,178:43","dtypep":"UNLINKED","dotted":"","taskp":"UNLINKED","classOrPackagep":"UNLINKED","argsp": [],"withp": [],"scopeNamep": []} - ], - "rhsp": [ - {"type":"PARSEREF","name":"KILLED","addr":"(VDB)","loc":"d,178:49,178:55","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ]} - ],"stmtsp": []} - ],"scopeNamep": []}, - {"type":"TASK","name":"killQueue","addr":"(WDB)","loc":"d,182:17,182:26","cname":"killQueue","fvarp": [],"classOrPackagep": [], - "stmtsp": [ - {"type":"VAR","name":"processQueue","addr":"(XDB)","loc":"d,182:39,182:51","dtypep":"UNLINKED","origName":"processQueue","verilogName":"processQueue","direction":"REF","lifetime":"NONE","varType":"PORT","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"BRACKETARRAYDTYPE","name":"","addr":"(YDB)","loc":"d,182:51,182:52","dtypep":"UNLINKED", - "childDTypep": [ - {"type":"REFDTYPE","name":"process","addr":"(ZDB)","loc":"d,182:31,182:38","dtypep":"UNLINKED","typedefp":"UNLINKED","refDTypep":"UNLINKED","classOrPackagep":"UNLINKED","typeofp": [],"classOrPackageOpp": [],"paramsp": []} - ], - "elementsp": [ - {"type":"UNBOUNDED","name":"","addr":"(AEB)","loc":"d,182:52,182:53","dtypep":"(KT)"} - ]} - ],"delayp": [],"valuep": [],"attrsp": []}, - {"type":"LOOP","name":"","addr":"(BEB)","loc":"d,184:7,184:12","unroll":"default", - "stmtsp": [ - {"type":"LOOPTEST","name":"","addr":"(CEB)","loc":"d,184:14,184:26", - "condp": [ - {"type":"GT","name":"","addr":"(DEB)","loc":"d,184:34,184:35","dtypep":"(YE)", - "lhsp": [ - {"type":"DOT","name":"","addr":"(EEB)","loc":"d,184:26,184:27","dtypep":"UNLINKED", - "lhsp": [ - {"type":"PARSEREF","name":"processQueue","addr":"(FEB)","loc":"d,184:14,184:26","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"FUNCREF","name":"size","addr":"(GEB)","loc":"d,184:27,184:31","dtypep":"UNLINKED","dotted":"","taskp":"UNLINKED","classOrPackagep":"UNLINKED","argsp": [],"withp": [],"scopeNamep": []} - ]} - ], - "rhsp": [ - {"type":"CONST","name":"?32?sh0","addr":"(HEB)","loc":"d,184:36,184:37","dtypep":"(N)"} - ]} - ]}, - {"type":"BEGIN","name":"","addr":"(IEB)","loc":"d,184:39,184:44","unnamed":true,"declsp": [], - "stmtsp": [ - {"type":"STMTEXPR","name":"","addr":"(JEB)","loc":"d,185:32,185:33", - "exprp": [ - {"type":"DOT","name":"","addr":"(KEB)","loc":"d,185:32,185:33","dtypep":"UNLINKED", - "lhsp": [ - {"type":"DOT","name":"","addr":"(LEB)","loc":"d,185:21,185:22","dtypep":"UNLINKED", - "lhsp": [ - {"type":"PARSEREF","name":"processQueue","addr":"(MEB)","loc":"d,185:9,185:21","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ], - "rhsp": [ - {"type":"FUNCREF","name":"pop_back","addr":"(NEB)","loc":"d,185:22,185:30","dtypep":"UNLINKED","dotted":"","taskp":"UNLINKED","classOrPackagep":"UNLINKED","argsp": [],"withp": [],"scopeNamep": []} - ]} - ], - "rhsp": [ - {"type":"TASKREF","name":"kill","addr":"(OEB)","loc":"d,185:33,185:37","dtypep":"(WU)","dotted":"","taskp":"UNLINKED","classOrPackagep":"UNLINKED","argsp": [],"withp": [],"scopeNamep": []} - ]} - ]} - ]} - ],"contsp": []} - ],"scopeNamep": []}, - {"type":"SYSTEMCSECTION","name":"","addr":"(PEB)","loc":"d,195:21,197:1","sectionType":"`systemc_header_post"}, - {"type":"SYSTEMCSECTION","name":"","addr":"(QEB)","loc":"d,197:1,198:1","sectionType":"`systemc_header_post"}, - {"type":"SYSTEMCSECTION","name":"","addr":"(REB)","loc":"d,198:1,199:1","sectionType":"`systemc_header_post"}, - {"type":"SYSTEMCSECTION","name":"","addr":"(SEB)","loc":"d,199:1,200:1","sectionType":"`systemc_header_post"}, - {"type":"SYSTEMCSECTION","name":"","addr":"(TEB)","loc":"d,200:1,201:1","sectionType":"`systemc_header_post"}, - {"type":"SYSTEMCSECTION","name":"","addr":"(UEB)","loc":"d,201:1,202:1","sectionType":"`systemc_header_post"}, - {"type":"SYSTEMCSECTION","name":"","addr":"(VEB)","loc":"d,202:1,203:1","sectionType":"`systemc_header_post"}, - {"type":"SYSTEMCSECTION","name":"","addr":"(WEB)","loc":"d,203:1,204:1","sectionType":"`systemc_header_post"}, - {"type":"SYSTEMCSECTION","name":"","addr":"(XEB)","loc":"d,204:1,205:1","sectionType":"`systemc_header_post"}, - {"type":"SYSTEMCSECTION","name":"","addr":"(YEB)","loc":"d,205:1,206:1","sectionType":"`systemc_header_post"}, - {"type":"SYSTEMCSECTION","name":"","addr":"(ZEB)","loc":"d,206:1,207:1","sectionType":"`systemc_header_post"}, - {"type":"SYSTEMCSECTION","name":"","addr":"(AFB)","loc":"d,207:1,208:1","sectionType":"`systemc_header_post"}, - {"type":"SYSTEMCSECTION","name":"","addr":"(BFB)","loc":"d,208:1,209:1","sectionType":"`systemc_header_post"}, - {"type":"SYSTEMCSECTION","name":"","addr":"(CFB)","loc":"d,209:1,210:1","sectionType":"`systemc_header_post"}, - {"type":"SYSTEMCSECTION","name":"","addr":"(DFB)","loc":"d,210:1,211:1","sectionType":"`systemc_header_post"}, - {"type":"SYSTEMCSECTION","name":"","addr":"(EFB)","loc":"d,211:1,212:1","sectionType":"`systemc_header_post"}, - {"type":"SYSTEMCSECTION","name":"","addr":"(FFB)","loc":"d,212:1,213:1","sectionType":"`systemc_header_post"}, - {"type":"SYSTEMCSECTION","name":"","addr":"(GFB)","loc":"d,213:1,214:1","sectionType":"`systemc_header_post"}, - {"type":"FUNC","name":"get_randstate","addr":"(HFB)","loc":"d,229:21,229:34","dtypep":"UNLINKED","cname":"get_randstate", - "fvarp": [ - {"type":"BASICDTYPE","name":"string","addr":"(IFB)","loc":"d,229:14,229:20","dtypep":"(IFB)","keyword":"string","rangep": []} - ],"classOrPackagep": [], - "stmtsp": [ - {"type":"VAR","name":"s","addr":"(JFB)","loc":"d,231:14,231:15","dtypep":"UNLINKED","origName":"s","verilogName":"s","direction":"NONE","lifetime":"NONE","varType":"VAR","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"string","addr":"(KFB)","loc":"d,231:7,231:13","dtypep":"(KFB)","keyword":"string","rangep": []} - ],"delayp": [], - "valuep": [ - {"type":"CVTPACKSTRING","name":"","addr":"(LFB)","loc":"d,231:18,231:24","dtypep":"(FG)", - "lhsp": [ - {"type":"CEXPRUSER","name":"","addr":"(MFB)","loc":"d,231:26,231:28","dtypep":"UNLINKED", - "nodesp": [ - {"type":"TEXT","name":"","addr":"(NFB)","loc":"d,231:29,231:32","text":"0"} - ]} - ]} - ],"attrsp": []}, - {"type":"CSTMTUSER","name":"","addr":"(OFB)","loc":"d,233:7,233:9", - "nodesp": [ - {"type":"PARSEREF","name":"s","addr":"(PFB)","loc":"d,233:10,233:11","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []}, - {"type":"TEXT","name":"","addr":"(QFB)","loc":"d,233:13,233:18","text":" = "}, - {"type":"PARSEREF","name":"m_process","addr":"(RFB)","loc":"d,233:20,233:29","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []}, - {"type":"TEXT","name":"","addr":"(SFB)","loc":"d,233:31,233:47","text":"->randstate();"} - ]}, - {"type":"RETURN","name":"","addr":"(TFB)","loc":"d,234:7,234:13", - "lhsp": [ - {"type":"PARSEREF","name":"s","addr":"(UFB)","loc":"d,234:14,234:15","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ]} - ],"scopeNamep": []}, - {"type":"TASK","name":"set_randstate","addr":"(VFB)","loc":"d,237:19,237:32","cname":"set_randstate","fvarp": [],"classOrPackagep": [], - "stmtsp": [ - {"type":"VAR","name":"s","addr":"(WFB)","loc":"d,237:40,237:41","dtypep":"UNLINKED","origName":"s","verilogName":"s","direction":"INPUT","lifetime":"NONE","varType":"PORT","sensIfacep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"string","addr":"(XFB)","loc":"d,237:33,237:39","dtypep":"(XFB)","keyword":"string","rangep": []} - ],"delayp": [],"valuep": [],"attrsp": []}, - {"type":"CSTMTUSER","name":"","addr":"(YFB)","loc":"d,238:7,238:9", - "nodesp": [ - {"type":"PARSEREF","name":"m_process","addr":"(ZFB)","loc":"d,238:10,238:19","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []}, - {"type":"TEXT","name":"","addr":"(AGB)","loc":"d,238:21,238:35","text":"->randstate("}, - {"type":"PARSEREF","name":"s","addr":"(BGB)","loc":"d,238:37,238:38","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []}, - {"type":"TEXT","name":"","addr":"(CGB)","loc":"d,238:40,238:44","text":");"} - ]} - ],"scopeNamep": []} - ],"extendsp": []}, - {"type":"FUNC","name":"randomize","addr":"(DGB)","loc":"d,243:16,243:25","dtypep":"UNLINKED","cname":"randomize", - "fvarp": [ - {"type":"BASICDTYPE","name":"int","addr":"(EGB)","loc":"d,243:12,243:15","dtypep":"(EGB)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"classOrPackagep": [], - "stmtsp": [ - {"type":"ASSIGN","name":"","addr":"(FGB)","loc":"d,244:15,244:16","dtypep":"UNLINKED", - "rhsp": [ - {"type":"CONST","name":"?32?sh0","addr":"(GGB)","loc":"d,244:17,244:18","dtypep":"(N)"} - ], - "lhsp": [ - {"type":"PARSEREF","name":"randomize","addr":"(HGB)","loc":"d,244:5,244:14","dtypep":"UNLINKED","lhsp": [],"ftaskrefp": []} - ],"timingControlp": []} - ],"scopeNamep": []}, - {"type":"TYPEDEF","name":"vl_covergroup_options_t","addr":"(IGB)","loc":"d,262:5,262:28","dtypep":"UNLINKED", - "childDTypep": [ - {"type":"DEFIMPLICITDTYPE","name":"__typeimpsu1","addr":"(JGB)","loc":"d,250:11,250:17","dtypep":"UNLINKED", - "childDTypep": [ - {"type":"STRUCTDTYPE","name":"","addr":"(KGB)","loc":"d,250:11,250:17","dtypep":"UNLINKED","classOrPackagep":"UNLINKED", - "membersp": [ - {"type":"MEMBERDTYPE","name":"name","addr":"(LGB)","loc":"d,251:12,251:16","dtypep":"UNLINKED","name":"name","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"string","addr":"(MGB)","loc":"d,251:5,251:11","dtypep":"(MGB)","keyword":"string","rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"weight","addr":"(NGB)","loc":"d,252:9,252:15","dtypep":"UNLINKED","name":"weight","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(OGB)","loc":"d,252:5,252:8","dtypep":"(OGB)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"goal","addr":"(PGB)","loc":"d,253:9,253:13","dtypep":"UNLINKED","name":"goal","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(QGB)","loc":"d,253:5,253:8","dtypep":"(QGB)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"comment","addr":"(RGB)","loc":"d,254:12,254:19","dtypep":"UNLINKED","name":"comment","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"string","addr":"(SGB)","loc":"d,254:5,254:11","dtypep":"(SGB)","keyword":"string","rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"at_least","addr":"(TGB)","loc":"d,255:9,255:17","dtypep":"UNLINKED","name":"at_least","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(UGB)","loc":"d,255:5,255:8","dtypep":"(UGB)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"auto_bin_max","addr":"(VGB)","loc":"d,256:9,256:21","dtypep":"UNLINKED","name":"auto_bin_max","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(WGB)","loc":"d,256:5,256:8","dtypep":"(WGB)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"cross_num_print_missing","addr":"(XGB)","loc":"d,257:9,257:32","dtypep":"UNLINKED","name":"cross_num_print_missing","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(YGB)","loc":"d,257:5,257:8","dtypep":"(YGB)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"cross_retain_auto_bins","addr":"(ZGB)","loc":"d,258:9,258:31","dtypep":"UNLINKED","name":"cross_retain_auto_bins","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"bit","addr":"(AHB)","loc":"d,258:5,258:8","dtypep":"(AHB)","keyword":"bit","rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"detect_overlap","addr":"(BHB)","loc":"d,259:9,259:23","dtypep":"UNLINKED","name":"detect_overlap","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"bit","addr":"(CHB)","loc":"d,259:5,259:8","dtypep":"(CHB)","keyword":"bit","rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"per_instance","addr":"(DHB)","loc":"d,260:9,260:21","dtypep":"UNLINKED","name":"per_instance","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"bit","addr":"(EHB)","loc":"d,260:5,260:8","dtypep":"(EHB)","keyword":"bit","rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"get_inst_coverage","addr":"(FHB)","loc":"d,261:9,261:26","dtypep":"UNLINKED","name":"get_inst_coverage","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"bit","addr":"(GHB)","loc":"d,261:5,261:8","dtypep":"(GHB)","keyword":"bit","rangep": []} - ],"valuep": []} - ]} - ]} - ],"attrsp": []}, - {"type":"TYPEDEF","name":"vl_coverpoint_options_t","addr":"(HHB)","loc":"d,271:5,271:28","dtypep":"UNLINKED", - "childDTypep": [ - {"type":"DEFIMPLICITDTYPE","name":"__typeimpsu2","addr":"(IHB)","loc":"d,264:11,264:17","dtypep":"UNLINKED", - "childDTypep": [ - {"type":"STRUCTDTYPE","name":"","addr":"(JHB)","loc":"d,264:11,264:17","dtypep":"UNLINKED","classOrPackagep":"UNLINKED", - "membersp": [ - {"type":"MEMBERDTYPE","name":"weight","addr":"(KHB)","loc":"d,265:9,265:15","dtypep":"UNLINKED","name":"weight","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(LHB)","loc":"d,265:5,265:8","dtypep":"(LHB)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"goal","addr":"(MHB)","loc":"d,266:9,266:13","dtypep":"UNLINKED","name":"goal","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(NHB)","loc":"d,266:5,266:8","dtypep":"(NHB)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"comment","addr":"(OHB)","loc":"d,267:12,267:19","dtypep":"UNLINKED","name":"comment","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"string","addr":"(PHB)","loc":"d,267:5,267:11","dtypep":"(PHB)","keyword":"string","rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"at_least","addr":"(QHB)","loc":"d,268:9,268:17","dtypep":"UNLINKED","name":"at_least","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(RHB)","loc":"d,268:5,268:8","dtypep":"(RHB)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"auto_bin_max","addr":"(SHB)","loc":"d,269:9,269:21","dtypep":"UNLINKED","name":"auto_bin_max","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(THB)","loc":"d,269:5,269:8","dtypep":"(THB)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"detect_overlap","addr":"(UHB)","loc":"d,270:9,270:23","dtypep":"UNLINKED","name":"detect_overlap","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"bit","addr":"(VHB)","loc":"d,270:5,270:8","dtypep":"(VHB)","keyword":"bit","rangep": []} - ],"valuep": []} - ]} - ]} - ],"attrsp": []}, - {"type":"TYPEDEF","name":"vl_cross_options_t","addr":"(WHB)","loc":"d,280:5,280:23","dtypep":"UNLINKED", - "childDTypep": [ - {"type":"DEFIMPLICITDTYPE","name":"__typeimpsu3","addr":"(XHB)","loc":"d,273:11,273:17","dtypep":"UNLINKED", - "childDTypep": [ - {"type":"STRUCTDTYPE","name":"","addr":"(YHB)","loc":"d,273:11,273:17","dtypep":"UNLINKED","classOrPackagep":"UNLINKED", - "membersp": [ - {"type":"MEMBERDTYPE","name":"weight","addr":"(ZHB)","loc":"d,274:9,274:15","dtypep":"UNLINKED","name":"weight","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(AIB)","loc":"d,274:5,274:8","dtypep":"(AIB)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"goal","addr":"(BIB)","loc":"d,275:9,275:13","dtypep":"UNLINKED","name":"goal","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(CIB)","loc":"d,275:5,275:8","dtypep":"(CIB)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"comment","addr":"(DIB)","loc":"d,276:12,276:19","dtypep":"UNLINKED","name":"comment","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"string","addr":"(EIB)","loc":"d,276:5,276:11","dtypep":"(EIB)","keyword":"string","rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"at_least","addr":"(FIB)","loc":"d,277:9,277:17","dtypep":"UNLINKED","name":"at_least","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(GIB)","loc":"d,277:5,277:8","dtypep":"(GIB)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"cross_num_print_missing","addr":"(HIB)","loc":"d,278:9,278:32","dtypep":"UNLINKED","name":"cross_num_print_missing","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(IIB)","loc":"d,278:5,278:8","dtypep":"(IIB)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"cross_retain_auto_bins","addr":"(JIB)","loc":"d,279:9,279:31","dtypep":"UNLINKED","name":"cross_retain_auto_bins","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"bit","addr":"(KIB)","loc":"d,279:5,279:8","dtypep":"(KIB)","keyword":"bit","rangep": []} - ],"valuep": []} - ]} - ]} - ],"attrsp": []}, - {"type":"TYPEDEF","name":"vl_covergroup_type_options_t","addr":"(LIB)","loc":"d,290:5,290:33","dtypep":"UNLINKED", - "childDTypep": [ - {"type":"DEFIMPLICITDTYPE","name":"__typeimpsu4","addr":"(MIB)","loc":"d,282:11,282:17","dtypep":"UNLINKED", - "childDTypep": [ - {"type":"STRUCTDTYPE","name":"","addr":"(NIB)","loc":"d,282:11,282:17","dtypep":"UNLINKED","classOrPackagep":"UNLINKED", - "membersp": [ - {"type":"MEMBERDTYPE","name":"weight","addr":"(OIB)","loc":"d,283:9,283:15","dtypep":"UNLINKED","name":"weight","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(PIB)","loc":"d,283:5,283:8","dtypep":"(PIB)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"goal","addr":"(QIB)","loc":"d,284:9,284:13","dtypep":"UNLINKED","name":"goal","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(RIB)","loc":"d,284:5,284:8","dtypep":"(RIB)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"comment","addr":"(SIB)","loc":"d,285:12,285:19","dtypep":"UNLINKED","name":"comment","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"string","addr":"(TIB)","loc":"d,285:5,285:11","dtypep":"(TIB)","keyword":"string","rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"strobe","addr":"(UIB)","loc":"d,286:9,286:15","dtypep":"UNLINKED","name":"strobe","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"bit","addr":"(VIB)","loc":"d,286:5,286:8","dtypep":"(VIB)","keyword":"bit","rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"merge_instances","addr":"(WIB)","loc":"d,287:9,287:24","dtypep":"UNLINKED","name":"merge_instances","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"bit","addr":"(XIB)","loc":"d,287:5,287:8","dtypep":"(XIB)","keyword":"bit","rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"distribute_first","addr":"(YIB)","loc":"d,288:9,288:25","dtypep":"UNLINKED","name":"distribute_first","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"bit","addr":"(ZIB)","loc":"d,288:5,288:8","dtypep":"(ZIB)","keyword":"bit","rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"real_interval","addr":"(AJB)","loc":"d,289:10,289:23","dtypep":"UNLINKED","name":"real_interval","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"real","addr":"(BJB)","loc":"d,289:5,289:9","dtypep":"(BJB)","keyword":"real","rangep": []} - ],"valuep": []} - ]} - ]} - ],"attrsp": []}, - {"type":"TYPEDEF","name":"vl_coverpoint_type_options_t","addr":"(CJB)","loc":"d,297:5,297:33","dtypep":"UNLINKED", - "childDTypep": [ - {"type":"DEFIMPLICITDTYPE","name":"__typeimpsu5","addr":"(DJB)","loc":"d,292:11,292:17","dtypep":"UNLINKED", - "childDTypep": [ - {"type":"STRUCTDTYPE","name":"","addr":"(EJB)","loc":"d,292:11,292:17","dtypep":"UNLINKED","classOrPackagep":"UNLINKED", - "membersp": [ - {"type":"MEMBERDTYPE","name":"weight","addr":"(FJB)","loc":"d,293:9,293:15","dtypep":"UNLINKED","name":"weight","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(GJB)","loc":"d,293:5,293:8","dtypep":"(GJB)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"goal","addr":"(HJB)","loc":"d,294:9,294:13","dtypep":"UNLINKED","name":"goal","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(IJB)","loc":"d,294:5,294:8","dtypep":"(IJB)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"comment","addr":"(JJB)","loc":"d,295:12,295:19","dtypep":"UNLINKED","name":"comment","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"string","addr":"(KJB)","loc":"d,295:5,295:11","dtypep":"(KJB)","keyword":"string","rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"real_interval","addr":"(LJB)","loc":"d,296:10,296:23","dtypep":"UNLINKED","name":"real_interval","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"real","addr":"(MJB)","loc":"d,296:5,296:9","dtypep":"(MJB)","keyword":"real","rangep": []} - ],"valuep": []} - ]} - ]} - ],"attrsp": []}, - {"type":"TYPEDEF","name":"vl_cross_type_options_t","addr":"(NJB)","loc":"d,303:5,303:28","dtypep":"UNLINKED", - "childDTypep": [ - {"type":"DEFIMPLICITDTYPE","name":"__typeimpsu6","addr":"(OJB)","loc":"d,299:11,299:17","dtypep":"UNLINKED", - "childDTypep": [ - {"type":"STRUCTDTYPE","name":"","addr":"(PJB)","loc":"d,299:11,299:17","dtypep":"UNLINKED","classOrPackagep":"UNLINKED", - "membersp": [ - {"type":"MEMBERDTYPE","name":"weight","addr":"(QJB)","loc":"d,300:9,300:15","dtypep":"UNLINKED","name":"weight","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(RJB)","loc":"d,300:5,300:8","dtypep":"(RJB)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"goal","addr":"(SJB)","loc":"d,301:9,301:13","dtypep":"UNLINKED","name":"goal","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"int","addr":"(TJB)","loc":"d,301:5,301:8","dtypep":"(TJB)","keyword":"int","range":"31:0","signed":true,"rangep": []} - ],"valuep": []}, - {"type":"MEMBERDTYPE","name":"comment","addr":"(UJB)","loc":"d,302:12,302:19","dtypep":"UNLINKED","name":"comment","tag":"","refDTypep":"UNLINKED", - "childDTypep": [ - {"type":"BASICDTYPE","name":"string","addr":"(VJB)","loc":"d,302:5,302:11","dtypep":"(VJB)","keyword":"string","rangep": []} - ],"valuep": []} - ]} - ]} - ],"attrsp": []} - ]} -],"filesp": [], - "miscsp": [ - {"type":"TYPETABLE","name":"","addr":"(C)","loc":"a,0:0,0:0","constraintRefp":"UNLINKED","emptyQueuep":"UNLINKED","queueIndexp":"UNLINKED","streamp":"UNLINKED","voidp":"(WU)", - "typesp": [ - {"type":"BASICDTYPE","name":"integer","addr":"(KT)","loc":"d,38:25,38:26","dtypep":"(KT)","keyword":"integer","range":"31:0","generic":true,"signed":true,"rangep": []}, - {"type":"BASICDTYPE","name":"logic","addr":"(N)","loc":"d,40:30,40:31","dtypep":"(N)","keyword":"logic","range":"31:0","generic":true,"signed":true,"rangep": []}, - {"type":"BASICDTYPE","name":"logic","addr":"(YE)","loc":"d,50:22,50:24","dtypep":"(YE)","keyword":"logic","generic":true,"rangep": []}, - {"type":"VOIDDTYPE","name":"","addr":"(WU)","loc":"d,52:15,52:24","dtypep":"(WU)"}, - {"type":"BASICDTYPE","name":"logic","addr":"(UD)","loc":"d,134:17,134:18","dtypep":"(UD)","keyword":"logic","range":"31:0","generic":true,"signed":true,"rangep": []}, - {"type":"BASICDTYPE","name":"logic","addr":"(SBB)","loc":"d,136:16,136:17","dtypep":"(SBB)","keyword":"logic","range":"31:0","generic":true,"signed":true,"rangep": []}, - {"type":"BASICDTYPE","name":"logic","addr":"(GDB)","loc":"d,169:14,169:53","dtypep":"(GDB)","keyword":"logic","range":"295:0","generic":true,"rangep": []}, - {"type":"BASICDTYPE","name":"string","addr":"(FG)","loc":"d,169:7,169:13","dtypep":"(FG)","keyword":"string","generic":true,"rangep": []}, - {"type":"BASICDTYPE","name":"logic","addr":"(S)","loc":"e,12:8,12:10","dtypep":"(S)","keyword":"logic","range":"31:0","generic":true,"signed":true,"rangep": []}, - {"type":"BASICDTYPE","name":"logic","addr":"(DB)","loc":"e,16:9,16:11","dtypep":"(DB)","keyword":"logic","range":"31:0","generic":true,"signed":true,"rangep": []}, - {"type":"BASICDTYPE","name":"logic","addr":"(QC)","loc":"e,31:25,31:30","dtypep":"(QC)","keyword":"logic","range":"31:0","generic":true,"rangep": []}, - {"type":"BASICDTYPE","name":"logic","addr":"(NC)","loc":"e,31:24,31:25","dtypep":"(NC)","keyword":"logic","generic":true,"rangep": []}, - {"type":"BASICDTYPE","name":"logic","addr":"(EF)","loc":"e,43:16,43:37","dtypep":"(EF)","keyword":"logic","range":"63:0","generic":true,"rangep": []}, - {"type":"BASICDTYPE","name":"logic","addr":"(NF)","loc":"e,46:21,46:23","dtypep":"(NF)","keyword":"logic","range":"31:0","generic":true,"signed":true,"rangep": []}, - {"type":"BASICDTYPE","name":"logic","addr":"(WF)","loc":"e,49:21,49:23","dtypep":"(WF)","keyword":"logic","range":"31:0","generic":true,"signed":true,"rangep": []}, - {"type":"BASICDTYPE","name":"logic","addr":"(HG)","loc":"e,52:16,52:48","dtypep":"(HG)","keyword":"logic","range":"231:0","generic":true,"rangep": []}, - {"type":"BASICDTYPE","name":"QData","addr":"(JG)","loc":"e,52:50,52:55","dtypep":"(JG)","keyword":"QData","range":"63:0","generic":true,"rangep": []}, - {"type":"BASICDTYPE","name":"logic","addr":"(AH)","loc":"e,57:16,57:40","dtypep":"(AH)","keyword":"logic","range":"167:0","generic":true,"rangep": []}, - {"type":"BASICDTYPE","name":"logic","addr":"(HS)","loc":"e,145:19,145:23","dtypep":"(HS)","keyword":"logic","range":"15:0","generic":true,"rangep": []} - ]}, - {"type":"CONSTPOOL","name":"","addr":"(D)","loc":"a,0:0,0:0", - "modulep": [ - {"type":"MODULE","name":"@CONST-POOL@","addr":"(WJB)","loc":"a,0:0,0:0","origName":"@CONST-POOL@","verilogName":"@CONST-POOL@","level":0,"timeunit":"NONE","inlinesp": [], - "stmtsp": [ - {"type":"SCOPE","name":"@CONST-POOL@","addr":"(XJB)","loc":"a,0:0,0:0","aboveScopep":"UNLINKED","aboveCellp":"UNLINKED","modp":"(WJB)","varsp": [],"blocksp": [],"inlinesp": []} - ]} - ]} -]} diff --git a/test_regress/t/t_dump_json.py b/test_regress/t/t_dump_json.py index 027ddadb2..63fcca771 100755 --- a/test_regress/t/t_dump_json.py +++ b/test_regress/t/t_dump_json.py @@ -7,14 +7,21 @@ # SPDX-FileCopyrightText: 2024 Wilson Snyder # SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0 +import json import vltest_bootstrap test.scenarios('vlt') test.top_filename = "t/t_dump.v" +out_filename = test.obj_dir + "/V" + test.name + "_002_cellsort.tree.json" + test.lint(v_flags=["--dump-tree-json --no-json-edit-nums"]) -test.files_identical(test.obj_dir + "/Vt_dump_json_002_cellsort.tree.json", test.golden_filename, - 'logfile') +# not files_identical as output is too sensitive to internal changes +test.file_grep(out_filename, r'"type":"MODULE"') + +# check JSON is parsable +with open(out_filename, 'r', encoding="utf8") as fh: + json.load(fh) test.passes()