Searched refs:vlogtbfile (Results 1 – 1 of 1) sorted by relevance
36 vlogtbfile = None variable204 vlogtbfile = a variable392 if noinfo and vcdfile is None and vlogtbfile is None and outconstr is None:840 filename = vlogtbfile.replace("%", index)1064 if vlogtbfile is not None: