Efficient bi-directional property-based path tracing

A computer system comprising:

• a processor;
• and
• an accessible memory, the computer system configured to:
• read a data structure corresponding to a circuit;
• traverse series chains of similar devices in the circuit to reduce an iteration count and arrive at a circuit stability, wherein the circuit stability is determined when propagated user-specified circuit properties remain unchanged between subsequent iterations of the traversing;
• iteratively perform property accounting of properties as voltages propagate across devices in the circuit;
• traverse the data structure for propagated user-specified and computed property violations;
• and
• catalog and report the propagated user-specified and computed property violations in human-readable form.

A non-transitory computer-readable medium storing with executable instructions that, when executed, cause one or more computer systems to:

• read a data structure corresponding to a circuit;
• traverse series chains of similar devices in the circuit to reduce an iteration count and arrive at a circuit stability, wherein the circuit stability is determined when propagated user-specified circuit properties remain unchanged between subsequent iterations of the traversing;
• iteratively perform property accounting of properties as voltages propagate across devices in the circuit;
• traverse the data structure for propagated user-specified and computed property violations;
• and
• catalog and report these violations in human-readable form.