From 5c36e79c253966f831b4d97c16af720a77cb2b3c Mon Sep 17 00:00:00 2001 From: The Syf Tool Date: Wed, 30 Aug 2000 13:56:39 +0000 Subject: [PATCH] sxlib --- alliance/share/man/windex | 1 + 1 file changed, 1 insertion(+) diff --git a/alliance/share/man/windex b/alliance/share/man/windex index 063437c2..5c73cef9 100644 --- a/alliance/share/man/windex +++ b/alliance/share/man/windex @@ -828,6 +828,7 @@ supportChain_listBdd (3) - returns a chained list of nodes that are used in a gi supportChain_listExpr (3) - returns the support of an expression in a chain_list. supportPtype_listExpr (3) - returns the support of an expression in a ptype_list. swapbddvar (3) - swaps two contiguous variables. +sxlib (5) - a portable CMOS Standard Cell Library tas (1) - A switch level static timing analyzer for CMOS circuits testbddcircuit (3) - debugs a bdd circuit. tie_y