chop.passes.graph.analysis.verify.verify#
verify_metadata_analysis_pass#
- chop.passes.graph.analysis.verify.verify.verify_metadata_analysis_pass(graph, pass_args: dict = {})[source]#
Verify pass for mase graph This pass is used for verification of MaseGraph. It does sanity checks all the metadata of each mase node locally and then verify the inter-node invariants, particularly for the following: * TODO
- Parameters:
graph (MaseGraph) – The input graph to analyze.
pass_args (dict) – Additional arguments for the analysis pass (optional).
pass_args is not used in this pass, defaults to {}.
- Returns:
The analyzed graph and an empty dictionary.
- Return type:
tuple(MaseGraph, Dict)
verify_common_metadata_analysis_pass#
- chop.passes.graph.analysis.verify.verify.verify_common_metadata_analysis_pass(graph, pass_args: dict = {})[source]#
Verify pass for mase graph This pass is used for verification of MaseGraph. It does sanity checks the common metadata of each mase node locally and then verify the inter-node invariants, particularly for the following:
- Parameters:
graph (MaseGraph) – The input graph to analyze.
pass_args (dict) – Additional arguments for the analysis pass (optional).
pass_args is not used in this pass, defaults to {}.
- Returns:
The analyzed graph and an empty dictionary.
- Return type:
tuple(MaseGraph, Dict)
verify_software_metadata_analysis_pass#
- chop.passes.graph.analysis.verify.verify.verify_software_metadata_analysis_pass(graph, pass_args: dict = {})[source]#
Verify pass for mase graph This pass is used for verification of MaseGraph. It does sanity checks the software metadata of each mase node locally and then verify the inter-node invariants, particularly for the following: * TODO
- Parameters:
graph (MaseGraph) – The input graph to analyze.
pass_args (dict) – Additional arguments for the analysis pass (optional).
pass_args is not used in this pass, defaults to {}.
- Returns:
The analyzed graph and an empty dictionary.
- Return type:
tuple(MaseGraph, Dict)
verify_metadata_analysis_pass#
- chop.passes.graph.analysis.verify.verify.verify_hardware_metadata_analysis_pass(graph, pass_args: dict = {})[source]#
Verify pass for mase graph This pass is used for verification of MaseGraph. It does sanity checks the hardware metadata of each mase node locally and then verify the inter-node invariants, particularly for the following: * TODO
- Parameters:
graph (MaseGraph) – The input graph to analyze.
pass_args (dict) – Additional arguments for the analysis pass (optional).
pass_args is not used in this pass, defaults to {}.
- Returns:
The analyzed graph and an empty dictionary.
- Return type:
tuple(MaseGraph, Dict)