def __init__(self, code_file_name, topmodule='', config_file=None):
#TODO this corrspondence is temporal.
BindVisitor._createAlwaysinfo = _createAlwaysinfo.__get__(BindVisitor)
BindVisitor._is_reset = _is_reset.__get__(BindVisitor)
#
(topmodule, terms, binddict, resolved_terms, resolved_binddict,
constlist, fsm_vars) = self.get_dataflow(code_file_name)
VerilogControlflowAnalyzer.__init__(self, topmodule, terms, binddict,
resolved_terms, resolved_binddict,
constlist, fsm_vars)
self.binds = BindLibrary(binddict, terms)
def __init__(self, topmodule, terms, binddict, resolved_terms,
resolved_binddict, constlist):
VerilogControlflowAnalyzer.__init__(self, topmodule, terms, binddict,
resolved_terms, resolved_binddict,
constlist)
def __init__(self, topmodule, terms, binddict,
resolved_terms, resolved_binddict, constlist):
VerilogControlflowAnalyzer.__init__(self, topmodule, terms, binddict,
resolved_terms, resolved_binddict, constlist)
self.fsm_loops, self.fsms = self.getLoops()
def __init__(self, topmodule, terms, binddict,
resolved_terms, resolved_binddict, constlist):
VerilogControlflowAnalyzer.__init__(self, topmodule, terms, binddict,
resolved_terms, resolved_binddict, constlist)