summaryrefslogtreecommitdiffstats
path: root/src/opt/ret/retInt.h
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2006-11-02 08:01:00 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2006-11-02 08:01:00 -0800
commitfaf1265bb82f934cc14b6106ccce89e37203efbd (patch)
treef6d69ce4adca5d7e1fdccd3e9848220d6744405d /src/opt/ret/retInt.h
parent73bb7932f7edad95086d67a795444537c438309e (diff)
downloadabc-faf1265bb82f934cc14b6106ccce89e37203efbd.tar.gz
abc-faf1265bb82f934cc14b6106ccce89e37203efbd.tar.bz2
abc-faf1265bb82f934cc14b6106ccce89e37203efbd.zip
Version abc61102
Diffstat (limited to 'src/opt/ret/retInt.h')
-rw-r--r--src/opt/ret/retInt.h68
1 files changed, 68 insertions, 0 deletions
diff --git a/src/opt/ret/retInt.h b/src/opt/ret/retInt.h
new file mode 100644
index 00000000..2cb465fa
--- /dev/null
+++ b/src/opt/ret/retInt.h
@@ -0,0 +1,68 @@
+/**CFile****************************************************************
+
+ FileName [retInt.h]
+
+ SystemName [ABC: Logic synthesis and verification system.]
+
+ PackageName [Retiming package.]
+
+ Synopsis [Internal declarations.]
+
+ Author [Alan Mishchenko]
+
+ Affiliation [UC Berkeley]
+
+ Date [Ver. 1.0. Started - Oct 31, 2006.]
+
+ Revision [$Id: retInt.h,v 1.00 2006/10/31 00:00:00 alanmi Exp $]
+
+***********************************************************************/
+
+#ifndef __RET_INT_H__
+#define __RET_INT_H__
+
+////////////////////////////////////////////////////////////////////////
+/// INCLUDES ///
+////////////////////////////////////////////////////////////////////////
+
+#include "abc.h"
+
+////////////////////////////////////////////////////////////////////////
+/// PARAMETERS ///
+////////////////////////////////////////////////////////////////////////
+
+////////////////////////////////////////////////////////////////////////
+/// STRUCTURE DEFINITIONS ///
+////////////////////////////////////////////////////////////////////////
+
+////////////////////////////////////////////////////////////////////////
+/// MACRO DEFINITIONS ///
+////////////////////////////////////////////////////////////////////////
+
+////////////////////////////////////////////////////////////////////////
+/// FUNCTION DECLARATIONS ///
+////////////////////////////////////////////////////////////////////////
+
+/*=== retArea.c ========================================================*/
+extern int Abc_NtkRetimeMinArea( Abc_Ntk_t * pNtk, int fVerbose );
+/*=== retBwd.c ========================================================*/
+extern int Abc_NtkRetimeBackward( Abc_Ntk_t * pNtk, int fVerbose );
+/*=== retCore.c ========================================================*/
+extern int Abc_NtkRetime( Abc_Ntk_t * pNtk, int Mode, int fVerbose );
+/*=== retDelay.c ========================================================*/
+extern int Abc_NtkRetimeMinDelay( Abc_Ntk_t * pNtk, int fVerbose );
+/*=== retFlow.c ========================================================*/
+extern void Abc_NtkMaxFlowTest( Abc_Ntk_t * pNtk );
+extern Vec_Ptr_t * Abc_NtkMaxFlow( Abc_Ntk_t * pNtk, int fForward, int fVerbose );
+/*=== retFwd.c ========================================================*/
+extern int Abc_NtkRetimeForward( Abc_Ntk_t * pNtk, int fVerbose );
+/*=== retInit.c ========================================================*/
+extern void Abc_NtkRetimeInitialValues( Abc_Ntk_t * pNtk, Abc_Ntk_t * pNtkMiter, int fVerbose );
+
+#endif
+
+////////////////////////////////////////////////////////////////////////
+/// END OF FILE ///
+////////////////////////////////////////////////////////////////////////
+
+