AspectProving

If a signal fails to show a given aspect, then another signal is forced to show another, typically more restrictive, aspect.

AspectProving

If a signal fails to show a given aspect, then another signal is forced to show another, typically more restrictive, aspect.