|
Controlling the BDD Size : Space vs Time Trade-off
Controlling the BDD Size : Space vs Time Trade-off
- Verification of a design becomes difficult (large memory consumption and computation times) when the BDD sizes get too large
- In general, BDD size can be controlled at the expense of computational inefficiency
- Values of various parameters could be chosen suitably depending upon the working memory available
|