Skip to content

A
abc
Switch branch/tag
Find file
Normal viewHistoryPermalink
seq.h 5.16 KB
Newer Older
Version abc80130_2
0c6505a2
 
Alan Mishchenko committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 
/**CFile****************************************************************

  FileName    [seq.h]

  SystemName  [ABC: Logic synthesis and verification system.]

  PackageName [Construction and manipulation of sequential AIGs.]

  Synopsis    [External declarations.]

  Author      [Alan Mishchenko]
  
  Affiliation [UC Berkeley]

  Date        [Ver. 1.0. Started - June 20, 2005.]

  Revision    [$Id: seq.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $]

***********************************************************************/

#ifndef __SEQ_H__
#define __SEQ_H__
initial commit of public abc
6130e39b
 
Alan Mishchenko committed
24
Version abc80130_2
0c6505a2
 
Alan Mishchenko committed
25 26 27 28 29 30 31 32 
////////////////////////////////////////////////////////////////////////
///                          INCLUDES                                ///
////////////////////////////////////////////////////////////////////////

////////////////////////////////////////////////////////////////////////
///                         PARAMETERS                               ///
////////////////////////////////////////////////////////////////////////
initial commit of public abc
6130e39b
 
Alan Mishchenko committed
33 34 35 36 


ABC_NAMESPACE_HEADER_START
Version abc90215
0871bffa
 
Alan Mishchenko committed
37
Version abc80130_2
0c6505a2
 
Alan Mishchenko committed
38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 
////////////////////////////////////////////////////////////////////////
///                         BASIC TYPES                              ///
////////////////////////////////////////////////////////////////////////

typedef struct Abc_Seq_t_  Abc_Seq_t;

////////////////////////////////////////////////////////////////////////
///                      MACRO DEFINITIONS                           ///
////////////////////////////////////////////////////////////////////////

////////////////////////////////////////////////////////////////////////
///                    FUNCTION DECLARATIONS                         ///
////////////////////////////////////////////////////////////////////////

/*=== seqAigCore.c ===========================================================*/
extern void            Seq_NtkSeqRetimeDelay( Abc_Ntk_t * pNtk, int nMaxIters, int fInitial, int fVerbose );
extern void            Seq_NtkSeqRetimeForward( Abc_Ntk_t * pNtk, int fInitial, int fVerbose );
extern void            Seq_NtkSeqRetimeBackward( Abc_Ntk_t * pNtk, int fInitial, int fVerbose );
/*=== seqFpgaCore.c ===============================================================*/
extern Abc_Ntk_t *     Seq_NtkFpgaMapRetime( Abc_Ntk_t * pNtk, int nMaxIters, int fVerbose );
/*=== seqMapCore.c ===============================================================*/
extern Abc_Ntk_t *     Seq_MapRetime( Abc_Ntk_t * pNtk, int nMaxIters, int fVerbose );
/*=== seqRetCore.c ===========================================================*/
extern Abc_Ntk_t *     Seq_NtkRetime( Abc_Ntk_t * pNtk, int nMaxIters, int fInitial, int fVerbose );
/*=== seqLatch.c ===============================================================*/
extern void            Seq_NodeDupLats( Abc_Obj_t * pObjNew, Abc_Obj_t * pObj, int Edge );
extern int             Seq_NodeCompareLats( Abc_Obj_t * pObj1, int Edge1, Abc_Obj_t * pObj2, int Edge2 );
/*=== seqMan.c ===============================================================*/
extern Abc_Seq_t *     Seq_Create( Abc_Ntk_t * pNtk );
extern void            Seq_Resize( Abc_Seq_t * p, int nMaxId );
extern void            Seq_Delete( Abc_Seq_t * p );
/*=== seqMaxMeanCycle.c ======================================================*/
extern float           Seq_NtkHoward( Abc_Ntk_t * pNtk, int fVerbose );
extern void            Seq_NtkSkewForward( Abc_Ntk_t * pNtk, float period, int fMinimize );
/*=== abcSeq.c ===============================================================*/
extern Abc_Ntk_t *     Abc_NtkAigToSeq( Abc_Ntk_t * pNtk );
extern Abc_Ntk_t *     Abc_NtkSeqToLogicSop( Abc_Ntk_t * pNtk );
initial commit of public abc
6130e39b
 
Alan Mishchenko committed
75 
extern int             Abc_NtkSeqCheck( Abc_Ntk_t * pNtk );
Version abc80130_2
0c6505a2
 
Alan Mishchenko committed
76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 
/*=== seqShare.c =============================================================*/
extern void            Seq_NtkShareFanouts( Abc_Ntk_t * pNtk );
extern void            Seq_NtkShareLatches( Abc_Ntk_t * pNtkNew, Abc_Ntk_t * pNtk );
extern void            Seq_NtkShareLatchesMapping( Abc_Ntk_t * pNtkNew, Abc_Ntk_t * pNtk, Vec_Ptr_t * vMapAnds, int fFpga );
extern void            Seq_NtkShareLatchesClean( Abc_Ntk_t * pNtk );
/*=== seqUtil.c ==============================================================*/
extern char *          Seq_ObjFaninGetInitPrintable( Abc_Obj_t * pObj, int Edge );
extern void            Seq_NtkLatchSetValues( Abc_Ntk_t * pNtk, Abc_InitType_t Init );
extern int             Seq_NtkLatchNum( Abc_Ntk_t * pNtk );
extern int             Seq_NtkLatchNumMax( Abc_Ntk_t * pNtk );
extern int             Seq_NtkLatchNumShared( Abc_Ntk_t * pNtk );
extern void            Seq_NtkLatchGetInitNums( Abc_Ntk_t * pNtk, int * pInits );
extern int             Seq_NtkLatchGetEqualFaninNum( Abc_Ntk_t * pNtk );
extern int             Seq_NtkCountNodesAboveLimit( Abc_Ntk_t * pNtk, int Limit );
extern int             Seq_MapComputeAreaFlows( Abc_Ntk_t * pNtk, int fVerbose );
extern Vec_Ptr_t *     Seq_NtkReachNodes( Abc_Ntk_t * pNtk, int fFromPos );
extern int             Seq_NtkCleanup( Abc_Ntk_t * pNtk, int fVerbose );
initial commit of public abc
6130e39b
 
Alan Mishchenko committed
94 95 96 97 98 


ABC_NAMESPACE_HEADER_END
Version abc80130_2
0c6505a2
 
Alan Mishchenko committed
99 100 101 102 103 104 105 

#endif

////////////////////////////////////////////////////////////////////////
///                       END OF FILE                                ///
////////////////////////////////////////////////////////////////////////