def main():
parser = argparse.ArgumentParser(description="Query a Verilog netlist")
parser.add_argument('files', nargs='+', help='Input files')
parser.add_argument('-c',
'--compile',
action='store_true',
help='Run Verilator to compile a netlist')
parser.add_argument(
'-I',
metavar='include_path',
help='Add an source include path (only with --compile)')
parser.add_argument(
'-D',
metavar='definition',
help='Define a preprocessor macro (only with --compile)')
parser.add_argument('-o,--output',
default=None,
dest='output_file',
metavar='output file',
help='Specify an output file')
parser.add_argument('--dump-names',
nargs='?',
default=None,
const='.*',
metavar='regex',
help='Dump all names, filter by regex')
parser.add_argument('--dump-dot',
action='store_true',
help='Dump a dotfile of the netlist\'s graph')
parser.add_argument('--from',
dest='start_point',
metavar='point',
help='Start point')
parser.add_argument('--to',
dest='finish_point',
metavar='point',
help='Finish point')
parser.add_argument('--though',
nargs=1,
action='append',
dest='through_points',
default=[],
metavar='point',
help='Though point')
parser.add_argument(
'--all-paths',
action='store_true',
help='Find all paths between two points (exponential time)')
parser.add_argument('--regex',
action='store_true',
help='Enable regular expression matching of names')
parser.add_argument('-v',
'--verbose',
action='store_true',
help='Print execution information')
parser.add_argument('-d',
'--debug',
action='store_true',
help='Print debugging information')
args = parser.parse_args()
# Setup options
if args.regex:
Options.get_instance().set_match_regex()
if args.verbose:
Options.get_instance().set_verbose()
if args.debug:
Options.get_instance().set_debug()
try:
# Verilator compilation
# (Only support one source file.)
if (args.compile):
comp = RunVerilator(defs.INSTALL_PREFIX)
temp_name = next(tempfile._get_candidate_names())
if comp.run(args.files[0], temp_name) > 0:
raise RuntimeError('error compiling design')
# Create the netlist
netlist = Netlist(temp_name)
# If compiling and no no further steps performed and an output file is
# specified, rename XML to the output, otherwise delete it.
if args.compile:
if args.output_file and \
not args.dump_names and \
not args.dump_dot and \
not (args.start_point or args.finish_point):
os.rename(temp_name, args.output_file)
else:
os.remove(temp_name)
# Dump names
if args.dump_names:
dump_names(netlist, args.dump_names, sys.stdout)
return 0
if args.dump_dot:
netlist.dump_dot_file(
args.output_file if args.output_file else DEFAULT_DOT_FILE)
return 0
# Point-to-point path
if args.start_point and args.finish_point:
waypoints = Waypoints()
waypoints.add_start_point(args.start_point)
waypoints.add_finish_point(args.finish_point)
[
waypoints.add_through_point(point)
for point in args.through_points
]
if args.all_paths:
path = netlist.get_all_paths(waypoints)
dump_path_list_report(netlist, path, sys.stdout)
else:
path = netlist.get_any_path(waypoints)
dump_path_report(netlist, path, sys.stdout)
return 0
# Fan out paths
if args.start_point and not args.finish_point:
if len(args.through_points) > 0:
raise RuntimeError(
'cannot specify through points with fanout paths')
paths = netlist.get_all_fanout_paths(args.start_point)
dump_path_list_report(netlist, paths, sys.stdout)
return 0
# Fan in paths
if args.finish_point and not args.start_point:
if len(args.through_points) > 0:
raise RuntimeError(
'cannot specify through points with fanin paths')
paths = netlist.get_all_fanin_paths(args.finish_point)
dump_path_list_report(netlist, paths, sys.stdout)
return 0
except RuntimeError as e:
print('Error: ' + str(e))
return 1
def main():
parser = argparse.ArgumentParser(description="Query a Verilog netlist")
parser.add_argument('files', nargs='+', help='Input files')
parser.add_argument('-c',
'--compile',
action='store_true',
help='Run Verilator to compile a netlist')
parser.add_argument(
'-I',
metavar='include_path',
help='Add an source include path (only with --compile)')
parser.add_argument(
'-D',
metavar='definition',
help='Define a preprocessor macro (only with --compile)')
parser.add_argument('-o',
'--output',
default=None,
dest='output_file',
metavar='output file',
help='Specify an output file')
parser.add_argument('--dump-names',
nargs='?',
default=None,
const='',
metavar='pattern',
help='Dump all named entities, filter by regex')
parser.add_argument('--dump-nets',
nargs='?',
default=None,
const='',
metavar='pattern',
help='Dump all nets, filter by regex')
parser.add_argument('--dump-ports',
nargs='?',
default=None,
const='',
metavar='pattern',
help='Dump all ports, filter by regex')
parser.add_argument('--dump-regs',
nargs='?',
default=None,
const='',
metavar='pattern',
help='Dump all registers, filter by regex')
parser.add_argument('--dump-dot',
action='store_true',
help='Dump a dotfile of the netlist\'s graph')
parser.add_argument('--from',
dest='start_point',
metavar='point',
help='Specify a path start point')
parser.add_argument('--to',
dest='finish_point',
metavar='point',
help='Specify a path finish point')
parser.add_argument('--through',
action='append',
default=[],
dest='through_points',
metavar='point',
help='Specify a path though point')
parser.add_argument('--avoid',
action='append',
default=[],
dest='avoid_points',
metavar='point',
help='Specify a point for a path to avoid')
parser.add_argument(
'--traverse-registers',
action='store_const',
const=lambda: Options.get_instance().enable_traverse_registers(),
default=lambda *args: None,
help='Allow paths to traverse registers')
parser.add_argument(
'--all-paths',
action='store_true',
help='Find all paths between two points (exponential time)')
parser.add_argument('--regex',
action='store_const',
const=lambda: Options.get_instance().set_match_regex(),
default=lambda *args: None,
help='Enable regular expression matching of names')
parser.add_argument(
'--wildcard',
action='store_const',
const=lambda: Options.get_instance().set_match_wildcard(),
default=lambda *args: None,
help='Enable wildcard matching of names')
parser.add_argument('--ignore-hierarchy-markers',
action='store_const',
const=lambda: Options.ignore_hierarchy_markers(),
default=lambda *args: None,
help='Ignore hierarchy markers: _ . /')
parser.add_argument('-v',
'--verbose',
action='store_const',
const=lambda: Options.get_instance().set_verbose(),
default=lambda *args: None,
help='Print execution information')
parser.add_argument('-d',
'--debug',
action='store_const',
const=lambda: Options.get_instance().set_debug(),
default=lambda *args: None,
help='Print debugging information')
args = parser.parse_args()
# Setup options.
args.traverse_registers()
args.regex()
args.wildcard()
args.ignore_hierarchy_markers()
args.verbose()
args.debug()
try:
# Verilator compilation
# (Only supports one source file currently, useful for testing.)
if args.compile:
if args.output_file == None:
output_filename = next(tempfile._get_candidate_names())
else:
output_filename = args.output_file
comp = RunVerilator(defs.INSTALL_PREFIX)
if comp.run(args.files[0], output_filename) > 0:
raise RuntimeError('error compiling design')
else:
if len(args.files) != 1:
raise RuntimeError('cannot specify multiple netlist XML files')
output_filename = args.files[0]
# Create the netlist
netlist = Netlist(output_filename)
# Delete the temporary XML output file.
if args.compile and args.output_file == None:
os.remove(output_filename)
# Dump all names
if args.dump_names != None:
dump_names(netlist.get_named_vertices(args.dump_names), sys.stdout)
return 0
# Dump nets
if args.dump_nets != None:
dump_names(netlist.get_net_vertices(args.dump_nets), sys.stdout)
return 0
# Dump ports
if args.dump_ports != None:
dump_names(netlist.get_port_vertices(args.dump_ports), sys.stdout)
return 0
# Dump regs
if args.dump_regs != None:
dump_names(netlist.get_reg_vertices(args.dump_regs), sys.stdout)
return 0
# Dump graph dotfile
if args.dump_dot:
netlist.dump_dot_file(
args.output_file if args.output_file else DEFAULT_DOT_FILE)
return 0
# Point-to-point path
if args.start_point and args.finish_point:
waypoints = Waypoints()
waypoints.add_start_point(args.start_point)
waypoints.add_finish_point(args.finish_point)
[
waypoints.add_through_point(point)
for point in args.through_points
]
[waypoints.add_avoid_point(point) for point in args.avoid_points]
if args.all_paths:
path = netlist.get_all_paths(waypoints)
dump_path_list_report(netlist, path, sys.stdout)
else:
path = netlist.get_any_path(waypoints)
dump_path_report(netlist, path, sys.stdout)
return 0
# Fan out paths
if args.start_point and not args.finish_point:
if len(args.through_points) > 0:
raise RuntimeError(
'cannot specify through points with fanout paths')
if len(args.avoid_points) > 0:
raise RuntimeError(
'cannot specify avoid points with fanout paths')
paths = netlist.get_all_fanout_paths(args.start_point)
dump_path_list_report(netlist, paths, sys.stdout)
return 0
# Fan in paths
if args.finish_point and not args.start_point:
if len(args.through_points) > 0:
raise RuntimeError(
'cannot specify through points with fanin paths')
if len(args.avoid_points) > 0:
raise RuntimeError(
'cannot specify avoid points with fanin paths')
paths = netlist.get_all_fanin_paths(args.finish_point)
dump_path_list_report(netlist, paths, sys.stdout)
return 0
except RuntimeError as e:
print('Error: ' + str(e))
return 1