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)