check_properties_after_replication

spydrnet_tmr.utils.design_rule_check.drc_properties_after_replication.check_properties_after_replication(original_netlist, modified_netlist, suffix, organ_names=[], write_enable=False)

After replication, the properties of each instance should not have changed. This finds corresponding instances between the original and modified netlists and compares their properties.

For example, if the instance ‘a_lut_3’ has a property “value: 8’hE8” in the original design, the replicates of that instance (a_lut_3_TMR_0, a_lut_3_TMR_1, a_lut_3_TMR_2) should have the same property.

Parameters

  • original_netlist – original netlist

  • modified_netlist – the replicated netlist. Can contain voters/detectors

  • suffix – string appended to the replicated instances’ names e.g. ‘TMR’ or ‘DWC’

  • organ_name – list of names of the organs inserted into the design e.g. [‘VOTER’, ‘DETECTOR’]

  • write_enable (bool) – output results to text file

Returns

bool (matched,not_matched)