README update cudd url

Signed-off-by: James Cherry <cherry@parallaxsw.com>
This commit is contained in:
James Cherry 2024-09-17 09:12:35 -07:00
parent bae1afcb11
commit 6832467a03
1 changed files with 3 additions and 5 deletions

View File

@ -128,13 +128,11 @@ The Zlib library is an optional. If CMake finds libz, OpenSTA can
read Liberty, Verilog, SDF, SPF, and SPEF files compressed with gzip.
CUDD is a binary decision diageram (BDD) package that is used to
improve conditional timing arc handling. OpenSTA does not require it
to be installed, but it improves constant propagation, power activity propagation
and spice netlist generation if it is installed.
improve conditional timing arc handling, constant propagation, and
power activity propagation and spice netlist generation.
CUDD is available
[here](https://www.davidkebo.com/source/cudd_versions/cudd-3.0.0.tar.gz)
or [here](https://sourceforge.net/projects/cudd-mirror/).
[here](https://github.com/davidkebo/cudd/blob/main/cudd_versions/cudd-3.0.0.tar.gz).
Use the CUDD_DIR option to set the install directory of the CUDD
library if it is not in one of the normal system install directories.