uniquify_nmr_property

spydrnet_tmr.uniquify_nmr_property(replicas, property_keys, suffix='NMR')

Make a specific property have a unique value between nmr replicas. Doing this prevents errors in programs like Vivado when a modified netlist is read in.

Example:

replicas = sdn_TMR.apply_nmr(items_to_replicate, 3, name_suffix='TMR', rename_original=True)
sdn_TMR.uniquify_nmr_property(replicas, {'HBLKNM', 'HLUTNM', 'SOFT_HLUTNM'}, "TMR")
Parameters

  • replicas – the map from an original element to its replicas generated by apply_nmr

  • property_keys – A set of property keys whose values should be made unique.

  • suffix – a suffix to append to the value of the property with a unique index further appended.

Returns