summaryrefslogtreecommitdiffstats
path: root/src/map/mpm/mpmTruth.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2013-07-12 13:02:32 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2013-07-12 13:02:32 -0700
commitfba33fbba407f96800863bde5a7061b09c2f9ff2 (patch)
tree28b8cf1f69d3e345c7953157c450efdd90531b7b /src/map/mpm/mpmTruth.c
parent2ee26b00f9ac8dc93bd1335f89d4c3b165dbd7fd (diff)
downloadabc-fba33fbba407f96800863bde5a7061b09c2f9ff2.tar.gz
abc-fba33fbba407f96800863bde5a7061b09c2f9ff2.tar.bz2
abc-fba33fbba407f96800863bde5a7061b09c2f9ff2.zip
New technology mapper.
Diffstat (limited to 'src/map/mpm/mpmTruth.c')
-rw-r--r--src/map/mpm/mpmTruth.c52
1 files changed, 52 insertions, 0 deletions
diff --git a/src/map/mpm/mpmTruth.c b/src/map/mpm/mpmTruth.c
new file mode 100644
index 00000000..0f9e877f
--- /dev/null
+++ b/src/map/mpm/mpmTruth.c
@@ -0,0 +1,52 @@
+/**CFile****************************************************************
+
+ FileName [mpmTruth.c]
+
+ SystemName [ABC: Logic synthesis and verification system.]
+
+ PackageName [Configurable technology mapper.]
+
+ Synopsis [Truth table manipulation.]
+
+ Author [Alan Mishchenko]
+
+ Affiliation [UC Berkeley]
+
+ Date [Ver. 1.0. Started - June 1, 2013.]
+
+ Revision [$Id: mpmTruth.c,v 1.00 2013/06/01 00:00:00 alanmi Exp $]
+
+***********************************************************************/
+
+#include "mpmInt.h"
+
+ABC_NAMESPACE_IMPL_START
+
+
+////////////////////////////////////////////////////////////////////////
+/// DECLARATIONS ///
+////////////////////////////////////////////////////////////////////////
+
+////////////////////////////////////////////////////////////////////////
+/// FUNCTION DEFINITIONS ///
+////////////////////////////////////////////////////////////////////////
+
+/**Function*************************************************************
+
+ Synopsis []
+
+ Description []
+
+ SideEffects []
+
+ SeeAlso []
+
+***********************************************************************/
+
+////////////////////////////////////////////////////////////////////////
+/// END OF FILE ///
+////////////////////////////////////////////////////////////////////////
+
+
+ABC_NAMESPACE_IMPL_END
+