Patent ID: 11861278
Assignee: KEPLER COMPUTING INC.
Field: Computer technology (Electrical engineering)
Classification: CPC G | IPC G

Claim 0:
1. A non-transitory machine-readable storage media having machine-readable instructions stored thereon that when executed cause one or more machines to perform a method comprising:
receiving one or more inputs including a majority or minority inverter graph and a list of fan-ins for majority gates or minority gates, wherein the list of fan-ins includes different fan-ins;
simulating the majority or minority inverter graph;
annotating an individual non-terminal node of the majority or minority inverter graph with an input signal, wherein annotating the individual non-terminal node is based on simulating the majority or minority inverter graph; and
iteratively processing a list of non-terminal nodes of the majority or minority inverter graph, wherein the list of non-terminal nodes includes the individual non-terminal node of the majority or minority inverter graph, and wherein iteratively processing the list of non-terminal nodes generates a pruned majority or minority inverter graph.