diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-03-22 13:04:24 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-03-22 13:04:24 -0700 |
commit | 1ac9d2997cfe8ece3f611a4286c682a3e6a2c7eb (patch) | |
tree | 979fe8635111d97aad5d9f3ec2a08a70087e179f /src/base/acb/acbMfs.c | |
parent | d92bfbaddc0c0ba1f5eb145f00c079f944257eb6 (diff) | |
download | abc-1ac9d2997cfe8ece3f611a4286c682a3e6a2c7eb.tar.gz abc-1ac9d2997cfe8ece3f611a4286c682a3e6a2c7eb.tar.bz2 abc-1ac9d2997cfe8ece3f611a4286c682a3e6a2c7eb.zip |
Experiments with don't-cares.
Diffstat (limited to 'src/base/acb/acbMfs.c')
-rw-r--r-- | src/base/acb/acbMfs.c | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/src/base/acb/acbMfs.c b/src/base/acb/acbMfs.c new file mode 100644 index 00000000..9d44ae3f --- /dev/null +++ b/src/base/acb/acbMfs.c @@ -0,0 +1,52 @@ +/**CFile**************************************************************** + + FileName [acb.c] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [Hierarchical word-level netlist.] + + Synopsis [] + + Author [Alan Mishchenko] + + Affiliation [UC Berkeley] + + Date [Ver. 1.0. Started - July 21, 2015.] + + Revision [$Id: acb.c,v 1.00 2014/11/29 00:00:00 alanmi Exp $] + +***********************************************************************/ + +#include "acb.h" + +ABC_NAMESPACE_IMPL_START + +//////////////////////////////////////////////////////////////////////// +/// DECLARATIONS /// +//////////////////////////////////////////////////////////////////////// + +//////////////////////////////////////////////////////////////////////// +/// FUNCTION DEFINITIONS /// +//////////////////////////////////////////////////////////////////////// + +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ + + +//////////////////////////////////////////////////////////////////////// +/// END OF FILE /// +//////////////////////////////////////////////////////////////////////// + + +ABC_NAMESPACE_IMPL_END + |