Home
last modified time | relevance | path

Searched refs:extra_params (Results 1 – 5 of 5) sorted by relevance

/linux/tools/verification/rvgen/rvgen/
H A Dcontainer.py14 def __init__(self, extra_params={}): argument
15 super().__init__(extra_params)
16 self.name = extra_params.get("model_name")
H A Dgenerator.py15 def __init__(self, extra_params={}): argument
16 self.name = extra_params.get("model_name")
17 self.parent = extra_params.get("parent")
22 self.description = extra_params.get("description", self.name) or "auto-generated"
23 self.auto_patch = extra_params.get("auto_patch")
226 def __init__(self, extra_params={}):
227 super().__init__(extra_params)
248 __init__(self, extra_params={}) global() argument
H A Ddot2k.py21 def __init__(self, file_path, MonitorType, extra_params={}):
23 Monitor.__init__(self, extra_params)
24 Dot2c.__init__(self, file_path, extra_params.get("model_name"))
27 self.monitor_class = extra_params["monitor_class"]
18 __init__(self, file_path, MonitorType, extra_params={}) global() argument
H A Dkunit.py20 def __init__(self, extra_params={}): argument
21 super().__init__(extra_params)
22 self.local = extra_params.get("local", False)
H A Dltl2k.py64 def __init__(self, file_path, MonitorType, extra_params={}):
67 super().__init__(extra_params)
74 self.name = extra_params.get("model_name")
59 __init__(self, file_path, MonitorType, extra_params={}) global() argument