diff options
Diffstat (limited to 'src/base/abci/abcDsd.c')
| -rw-r--r-- | src/base/abci/abcDsd.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcDsd.c b/src/base/abci/abcDsd.c index a73ab2b5..9dd5ea3a 100644 --- a/src/base/abci/abcDsd.c +++ b/src/base/abci/abcDsd.c @@ -446,7 +446,7 @@ void Abc_NodeDecompDsdAndMux( Abc_Obj_t * pNode, Vec_Ptr_t * vNodes, Dsd_Manager /**Function************************************************************* - Synopsis [Performs decomposition of one node.] + Synopsis [Checks if the node should be decomposed by DSD.] Description [] |