EDIS | Guide | FAQ | New | Search | Bibliography | Index | Feedback | About |
[EDIS Logo]


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 / Tom.Verhoeff@acm.org