1. A computer-implemented method for minterm tracing and reporting, comprising: receiving a plurality of timing points; determining, by a computer, a plurality of minterms, wherein said determining the plurality of minterms includes: for each timing point of the plurality of timing points: determining a polarity at the timing point; determining if a next timing point exists from the plurality of timing points; and if the next timing point exists, tracing forward from the timing point to the next timing point, wherein said tracing forward includes: determining one or more minterms of the plurality of minterms; determining a plurality of logical cones; and determining one or more intersections of the plurality of logical cones; reporting the plurality of minterms; reporting the polarity at each timing point of the plurality of timing points; and reporting the one or more intersections.