BDDTOABLCCT(3) - manual page | Library functions Converts a BDD into an ABL within a circuit. Chapters NAMESYNOPSYSPARAMETERSDESCRIPTIONEXAMPLESEE ALSO October 1, 1997 Loading manual page ... Download bddToAblCct(3).txt | manual plain text file Downloading man page ... Find manuals Go top