Factorization is the process of `dividing' a given specification into a
known part (a design guess or system that partly
implements the specified behavior) and some unknown `remainder specification'.
The (more general) theory of solving the design equation
will be summarized here. The application of this theory to the
domain of XDI systems will be described; examples of factorization
of DI systems using the Ludwig tool will be provided.
Last modified at Mon Oct 26 15:53:36 1998
Encyclopedia of Delay-Insensitive Systems
Copyright © 1995-1998
Tom Verhoeff /