create_reduction_network

spydrnet_tmr.transformation.reduction_network.create_reduction_network(netlist, wireMap)

Creates a network of reduction voters. Ensures that no clock domains are crossed.

For example, when doing DWC, one may want to know when a difference is detected. Instead of creating top-level output ports for every separate detector, a network of XOR gates can be created to signal when one of the detectors signals an error. This network output would require only one output port.

param netlist

param wireMap

return