Skip to content

Commit 79f2b56

Browse files
committed
controlflow_analyzer.py is updated: user-defined FSM name is supported.
1 parent 739a3e3 commit 79f2b56

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

pyverilog/controlflow/controlflow_analyzer.py

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -342,9 +342,10 @@ def showVersion():
342342
resolved_terms = optimizer.getResolvedTerms()
343343
resolved_binddict = optimizer.getResolvedBinddict()
344344
constlist = optimizer.getConstlist()
345-
345+
fsm_vars = tuple(['fsm', 'state', 'count', 'cnt', 'step', 'mode'] + options.searchtarget)
346+
346347
canalyzer = VerilogControlflowAnalyzer(options.topmodule, terms, binddict,
347-
resolved_terms, resolved_binddict, constlist)
348+
resolved_terms, resolved_binddict, constlist, fsm_vars)
348349
fsms = canalyzer.getFiniteStateMachines()
349350

350351
for signame, fsm in fsms.items():

0 commit comments

Comments
 (0)