'Functional abstraction' anticipates timing glitches

The use of an algebraic alternative simulation called functional abstraction to determine whether processing variations will affect a chip's timing is discussed. Functional abstraction involves constructing a functional model for a digital IC design from its structural model, or schematic. It allows chip manufacturing sensitivities to be identified more quickly and accurately than with simulation.<
>