US10691853B2 - Superposition of Canonical Timing Value Representations in Statistical Static Timing Analysis