abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Functions | Variables
mainInit.c File Reference
#include "base/abc/abc.h"
#include "mainInt.h"

Go to the source code of this file.

Functions

ABC_NAMESPACE_IMPL_START void Abc_Init (Abc_Frame_t *pAbc)
 DECLARATIONS ///. More...
 
void Abc_End (Abc_Frame_t *pAbc)
 
void Io_Init (Abc_Frame_t *pAbc)
 FUNCTION DEFINITIONS ///. More...
 
void Io_End (Abc_Frame_t *pAbc)
 
void Cmd_Init (Abc_Frame_t *pAbc)
 FUNCTION DEFINITIONS ///. More...
 
void Cmd_End (Abc_Frame_t *pAbc)
 
void If_Init (Abc_Frame_t *pAbc)
 FUNCTION DEFINITIONS ///. More...
 
void If_End (Abc_Frame_t *pAbc)
 
void Map_Init (Abc_Frame_t *pAbc)
 FUNCTION DEFINITIONS ///. More...
 
void Map_End (Abc_Frame_t *pAbc)
 
void Mio_Init (Abc_Frame_t *pAbc)
 FUNCTION DEFINITIONS ///. More...
 
void Mio_End (Abc_Frame_t *pAbc)
 
void Super_Init (Abc_Frame_t *pAbc)
 FUNCTION DEFINITIONS ///. More...
 
void Super_End (Abc_Frame_t *pAbc)
 
void Libs_Init (Abc_Frame_t *pAbc)
 
void Libs_End (Abc_Frame_t *pAbc)
 
void Load_Init (Abc_Frame_t *pAbc)
 
void Load_End (Abc_Frame_t *pAbc)
 
void Scl_Init (Abc_Frame_t *pAbc)
 
void Scl_End (Abc_Frame_t *pAbc)
 
void Wlc_Init (Abc_Frame_t *pAbc)
 FUNCTION DEFINITIONS ///. More...
 
void Wlc_End (Abc_Frame_t *pAbc)
 
void Cba_Init (Abc_Frame_t *pAbc)
 FUNCTION DEFINITIONS ///. More...
 
void Cba_End (Abc_Frame_t *pAbc)
 
void Test_Init (Abc_Frame_t *pAbc)
 DECLARATIONS ///. More...
 
void Test_End (Abc_Frame_t *pAbc)
 
void Abc2_Init (Abc_Frame_t *pAbc)
 
void Abc2_End (Abc_Frame_t *pAbc)
 
void Abc85_Init (Abc_Frame_t *pAbc)
 
void Abc85_End (Abc_Frame_t *pAbc)
 
void Abc_FrameAddInitializer (Abc_FrameInitializer_t *p)
 
void Abc_FrameInit (Abc_Frame_t *pAbc)
 FUNCTION DEFINITIONS ///. More...
 
void Abc_FrameEnd (Abc_Frame_t *pAbc)
 

Variables

static Abc_FrameInitializer_t * s_InitializerStart = NULL
 
static Abc_FrameInitializer_t * s_InitializerEnd = NULL
 

Function Documentation

void Abc2_End ( Abc_Frame_t *  pAbc)
void Abc2_Init ( Abc_Frame_t *  pAbc)
void Abc85_End ( Abc_Frame_t *  pAbc)
void Abc85_Init ( Abc_Frame_t *  pAbc)
void Abc_End ( Abc_Frame_t *  pAbc)

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 1108 of file abc.c.

1109 {
1110  extern Abc_Frame_t * Abc_FrameGetGlobalFrame();
1111  Abc_FrameClearDesign();
1112  Cnf_ManFree();
1113  {
1114  extern int Abc_NtkCompareAndSaveBest( Abc_Ntk_t * pNtk );
1115  Abc_NtkCompareAndSaveBest( NULL );
1116  }
1117  {
1118  extern void Dar_LibStop();
1119  Dar_LibStop();
1120  }
1121  {
1122  extern void Aig_RManQuit();
1123  Aig_RManQuit();
1124  }
1125  {
1126  extern void Npn_ManClean();
1127  Npn_ManClean();
1128  }
1129  {
1130  extern void Sdm_ManQuit();
1131  Sdm_ManQuit();
1132  }
1133  Abc_NtkFraigStoreClean();
1134  if ( Abc_FrameGetGlobalFrame()->pGia )
1135  Gia_ManStop( Abc_FrameGetGlobalFrame()->pGia );
1136  if ( Abc_FrameGetGlobalFrame()->pGia2 )
1137  Gia_ManStop( Abc_FrameGetGlobalFrame()->pGia2 );
1138  if ( Abc_FrameGetGlobalFrame()->pGiaBest )
1139  Gia_ManStop( Abc_FrameGetGlobalFrame()->pGiaBest );
1140  if ( Abc_NtkRecIsRunning3() )
1141  Abc_NtkRecStop3();
1142 }
Abc_NtkCompareAndSaveBest
int Abc_NtkCompareAndSaveBest(Abc_Ntk_t *pNtk)
FUNCTION DEFINITIONS ///.
Definition: abcPrint.c:66
Gia_ManStop
void Gia_ManStop(Gia_Man_t *p)
Definition: giaMan.c:77
Abc_Ntk_t_
Definition: abc.h:153
Abc_NtkRecIsRunning3
ABC_DLL int Abc_NtkRecIsRunning3()
Definition: abcRec3.c:1395
Sdm_ManQuit
void Sdm_ManQuit()
Definition: extraUtilDsd.c:1074
Abc_Frame_t
typedefABC_NAMESPACE_HEADER_START struct Abc_Frame_t_ Abc_Frame_t
INCLUDES ///.
Definition: base/main/main.h:39
Cnf_ManFree
void Cnf_ManFree()
Definition: cnfCore.c:58
Abc_FrameClearDesign
void Abc_FrameClearDesign()
Definition: abc.c:601
Abc_FrameGetGlobalFrame
void * Abc_FrameGetGlobalFrame()
Definition: mainFrame.c:593
Dar_LibStop
void Dar_LibStop()
Definition: darLib.c:615
Abc_NtkFraigStoreClean
ABC_DLL void Abc_NtkFraigStoreClean()
Definition: abcFraig.c:762
Npn_ManClean
void Npn_ManClean()
Definition: abcNpnSave.c:649
Aig_RManQuit
void Aig_RManQuit()
Definition: aigCanon.c:283
Abc_NtkRecStop3
ABC_DLL void Abc_NtkRecStop3()
Definition: abcRec3.c:1421
void Abc_FrameAddInitializer ( Abc_FrameInitializer_t *  p)

Definition at line 64 of file mainInit.c.

65 {
66  if( ! s_InitializerStart )
67  s_InitializerStart = p;
68 
69  p->next = NULL;
70  p->prev = s_InitializerEnd;
71 
72  if ( s_InitializerEnd )
73  s_InitializerEnd->next = p;
74 
75  s_InitializerEnd = p;
76 
77 }
p
static Llb_Mgr_t * p
Definition: llb3Image.c:950
Abc_FrameInitializer_t_::next
Abc_FrameInitializer_t * next
Definition: mainInt.h:143
Abc_FrameInitializer_t_::prev
Abc_FrameInitializer_t * prev
Definition: mainInt.h:144
s_InitializerEnd
static Abc_FrameInitializer_t * s_InitializerEnd
Definition: mainInit.c:62
s_InitializerStart
static Abc_FrameInitializer_t * s_InitializerStart
Definition: mainInit.c:61
void Abc_FrameEnd ( Abc_Frame_t *  pAbc)

Function*************************************************************

Synopsis [Stops all the packages.]

Description []

SideEffects []

SeeAlso []

Definition at line 128 of file mainInit.c.

129 {
130  Abc_FrameInitializer_t* p;
131  for( p = s_InitializerEnd ; p ; p = p->prev )
132  if ( p->destroy )
133  p->destroy(pAbc);
134  Abc_End( pAbc );
135  Io_End( pAbc );
136  Cmd_End( pAbc );
137  If_End( pAbc );
138  Map_End( pAbc );
139  Mio_End( pAbc );
140  Super_End( pAbc );
141  Libs_End( pAbc );
142  Load_End( pAbc );
143  Scl_End( pAbc );
144  Wlc_End( pAbc );
145  Cba_End( pAbc );
146  Test_End( pAbc );
147 }
Mio_End
void Mio_End(Abc_Frame_t *pAbc)
Definition: mio.c:107
Abc_FrameInitializer_t_::destroy
Abc_Frame_Initialization_Func destroy
Definition: mainInt.h:141
Load_End
void Load_End(Abc_Frame_t *pAbc)
Definition: cmdLoad.c:217
p
static Llb_Mgr_t * p
Definition: llb3Image.c:950
Cmd_End
void Cmd_End(Abc_Frame_t *pAbc)
Definition: cmd.c:127
Test_End
void Test_End(Abc_Frame_t *pAbc)
Definition: test.c:60
Io_End
void Io_End(Abc_Frame_t *pAbc)
Definition: io.c:153
Libs_End
void Libs_End(Abc_Frame_t *pAbc)
Definition: libSupport.c:199
If_End
void If_End(Abc_Frame_t *pAbc)
Definition: ifCom.c:75
Abc_FrameInitializer_t_::prev
Abc_FrameInitializer_t * prev
Definition: mainInt.h:144
Abc_FrameInitializer_t_
Definition: mainInt.h:138
s_InitializerEnd
static Abc_FrameInitializer_t * s_InitializerEnd
Definition: mainInit.c:62
Super_End
void Super_End(Abc_Frame_t *pAbc)
Definition: super.c:65
Map_End
void Map_End(Abc_Frame_t *pAbc)
Definition: mapper.c:64
Scl_End
void Scl_End(Abc_Frame_t *pAbc)
Definition: scl.c:115
Abc_End
void Abc_End(Abc_Frame_t *pAbc)
Definition: abc.c:1108
Wlc_End
void Wlc_End(Abc_Frame_t *pAbc)
Definition: wlcCom.c:76
Cba_End
void Cba_End(Abc_Frame_t *pAbc)
Definition: cbaCom.c:75
void Abc_FrameInit ( Abc_Frame_t *  pAbc)

FUNCTION DEFINITIONS ///.

Function*************************************************************

Synopsis [Starts all the packages.]

Description []

SideEffects []

SeeAlso []

Definition at line 94 of file mainInit.c.

95 {
96  Abc_FrameInitializer_t* p;
97  Cmd_Init( pAbc );
98  Cmd_CommandExecute( pAbc, "set checkread" );
99  Io_Init( pAbc );
100  Abc_Init( pAbc );
101  If_Init( pAbc );
102  Map_Init( pAbc );
103  Mio_Init( pAbc );
104  Super_Init( pAbc );
105  Libs_Init( pAbc );
106  Load_Init( pAbc );
107  Scl_Init( pAbc );
108  Wlc_Init( pAbc );
109  Cba_Init( pAbc );
110  Test_Init( pAbc );
111  for( p = s_InitializerStart ; p ; p = p->next )
112  if(p->init)
113  p->init(pAbc);
114 }
Wlc_Init
void Wlc_Init(Abc_Frame_t *pAbc)
FUNCTION DEFINITIONS ///.
Definition: wlcCom.c:56
Scl_Init
void Scl_Init(Abc_Frame_t *pAbc)
Definition: scl.c:91
Load_Init
void Load_Init(Abc_Frame_t *pAbc)
Definition: cmdLoad.c:182
p
static Llb_Mgr_t * p
Definition: llb3Image.c:950
Cmd_CommandExecute
int Cmd_CommandExecute(void *pAbc, char *pCommandLine)
If_Init
void If_Init(Abc_Frame_t *pAbc)
FUNCTION DEFINITIONS ///.
Definition: ifCom.c:51
Map_Init
void Map_Init(Abc_Frame_t *pAbc)
FUNCTION DEFINITIONS ///.
Definition: mapper.c:48
Cmd_Init
void Cmd_Init(Abc_Frame_t *pAbc)
FUNCTION DEFINITIONS ///.
Definition: cmd.c:79
Abc_FrameInitializer_t_::next
Abc_FrameInitializer_t * next
Definition: mainInt.h:143
Libs_Init
void Libs_Init(Abc_Frame_t *pAbc)
Definition: libSupport.c:193
Abc_FrameInitializer_t_
Definition: mainInt.h:138
Mio_Init
void Mio_Init(Abc_Frame_t *pAbc)
FUNCTION DEFINITIONS ///.
Definition: mio.c:83
Io_Init
void Io_Init(Abc_Frame_t *pAbc)
FUNCTION DEFINITIONS ///.
Definition: io.c:95
Super_Init
void Super_Init(Abc_Frame_t *pAbc)
FUNCTION DEFINITIONS ///.
Definition: super.c:48
Cba_Init
void Cba_Init(Abc_Frame_t *pAbc)
FUNCTION DEFINITIONS ///.
Definition: cbaCom.c:55
Abc_FrameInitializer_t_::init
Abc_Frame_Initialization_Func init
Definition: mainInt.h:140
Abc_Init
ABC_NAMESPACE_IMPL_START void Abc_Init(Abc_Frame_t *pAbc)
DECLARATIONS ///.
Definition: abc.c:679
s_InitializerStart
static Abc_FrameInitializer_t * s_InitializerStart
Definition: mainInit.c:61
Test_Init
void Test_Init(Abc_Frame_t *pAbc)
DECLARATIONS ///.
Definition: test.c:45
ABC_NAMESPACE_IMPL_START void Abc_Init ( Abc_Frame_t *  pAbc)

DECLARATIONS ///.

CFile****************************************************************

FileName [mainInit.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [The main package.]

Synopsis [Initialization procedures.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

Id:
mainInit.c,v 1.3 2005/09/14 22:53:37 casem Exp

]

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 679 of file abc.c.

680 {
681  Cmd_CommandAdd( pAbc, "Printing", "print_stats", Abc_CommandPrintStats, 0 );
682  Cmd_CommandAdd( pAbc, "Printing", "print_exdc", Abc_CommandPrintExdc, 0 );
683  Cmd_CommandAdd( pAbc, "Printing", "print_io", Abc_CommandPrintIo, 0 );
684  Cmd_CommandAdd( pAbc, "Printing", "print_latch", Abc_CommandPrintLatch, 0 );
685  Cmd_CommandAdd( pAbc, "Printing", "print_fanio", Abc_CommandPrintFanio, 0 );
686  Cmd_CommandAdd( pAbc, "Printing", "print_mffc", Abc_CommandPrintMffc, 0 );
687  Cmd_CommandAdd( pAbc, "Printing", "print_factor", Abc_CommandPrintFactor, 0 );
688  Cmd_CommandAdd( pAbc, "Printing", "print_level", Abc_CommandPrintLevel, 0 );
689  Cmd_CommandAdd( pAbc, "Printing", "print_supp", Abc_CommandPrintSupport, 0 );
690  Cmd_CommandAdd( pAbc, "Printing", "print_symm", Abc_CommandPrintSymms, 0 );
691  Cmd_CommandAdd( pAbc, "Printing", "print_unate", Abc_CommandPrintUnate, 0 );
692  Cmd_CommandAdd( pAbc, "Printing", "print_auto", Abc_CommandPrintAuto, 0 );
693  Cmd_CommandAdd( pAbc, "Printing", "print_kmap", Abc_CommandPrintKMap, 0 );
694  Cmd_CommandAdd( pAbc, "Printing", "print_gates", Abc_CommandPrintGates, 0 );
695  Cmd_CommandAdd( pAbc, "Printing", "print_sharing", Abc_CommandPrintSharing, 0 );
696  Cmd_CommandAdd( pAbc, "Printing", "print_xcut", Abc_CommandPrintXCut, 0 );
697  Cmd_CommandAdd( pAbc, "Printing", "print_dsd", Abc_CommandPrintDsd, 0 );
698  Cmd_CommandAdd( pAbc, "Printing", "print_cone", Abc_CommandPrintCone, 0 );
699  Cmd_CommandAdd( pAbc, "Printing", "print_miter", Abc_CommandPrintMiter, 0 );
700  Cmd_CommandAdd( pAbc, "Printing", "print_status", Abc_CommandPrintStatus, 0 );
701  Cmd_CommandAdd( pAbc, "Printing", "print_delay", Abc_CommandPrintDelay, 0 );
702 
703  Cmd_CommandAdd( pAbc, "Printing", "show", Abc_CommandShow, 0 );
704  Cmd_CommandAdd( pAbc, "Printing", "show_bdd", Abc_CommandShowBdd, 0 );
705  Cmd_CommandAdd( pAbc, "Printing", "show_cut", Abc_CommandShowCut, 0 );
706 
707  Cmd_CommandAdd( pAbc, "Synthesis", "collapse", Abc_CommandCollapse, 1 );
708  Cmd_CommandAdd( pAbc, "Synthesis", "strash", Abc_CommandStrash, 1 );
709  Cmd_CommandAdd( pAbc, "Synthesis", "balance", Abc_CommandBalance, 1 );
710  Cmd_CommandAdd( pAbc, "Synthesis", "mux_struct", Abc_CommandMuxStruct, 1 );
711  Cmd_CommandAdd( pAbc, "Synthesis", "multi", Abc_CommandMulti, 1 );
712  Cmd_CommandAdd( pAbc, "Synthesis", "renode", Abc_CommandRenode, 1 );
713  Cmd_CommandAdd( pAbc, "Synthesis", "cleanup", Abc_CommandCleanup, 1 );
714  Cmd_CommandAdd( pAbc, "Synthesis", "sweep", Abc_CommandSweep, 1 );
715  Cmd_CommandAdd( pAbc, "Synthesis", "fx", Abc_CommandFastExtract, 1 );
716  Cmd_CommandAdd( pAbc, "Synthesis", "eliminate", Abc_CommandEliminate, 1 );
717  Cmd_CommandAdd( pAbc, "Synthesis", "dsd", Abc_CommandDisjoint, 1 );
718  Cmd_CommandAdd( pAbc, "Synthesis", "sparsify", Abc_CommandSparsify, 1 );
719  Cmd_CommandAdd( pAbc, "Synthesis", "lutpack", Abc_CommandLutpack, 1 );
720  Cmd_CommandAdd( pAbc, "Synthesis", "lutmin", Abc_CommandLutmin, 1 );
721 // Cmd_CommandAdd( pAbc, "Synthesis", "imfs", Abc_CommandImfs, 1 );
722  Cmd_CommandAdd( pAbc, "Synthesis", "mfs", Abc_CommandMfs, 1 );
723  Cmd_CommandAdd( pAbc, "Synthesis", "mfs2", Abc_CommandMfs2, 1 );
724  Cmd_CommandAdd( pAbc, "Synthesis", "trace", Abc_CommandTrace, 0 );
725  Cmd_CommandAdd( pAbc, "Synthesis", "speedup", Abc_CommandSpeedup, 1 );
726  Cmd_CommandAdd( pAbc, "Synthesis", "powerdown", Abc_CommandPowerdown, 1 );
727  Cmd_CommandAdd( pAbc, "Synthesis", "addbuffs", Abc_CommandAddBuffs, 1 );
728 // Cmd_CommandAdd( pAbc, "Synthesis", "merge", Abc_CommandMerge, 1 );
729  Cmd_CommandAdd( pAbc, "Synthesis", "testdec", Abc_CommandTestDec, 0 );
730  Cmd_CommandAdd( pAbc, "Synthesis", "testnpn", Abc_CommandTestNpn, 0 );
731  Cmd_CommandAdd( pAbc, "LogiCS", "testrpo", Abc_CommandTestRPO, 0 );
732 
733  Cmd_CommandAdd( pAbc, "Synthesis", "rewrite", Abc_CommandRewrite, 1 );
734  Cmd_CommandAdd( pAbc, "Synthesis", "refactor", Abc_CommandRefactor, 1 );
735 // Cmd_CommandAdd( pAbc, "Synthesis", "restructure", Abc_CommandRestructure, 1 );
736  Cmd_CommandAdd( pAbc, "Synthesis", "resub", Abc_CommandResubstitute, 1 );
737 // Cmd_CommandAdd( pAbc, "Synthesis", "rr", Abc_CommandRr, 1 );
738  Cmd_CommandAdd( pAbc, "Synthesis", "cascade", Abc_CommandCascade, 1 );
739  Cmd_CommandAdd( pAbc, "Synthesis", "extract", Abc_CommandExtract, 1 );
740  Cmd_CommandAdd( pAbc, "Synthesis", "varmin", Abc_CommandVarMin, 0 );
741 
742  Cmd_CommandAdd( pAbc, "Various", "logic", Abc_CommandLogic, 1 );
743  Cmd_CommandAdd( pAbc, "Various", "comb", Abc_CommandComb, 1 );
744  Cmd_CommandAdd( pAbc, "Various", "miter", Abc_CommandMiter, 1 );
745  Cmd_CommandAdd( pAbc, "Various", "demiter", Abc_CommandDemiter, 1 );
746  Cmd_CommandAdd( pAbc, "Various", "orpos", Abc_CommandOrPos, 1 );
747  Cmd_CommandAdd( pAbc, "Various", "andpos", Abc_CommandAndPos, 1 );
748  Cmd_CommandAdd( pAbc, "Various", "zeropo", Abc_CommandZeroPo, 1 );
749  Cmd_CommandAdd( pAbc, "Various", "swappos", Abc_CommandSwapPos, 1 );
750  Cmd_CommandAdd( pAbc, "Various", "removepo", Abc_CommandRemovePo, 1 );
751  Cmd_CommandAdd( pAbc, "Various", "dropsat", Abc_CommandDropSat, 1 );
752  Cmd_CommandAdd( pAbc, "Various", "addpi", Abc_CommandAddPi, 1 );
753  Cmd_CommandAdd( pAbc, "Various", "append", Abc_CommandAppend, 1 );
754  Cmd_CommandAdd( pAbc, "Various", "putontop", Abc_CommandPutOnTop, 1 );
755  Cmd_CommandAdd( pAbc, "Various", "frames", Abc_CommandFrames, 1 );
756  Cmd_CommandAdd( pAbc, "Various", "dframes", Abc_CommandDFrames, 1 );
757  Cmd_CommandAdd( pAbc, "Various", "sop", Abc_CommandSop, 0 );
758  Cmd_CommandAdd( pAbc, "Various", "bdd", Abc_CommandBdd, 0 );
759  Cmd_CommandAdd( pAbc, "Various", "aig", Abc_CommandAig, 0 );
760  Cmd_CommandAdd( pAbc, "Various", "reorder", Abc_CommandReorder, 0 );
761  Cmd_CommandAdd( pAbc, "Various", "bidec", Abc_CommandBidec, 1 );
762  Cmd_CommandAdd( pAbc, "Various", "order", Abc_CommandOrder, 0 );
763  Cmd_CommandAdd( pAbc, "Various", "muxes", Abc_CommandMuxes, 1 );
764  Cmd_CommandAdd( pAbc, "Various", "cubes", Abc_CommandCubes, 1 );
765  Cmd_CommandAdd( pAbc, "Various", "splitsop", Abc_CommandSplitSop, 1 );
766  Cmd_CommandAdd( pAbc, "Various", "ext_seq_dcs", Abc_CommandExtSeqDcs, 0 );
767  Cmd_CommandAdd( pAbc, "Various", "reach", Abc_CommandReach, 0 );
768  Cmd_CommandAdd( pAbc, "Various", "cone", Abc_CommandCone, 1 );
769  Cmd_CommandAdd( pAbc, "Various", "node", Abc_CommandNode, 1 );
770  Cmd_CommandAdd( pAbc, "Various", "topmost", Abc_CommandTopmost, 1 );
771  Cmd_CommandAdd( pAbc, "Various", "topand", Abc_CommandTopAnd, 1 );
772  Cmd_CommandAdd( pAbc, "Various", "trim", Abc_CommandTrim, 1 );
773  Cmd_CommandAdd( pAbc, "Various", "short_names", Abc_CommandShortNames, 0 );
774  Cmd_CommandAdd( pAbc, "Various", "move_names", Abc_CommandMoveNames, 0 );
775  Cmd_CommandAdd( pAbc, "Various", "exdc_free", Abc_CommandExdcFree, 1 );
776  Cmd_CommandAdd( pAbc, "Various", "exdc_get", Abc_CommandExdcGet, 1 );
777  Cmd_CommandAdd( pAbc, "Various", "exdc_set", Abc_CommandExdcSet, 1 );
778  Cmd_CommandAdd( pAbc, "Various", "care_set", Abc_CommandCareSet, 1 );
779  Cmd_CommandAdd( pAbc, "Various", "cut", Abc_CommandCut, 0 );
780  Cmd_CommandAdd( pAbc, "Various", "espresso", Abc_CommandEspresso, 1 );
781  Cmd_CommandAdd( pAbc, "Various", "gen", Abc_CommandGen, 0 );
782  Cmd_CommandAdd( pAbc, "Various", "genfsm", Abc_CommandGenFsm, 0 );
783  Cmd_CommandAdd( pAbc, "Various", "cover", Abc_CommandCover, 1 );
784  Cmd_CommandAdd( pAbc, "Various", "double", Abc_CommandDouble, 1 );
785  Cmd_CommandAdd( pAbc, "Various", "inter", Abc_CommandInter, 1 );
786  Cmd_CommandAdd( pAbc, "Various", "bb2wb", Abc_CommandBb2Wb, 0 );
787  Cmd_CommandAdd( pAbc, "Various", "outdec", Abc_CommandOutdec, 1 );
788  Cmd_CommandAdd( pAbc, "Various", "nodedup", Abc_CommandNodeDup, 1 );
789  Cmd_CommandAdd( pAbc, "Various", "testcolor", Abc_CommandTestColor, 0 );
790  Cmd_CommandAdd( pAbc, "Various", "test", Abc_CommandTest, 0 );
791 // Cmd_CommandAdd( pAbc, "Various", "qbf_solve", Abc_CommandTest, 0 );
792 
793  Cmd_CommandAdd( pAbc, "Various", "qvar", Abc_CommandQuaVar, 1 );
794  Cmd_CommandAdd( pAbc, "Various", "qrel", Abc_CommandQuaRel, 1 );
795  Cmd_CommandAdd( pAbc, "Various", "qreach", Abc_CommandQuaReach, 1 );
796  Cmd_CommandAdd( pAbc, "Various", "senseinput", Abc_CommandSenseInput, 1 );
797  Cmd_CommandAdd( pAbc, "Various", "npnload", Abc_CommandNpnLoad, 0 );
798  Cmd_CommandAdd( pAbc, "Various", "npnsave", Abc_CommandNpnSave, 0 );
799 
800  Cmd_CommandAdd( pAbc, "Various", "send_aig", Abc_CommandSendAig, 0 );
801  Cmd_CommandAdd( pAbc, "Various", "send_status", Abc_CommandSendStatus, 0 );
802 
803  Cmd_CommandAdd( pAbc, "Various", "backup", Abc_CommandBackup, 0 );
804  Cmd_CommandAdd( pAbc, "Various", "restore", Abc_CommandRestore, 0 );
805 
806  Cmd_CommandAdd( pAbc, "Various", "minisat", Abc_CommandMinisat, 0 );
807  Cmd_CommandAdd( pAbc, "Various", "minisimp", Abc_CommandMinisimp, 0 );
808 
809  Cmd_CommandAdd( pAbc, "New AIG", "istrash", Abc_CommandIStrash, 1 );
810  Cmd_CommandAdd( pAbc, "New AIG", "icut", Abc_CommandICut, 0 );
811  Cmd_CommandAdd( pAbc, "New AIG", "irw", Abc_CommandIRewrite, 1 );
812  Cmd_CommandAdd( pAbc, "New AIG", "drw", Abc_CommandDRewrite, 1 );
813  Cmd_CommandAdd( pAbc, "New AIG", "drf", Abc_CommandDRefactor, 1 );
814  Cmd_CommandAdd( pAbc, "New AIG", "dc2", Abc_CommandDc2, 1 );
815  Cmd_CommandAdd( pAbc, "New AIG", "dchoice", Abc_CommandDChoice, 1 );
816  Cmd_CommandAdd( pAbc, "New AIG", "dch", Abc_CommandDch, 1 );
817  Cmd_CommandAdd( pAbc, "New AIG", "drwsat", Abc_CommandDrwsat, 1 );
818  Cmd_CommandAdd( pAbc, "New AIG", "irws", Abc_CommandIRewriteSeq, 1 );
819  Cmd_CommandAdd( pAbc, "New AIG", "iresyn", Abc_CommandIResyn, 1 );
820  Cmd_CommandAdd( pAbc, "New AIG", "isat", Abc_CommandISat, 1 );
821  Cmd_CommandAdd( pAbc, "New AIG", "ifraig", Abc_CommandIFraig, 1 );
822  Cmd_CommandAdd( pAbc, "New AIG", "dfraig", Abc_CommandDFraig, 1 );
823  Cmd_CommandAdd( pAbc, "New AIG", "csweep", Abc_CommandCSweep, 1 );
824 // Cmd_CommandAdd( pAbc, "New AIG", "haig", Abc_CommandHaig, 1 );
825  Cmd_CommandAdd( pAbc, "New AIG", "qbf", Abc_CommandQbf, 0 );
826 
827  Cmd_CommandAdd( pAbc, "Fraiging", "fraig", Abc_CommandFraig, 1 );
828  Cmd_CommandAdd( pAbc, "Fraiging", "fraig_trust", Abc_CommandFraigTrust, 1 );
829  Cmd_CommandAdd( pAbc, "Fraiging", "fraig_store", Abc_CommandFraigStore, 0 );
830  Cmd_CommandAdd( pAbc, "Fraiging", "fraig_restore", Abc_CommandFraigRestore, 1 );
831  Cmd_CommandAdd( pAbc, "Fraiging", "fraig_clean", Abc_CommandFraigClean, 0 );
832  Cmd_CommandAdd( pAbc, "Fraiging", "fraig_sweep", Abc_CommandFraigSweep, 1 );
833  Cmd_CommandAdd( pAbc, "Fraiging", "dress", Abc_CommandFraigDress, 1 );
834 
835  Cmd_CommandAdd( pAbc, "Choicing", "rec_start3", Abc_CommandRecStart3, 0 );
836  Cmd_CommandAdd( pAbc, "Choicing", "rec_stop3", Abc_CommandRecStop3, 0 );
837  Cmd_CommandAdd( pAbc, "Choicing", "rec_ps3", Abc_CommandRecPs3, 0 );
838  Cmd_CommandAdd( pAbc, "Choicing", "rec_add3", Abc_CommandRecAdd3, 0 );
839  Cmd_CommandAdd( pAbc, "Choicing", "rec_dump3", Abc_CommandRecDump3, 0 );
840  Cmd_CommandAdd( pAbc, "Choicing", "rec_merge3", Abc_CommandRecMerge3, 0 );
841 
842  Cmd_CommandAdd( pAbc, "SC mapping", "map", Abc_CommandMap, 1 );
843  Cmd_CommandAdd( pAbc, "SC mapping", "amap", Abc_CommandAmap, 1 );
844  Cmd_CommandAdd( pAbc, "SC mapping", "unmap", Abc_CommandUnmap, 1 );
845  Cmd_CommandAdd( pAbc, "SC mapping", "attach", Abc_CommandAttach, 1 );
846  Cmd_CommandAdd( pAbc, "SC mapping", "superc", Abc_CommandSuperChoice, 1 );
847  Cmd_CommandAdd( pAbc, "SC mapping", "supercl", Abc_CommandSuperChoiceLut, 1 );
848 
849 // Cmd_CommandAdd( pAbc, "FPGA mapping", "fpga", Abc_CommandFpga, 1 );
850 // Cmd_CommandAdd( pAbc, "FPGA mapping", "ffpga", Abc_CommandFpgaFast, 1 );
851  Cmd_CommandAdd( pAbc, "FPGA mapping", "if", Abc_CommandIf, 1 );
852  Cmd_CommandAdd( pAbc, "FPGA mapping", "ifif", Abc_CommandIfif, 1 );
853 
854  Cmd_CommandAdd( pAbc, "DSD manager", "dsd_save", Abc_CommandDsdSave, 0 );
855  Cmd_CommandAdd( pAbc, "DSD manager", "dsd_load", Abc_CommandDsdLoad, 0 );
856  Cmd_CommandAdd( pAbc, "DSD manager", "dsd_free", Abc_CommandDsdFree, 0 );
857  Cmd_CommandAdd( pAbc, "DSD manager", "dsd_ps", Abc_CommandDsdPs, 0 );
858  Cmd_CommandAdd( pAbc, "DSD manager", "dsd_match", Abc_CommandDsdMatch, 0 );
859  Cmd_CommandAdd( pAbc, "DSD manager", "dsd_merge", Abc_CommandDsdMerge, 0 );
860  Cmd_CommandAdd( pAbc, "DSD manager", "dsd_filter", Abc_CommandDsdFilter, 0 );
861 
862 // Cmd_CommandAdd( pAbc, "Sequential", "scut", Abc_CommandScut, 0 );
863  Cmd_CommandAdd( pAbc, "Sequential", "init", Abc_CommandInit, 1 );
864  Cmd_CommandAdd( pAbc, "Sequential", "zero", Abc_CommandZero, 1 );
865  Cmd_CommandAdd( pAbc, "Sequential", "undc", Abc_CommandUndc, 1 );
866  Cmd_CommandAdd( pAbc, "Sequential", "onehot", Abc_CommandOneHot, 1 );
867 // Cmd_CommandAdd( pAbc, "Sequential", "pipe", Abc_CommandPipe, 1 );
868  Cmd_CommandAdd( pAbc, "Sequential", "retime", Abc_CommandRetime, 1 );
869  Cmd_CommandAdd( pAbc, "Sequential", "dretime", Abc_CommandDRetime, 1 );
870  Cmd_CommandAdd( pAbc, "Sequential", "fretime", Abc_CommandFlowRetime, 1 );
871  Cmd_CommandAdd( pAbc, "Sequential", "cretime", Abc_CommandCRetime, 1 );
872 // Cmd_CommandAdd( pAbc, "Sequential", "sfpga", Abc_CommandSeqFpga, 1 );
873 // Cmd_CommandAdd( pAbc, "Sequential", "smap", Abc_CommandSeqMap, 1 );
874  Cmd_CommandAdd( pAbc, "Sequential", "ssweep", Abc_CommandSeqSweep, 1 );
875  Cmd_CommandAdd( pAbc, "Sequential", "scorr", Abc_CommandSeqSweep2, 1 );
876  Cmd_CommandAdd( pAbc, "Sequential", "testssw", Abc_CommandTestSeqSweep, 0 );
877  Cmd_CommandAdd( pAbc, "Sequential", "testscorr", Abc_CommandTestScorr, 0 );
878  Cmd_CommandAdd( pAbc, "Sequential", "lcorr", Abc_CommandLcorr, 1 );
879  Cmd_CommandAdd( pAbc, "Sequential", "scleanup", Abc_CommandSeqCleanup, 1 );
880  Cmd_CommandAdd( pAbc, "Sequential", "cycle", Abc_CommandCycle, 1 );
881  Cmd_CommandAdd( pAbc, "Sequential", "xsim", Abc_CommandXsim, 0 );
882  Cmd_CommandAdd( pAbc, "Sequential", "sim", Abc_CommandSim, 0 );
883  Cmd_CommandAdd( pAbc, "Sequential", "sim3", Abc_CommandSim3, 0 );
884  Cmd_CommandAdd( pAbc, "Sequential", "phase", Abc_CommandDarPhase, 1 );
885  Cmd_CommandAdd( pAbc, "Sequential", "synch", Abc_CommandSynch, 1 );
886  Cmd_CommandAdd( pAbc, "Sequential", "clockgate", Abc_CommandClockGate, 1 );
887  Cmd_CommandAdd( pAbc, "Sequential", "extwin", Abc_CommandExtWin, 1 );
888  Cmd_CommandAdd( pAbc, "Sequential", "inswin", Abc_CommandInsWin, 1 );
889  Cmd_CommandAdd( pAbc, "Sequential", "permute", Abc_CommandPermute, 1 );
890  Cmd_CommandAdd( pAbc, "Sequential", "unpermute", Abc_CommandUnpermute, 1 );
891  Cmd_CommandAdd( pAbc, "Sequential", "cubeenum", Abc_CommandCubeEnum, 0 );
892 
893  Cmd_CommandAdd( pAbc, "Verification", "cec", Abc_CommandCec, 0 );
894  Cmd_CommandAdd( pAbc, "Verification", "dcec", Abc_CommandDCec, 0 );
895  Cmd_CommandAdd( pAbc, "Verification", "dsec", Abc_CommandDSec, 0 );
896  Cmd_CommandAdd( pAbc, "Verification", "dprove", Abc_CommandDProve, 0 );
897  Cmd_CommandAdd( pAbc, "Verification", "absec", Abc_CommandAbSec, 0 );
898  Cmd_CommandAdd( pAbc, "Verification", "simsec", Abc_CommandSimSec, 0 );
899  Cmd_CommandAdd( pAbc, "Verification", "match", Abc_CommandMatch, 0 );
900  Cmd_CommandAdd( pAbc, "Verification", "sat", Abc_CommandSat, 0 );
901  Cmd_CommandAdd( pAbc, "Verification", "dsat", Abc_CommandDSat, 0 );
902  Cmd_CommandAdd( pAbc, "Verification", "psat", Abc_CommandPSat, 0 );
903  Cmd_CommandAdd( pAbc, "Verification", "prove", Abc_CommandProve, 1 );
904  Cmd_CommandAdd( pAbc, "Verification", "iprove", Abc_CommandIProve, 1 );
905  Cmd_CommandAdd( pAbc, "Verification", "debug", Abc_CommandDebug, 0 );
906  Cmd_CommandAdd( pAbc, "Verification", "bmc", Abc_CommandBmc, 0 );
907  Cmd_CommandAdd( pAbc, "Verification", "bmc2", Abc_CommandBmc2, 0 );
908  Cmd_CommandAdd( pAbc, "Verification", "bmc3", Abc_CommandBmc3, 1 );
909  Cmd_CommandAdd( pAbc, "Verification", "int", Abc_CommandBmcInter, 1 );
910  Cmd_CommandAdd( pAbc, "Verification", "indcut", Abc_CommandIndcut, 0 );
911  Cmd_CommandAdd( pAbc, "Verification", "enlarge", Abc_CommandEnlarge, 1 );
912  Cmd_CommandAdd( pAbc, "Verification", "tempor", Abc_CommandTempor, 1 );
913  Cmd_CommandAdd( pAbc, "Verification", "ind", Abc_CommandInduction, 0 );
914  Cmd_CommandAdd( pAbc, "Verification", "constr", Abc_CommandConstr, 0 );
915  Cmd_CommandAdd( pAbc, "Verification", "unfold", Abc_CommandUnfold, 1 );
916  Cmd_CommandAdd( pAbc, "Verification", "fold", Abc_CommandFold, 1 );
917  Cmd_CommandAdd( pAbc, "Verification", "unfold2", Abc_CommandUnfold2, 1 ); // jlong
918  Cmd_CommandAdd( pAbc, "Verification", "fold2", Abc_CommandFold2, 1 ); // jlong
919  Cmd_CommandAdd( pAbc, "Verification", "bm", Abc_CommandBm, 1 );
920  Cmd_CommandAdd( pAbc, "Verification", "bm2", Abc_CommandBm2, 1 );
921  Cmd_CommandAdd( pAbc, "Verification", "saucy3", Abc_CommandSaucy, 1 );
922  Cmd_CommandAdd( pAbc, "Verification", "testcex", Abc_CommandTestCex, 0 );
923  Cmd_CommandAdd( pAbc, "Verification", "pdr", Abc_CommandPdr, 0 );
924  Cmd_CommandAdd( pAbc, "Verification", "reconcile", Abc_CommandReconcile, 1 );
925  Cmd_CommandAdd( pAbc, "Verification", "cexsave", Abc_CommandCexSave, 0 );
926  Cmd_CommandAdd( pAbc, "Verification", "cexload", Abc_CommandCexLoad, 0 );
927  Cmd_CommandAdd( pAbc, "Verification", "cexcut", Abc_CommandCexCut, 0 );
928  Cmd_CommandAdd( pAbc, "Verification", "cexmerge", Abc_CommandCexMerge, 0 );
929 // Cmd_CommandAdd( pAbc, "Verification", "cexmin", Abc_CommandCexMin, 0 );
930  Cmd_CommandAdd( pAbc, "Verification", "dualrail", Abc_CommandDualRail, 1 );
931  Cmd_CommandAdd( pAbc, "Verification", "blockpo", Abc_CommandBlockPo, 1 );
932  Cmd_CommandAdd( pAbc, "Verification", "iso", Abc_CommandIso, 1 );
933 
934  Cmd_CommandAdd( pAbc, "ABC9", "&get", Abc_CommandAbc9Get, 0 );
935  Cmd_CommandAdd( pAbc, "ABC9", "&put", Abc_CommandAbc9Put, 0 );
936  Cmd_CommandAdd( pAbc, "ABC9", "&save", Abc_CommandAbc9Save, 0 );
937  Cmd_CommandAdd( pAbc, "ABC9", "&load", Abc_CommandAbc9Load, 0 );
938  Cmd_CommandAdd( pAbc, "ABC9", "&r", Abc_CommandAbc9Read, 0 );
939  Cmd_CommandAdd( pAbc, "ABC9", "&read_blif", Abc_CommandAbc9ReadBlif, 0 );
940  Cmd_CommandAdd( pAbc, "ABC9", "&read_cblif", Abc_CommandAbc9ReadCBlif, 0 );
941  Cmd_CommandAdd( pAbc, "ABC9", "&read_stg", Abc_CommandAbc9ReadStg, 0 );
942  Cmd_CommandAdd( pAbc, "ABC9", "&read_ver", Abc_CommandAbc9ReadVer, 0 );
943  Cmd_CommandAdd( pAbc, "ABC9", "&write_ver", Abc_CommandAbc9WriteVer, 0 );
944  Cmd_CommandAdd( pAbc, "ABC9", "&w", Abc_CommandAbc9Write, 0 );
945  Cmd_CommandAdd( pAbc, "ABC9", "&ps", Abc_CommandAbc9Ps, 0 );
946  Cmd_CommandAdd( pAbc, "ABC9", "&pfan", Abc_CommandAbc9PFan, 0 );
947  Cmd_CommandAdd( pAbc, "ABC9", "&psig", Abc_CommandAbc9PSig, 0 );
948  Cmd_CommandAdd( pAbc, "ABC9", "&status", Abc_CommandAbc9Status, 0 );
949  Cmd_CommandAdd( pAbc, "ABC9", "&mux_profile", Abc_CommandAbc9MuxProfile, 0 );
950  Cmd_CommandAdd( pAbc, "ABC9", "&show", Abc_CommandAbc9Show, 0 );
951  Cmd_CommandAdd( pAbc, "ABC9", "&setregnum", Abc_CommandAbc9SetRegNum, 0 );
952  Cmd_CommandAdd( pAbc, "ABC9", "&st", Abc_CommandAbc9Strash, 0 );
953  Cmd_CommandAdd( pAbc, "ABC9", "&topand", Abc_CommandAbc9Topand, 0 );
954  Cmd_CommandAdd( pAbc, "ABC9", "&add1hot", Abc_CommandAbc9Add1Hot, 0 );
955  Cmd_CommandAdd( pAbc, "ABC9", "&cof", Abc_CommandAbc9Cof, 0 );
956  Cmd_CommandAdd( pAbc, "ABC9", "&trim", Abc_CommandAbc9Trim, 0 );
957  Cmd_CommandAdd( pAbc, "ABC9", "&dfs", Abc_CommandAbc9Dfs, 0 );
958  Cmd_CommandAdd( pAbc, "ABC9", "&sim", Abc_CommandAbc9Sim, 0 );
959  Cmd_CommandAdd( pAbc, "ABC9", "&sim3", Abc_CommandAbc9Sim3, 0 );
960  Cmd_CommandAdd( pAbc, "ABC9", "&resim", Abc_CommandAbc9Resim, 0 );
961  Cmd_CommandAdd( pAbc, "ABC9", "&speci", Abc_CommandAbc9SpecI, 0 );
962  Cmd_CommandAdd( pAbc, "ABC9", "&equiv", Abc_CommandAbc9Equiv, 0 );
963  Cmd_CommandAdd( pAbc, "ABC9", "&equiv2", Abc_CommandAbc9Equiv2, 0 );
964  Cmd_CommandAdd( pAbc, "ABC9", "&equiv3", Abc_CommandAbc9Equiv3, 0 );
965  Cmd_CommandAdd( pAbc, "ABC9", "&semi", Abc_CommandAbc9Semi, 0 );
966  Cmd_CommandAdd( pAbc, "ABC9", "&times", Abc_CommandAbc9Times, 0 );
967  Cmd_CommandAdd( pAbc, "ABC9", "&frames", Abc_CommandAbc9Frames, 0 );
968  Cmd_CommandAdd( pAbc, "ABC9", "&retime", Abc_CommandAbc9Retime, 0 );
969  Cmd_CommandAdd( pAbc, "ABC9", "&enable", Abc_CommandAbc9Enable, 0 );
970  Cmd_CommandAdd( pAbc, "ABC9", "&dc2", Abc_CommandAbc9Dc2, 0 );
971  Cmd_CommandAdd( pAbc, "ABC9", "&dsd", Abc_CommandAbc9Dsd, 0 );
972  Cmd_CommandAdd( pAbc, "ABC9", "&bidec", Abc_CommandAbc9Bidec, 0 );
973  Cmd_CommandAdd( pAbc, "ABC9", "&shrink", Abc_CommandAbc9Shrink, 0 );
974  Cmd_CommandAdd( pAbc, "ABC9", "&fx", Abc_CommandAbc9Fx, 0 );
975  Cmd_CommandAdd( pAbc, "ABC9", "&b", Abc_CommandAbc9Balance, 0 );
976  Cmd_CommandAdd( pAbc, "ABC9", "&blut", Abc_CommandAbc9BalanceLut, 0 );
977  Cmd_CommandAdd( pAbc, "ABC9", "&syn2", Abc_CommandAbc9Syn2, 0 );
978  Cmd_CommandAdd( pAbc, "ABC9", "&syn3", Abc_CommandAbc9Syn3, 0 );
979  Cmd_CommandAdd( pAbc, "ABC9", "&syn4", Abc_CommandAbc9Syn4, 0 );
980  Cmd_CommandAdd( pAbc, "ABC9", "&synch2", Abc_CommandAbc9Synch2, 0 );
981  Cmd_CommandAdd( pAbc, "ABC9", "&false", Abc_CommandAbc9False, 0 );
982  Cmd_CommandAdd( pAbc, "ABC9", "&miter", Abc_CommandAbc9Miter, 0 );
983  Cmd_CommandAdd( pAbc, "ABC9", "&miter2", Abc_CommandAbc9Miter2, 0 );
984  Cmd_CommandAdd( pAbc, "ABC9", "&append", Abc_CommandAbc9Append, 0 );
985  Cmd_CommandAdd( pAbc, "ABC9", "&scl", Abc_CommandAbc9Scl, 0 );
986  Cmd_CommandAdd( pAbc, "ABC9", "&lcorr", Abc_CommandAbc9Lcorr, 0 );
987  Cmd_CommandAdd( pAbc, "ABC9", "&scorr", Abc_CommandAbc9Scorr, 0 );
988  Cmd_CommandAdd( pAbc, "ABC9", "&choice", Abc_CommandAbc9Choice, 0 );
989  Cmd_CommandAdd( pAbc, "ABC9", "&sat", Abc_CommandAbc9Sat, 0 );
990  Cmd_CommandAdd( pAbc, "ABC9", "&satenum", Abc_CommandAbc9SatEnum, 0 );
991  Cmd_CommandAdd( pAbc, "ABC9", "&fraig", Abc_CommandAbc9Fraig, 0 );
992  Cmd_CommandAdd( pAbc, "ABC9", "&cfraig", Abc_CommandAbc9CFraig, 0 );
993  Cmd_CommandAdd( pAbc, "ABC9", "&srm", Abc_CommandAbc9Srm, 0 );
994  Cmd_CommandAdd( pAbc, "ABC9", "&srm2", Abc_CommandAbc9Srm2, 0 );
995  Cmd_CommandAdd( pAbc, "ABC9", "&filter", Abc_CommandAbc9Filter, 0 );
996  Cmd_CommandAdd( pAbc, "ABC9", "&reduce", Abc_CommandAbc9Reduce, 0 );
997  Cmd_CommandAdd( pAbc, "ABC9", "&equiv_mark", Abc_CommandAbc9EquivMark, 0 );
998  Cmd_CommandAdd( pAbc, "ABC9", "&equiv_filter", Abc_CommandAbc9EquivFilter, 0 );
999  Cmd_CommandAdd( pAbc, "ABC9", "&cec", Abc_CommandAbc9Cec, 0 );
1000  Cmd_CommandAdd( pAbc, "ABC9", "&verify", Abc_CommandAbc9Verify, 0 );
1001  Cmd_CommandAdd( pAbc, "ABC9", "&sweep", Abc_CommandAbc9Sweep, 0 );
1002  Cmd_CommandAdd( pAbc, "ABC9", "&force", Abc_CommandAbc9Force, 0 );
1003  Cmd_CommandAdd( pAbc, "ABC9", "&embed", Abc_CommandAbc9Embed, 0 );
1004  Cmd_CommandAdd( pAbc, "ABC9", "&sopb", Abc_CommandAbc9Sopb, 0 );
1005  Cmd_CommandAdd( pAbc, "ABC9", "&dsdb", Abc_CommandAbc9Dsdb, 0 );
1006  Cmd_CommandAdd( pAbc, "ABC9", "&flow", Abc_CommandAbc9Flow, 0 );
1007  Cmd_CommandAdd( pAbc, "ABC9", "&flow2", Abc_CommandAbc9Flow2, 0 );
1008  Cmd_CommandAdd( pAbc, "ABC9", "&if", Abc_CommandAbc9If, 0 );
1009  Cmd_CommandAdd( pAbc, "ABC9", "&iff", Abc_CommandAbc9Iff, 0 );
1010  Cmd_CommandAdd( pAbc, "ABC9", "&if2", Abc_CommandAbc9If2, 0 );
1011  Cmd_CommandAdd( pAbc, "ABC9", "&jf", Abc_CommandAbc9Jf, 0 );
1012  Cmd_CommandAdd( pAbc, "ABC9", "&kf", Abc_CommandAbc9Kf, 0 );
1013  Cmd_CommandAdd( pAbc, "ABC9", "&lf", Abc_CommandAbc9Lf, 0 );
1014  Cmd_CommandAdd( pAbc, "ABC9", "&mf", Abc_CommandAbc9Mf, 0 );
1015  Cmd_CommandAdd( pAbc, "ABC9", "&nf", Abc_CommandAbc9Nf, 0 );
1016  Cmd_CommandAdd( pAbc, "ABC9", "&unmap", Abc_CommandAbc9Unmap, 0 );
1017  Cmd_CommandAdd( pAbc, "ABC9", "&struct", Abc_CommandAbc9Struct, 0 );
1018  Cmd_CommandAdd( pAbc, "ABC9", "&trace", Abc_CommandAbc9Trace, 0 );
1019  Cmd_CommandAdd( pAbc, "ABC9", "&speedup", Abc_CommandAbc9Speedup, 0 );
1020  Cmd_CommandAdd( pAbc, "ABC9", "&era", Abc_CommandAbc9Era, 0 );
1021  Cmd_CommandAdd( pAbc, "ABC9", "&dch", Abc_CommandAbc9Dch, 0 );
1022  Cmd_CommandAdd( pAbc, "ABC9", "&rpm", Abc_CommandAbc9Rpm, 0 );
1023  Cmd_CommandAdd( pAbc, "ABC9", "&back_reach", Abc_CommandAbc9BackReach, 0 );
1024  Cmd_CommandAdd( pAbc, "ABC9", "&posplit", Abc_CommandAbc9Posplit, 0 );
1025  Cmd_CommandAdd( pAbc, "ABC9", "&reachm", Abc_CommandAbc9ReachM, 0 );
1026  Cmd_CommandAdd( pAbc, "ABC9", "&reachp", Abc_CommandAbc9ReachP, 0 );
1027  Cmd_CommandAdd( pAbc, "ABC9", "&reachn", Abc_CommandAbc9ReachN, 0 );
1028  Cmd_CommandAdd( pAbc, "ABC9", "&reachy", Abc_CommandAbc9ReachY, 0 );
1029  Cmd_CommandAdd( pAbc, "ABC9", "&undo", Abc_CommandAbc9Undo, 0 );
1030  Cmd_CommandAdd( pAbc, "ABC9", "&iso", Abc_CommandAbc9Iso, 0 );
1031  Cmd_CommandAdd( pAbc, "ABC9", "&cexinfo", Abc_CommandAbc9CexInfo, 0 );
1032  Cmd_CommandAdd( pAbc, "ABC9", "&cycle", Abc_CommandAbc9Cycle, 0 );
1033  Cmd_CommandAdd( pAbc, "ABC9", "&cone", Abc_CommandAbc9Cone, 0 );
1034  Cmd_CommandAdd( pAbc, "ABC9", "&slice", Abc_CommandAbc9Slice, 0 );
1035  Cmd_CommandAdd( pAbc, "ABC9", "&popart", Abc_CommandAbc9PoPart, 0 );
1036  Cmd_CommandAdd( pAbc, "ABC9", "&gprove", Abc_CommandAbc9GroupProve, 0 );
1037  Cmd_CommandAdd( pAbc, "ABC9", "&mprove", Abc_CommandAbc9MultiProve, 0 );
1038  Cmd_CommandAdd( pAbc, "ABC9", "&splitprove", Abc_CommandAbc9SplitProve, 0 );
1039  Cmd_CommandAdd( pAbc, "ABC9", "&bmc", Abc_CommandAbc9Bmc, 0 );
1040  Cmd_CommandAdd( pAbc, "ABC9", "&chainbmc", Abc_CommandAbc9ChainBmc, 0 );
1041  Cmd_CommandAdd( pAbc, "ABC9", "&bcore", Abc_CommandAbc9BCore, 0 );
1042  Cmd_CommandAdd( pAbc, "ABC9", "&icheck", Abc_CommandAbc9ICheck, 0 );
1043  Cmd_CommandAdd( pAbc, "ABC9", "&sattest", Abc_CommandAbc9SatTest, 0 );
1044  Cmd_CommandAdd( pAbc, "ABC9", "&fftest", Abc_CommandAbc9FFTest, 0 );
1045  Cmd_CommandAdd( pAbc, "ABC9", "&qbf", Abc_CommandAbc9Qbf, 0 );
1046  Cmd_CommandAdd( pAbc, "ABC9", "&inse", Abc_CommandAbc9Inse, 0 );
1047  Cmd_CommandAdd( pAbc, "ABC9", "&maxi", Abc_CommandAbc9Maxi, 0 );
1048  Cmd_CommandAdd( pAbc, "ABC9", "&bmci", Abc_CommandAbc9Bmci, 0 );
1049  Cmd_CommandAdd( pAbc, "ABC9", "&poxsim", Abc_CommandAbc9PoXsim, 0 );
1050  Cmd_CommandAdd( pAbc, "ABC9", "&demiter", Abc_CommandAbc9Demiter, 0 );
1051  Cmd_CommandAdd( pAbc, "ABC9", "&fadds", Abc_CommandAbc9Fadds, 0 );
1052  Cmd_CommandAdd( pAbc, "ABC9", "&mfs", Abc_CommandAbc9Mfs, 0 );
1053 // Cmd_CommandAdd( pAbc, "ABC9", "&popart2", Abc_CommandAbc9PoPart2, 0 );
1054 // Cmd_CommandAdd( pAbc, "ABC9", "&cexcut", Abc_CommandAbc9CexCut, 0 );
1055 // Cmd_CommandAdd( pAbc, "ABC9", "&cexmerge", Abc_CommandAbc9CexMerge, 0 );
1056 // Cmd_CommandAdd( pAbc, "ABC9", "&cexmin", Abc_CommandAbc9CexMin, 0 );
1057 
1058  Cmd_CommandAdd( pAbc, "Abstraction", "&abs_derive", Abc_CommandAbc9AbsDerive, 0 );
1059  Cmd_CommandAdd( pAbc, "Abstraction", "&abs_refine", Abc_CommandAbc9AbsRefine, 0 );
1060  Cmd_CommandAdd( pAbc, "Abstraction", "&gla_derive", Abc_CommandAbc9GlaDerive, 0 );
1061  Cmd_CommandAdd( pAbc, "Abstraction", "&gla_refine", Abc_CommandAbc9GlaRefine, 0 );
1062  Cmd_CommandAdd( pAbc, "Abstraction", "&gla_shrink", Abc_CommandAbc9GlaShrink, 0 );
1063  Cmd_CommandAdd( pAbc, "Abstraction", "&gla", Abc_CommandAbc9Gla, 0 );
1064  Cmd_CommandAdd( pAbc, "Abstraction", "&vta", Abc_CommandAbc9Vta, 0 );
1065  Cmd_CommandAdd( pAbc, "Abstraction", "&vta_gla", Abc_CommandAbc9Vta2Gla, 0 );
1066  Cmd_CommandAdd( pAbc, "Abstraction", "&gla_vta", Abc_CommandAbc9Gla2Vta, 0 );
1067  Cmd_CommandAdd( pAbc, "Abstraction", "&fla_gla", Abc_CommandAbc9Fla2Gla, 0 );
1068  Cmd_CommandAdd( pAbc, "Abstraction", "&gla_fla", Abc_CommandAbc9Gla2Fla, 0 );
1069 
1070  Cmd_CommandAdd( pAbc, "Liveness", "l2s", Abc_CommandAbcLivenessToSafety, 0 );
1071  Cmd_CommandAdd( pAbc, "Liveness", "l2ssim", Abc_CommandAbcLivenessToSafetySim, 0 );
1072  Cmd_CommandAdd( pAbc, "Liveness", "l3s", Abc_CommandAbcLivenessToSafetyWithLTL, 0 );
1073  Cmd_CommandAdd( pAbc, "Liveness", "kcs", Abc_CommandCS_kLiveness, 0 );
1074  Cmd_CommandAdd( pAbc, "Liveness", "nck", Abc_CommandNChooseK, 0 );
1075 
1076  Cmd_CommandAdd( pAbc, "ABC9", "&test", Abc_CommandAbc9Test, 0 );
1077  {
1078 // extern Mf_ManTruthCount();
1079 // Mf_ManTruthCount();
1080  }
1081 
1082  {
1083  extern void Dar_LibStart();
1084  Dar_LibStart();
1085  }
1086  {
1087 // extern void Dau_DsdTest();
1088 // Dau_DsdTest();
1089 // extern void If_ManSatTest();
1090 // If_ManSatTest();
1091  }
1092 
1093 // if ( Sdm_ManCanRead() )
1094 // Sdm_ManRead();
1095 }
Abc_CommandPrintMffc
static int Abc_CommandPrintMffc(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:1536
Abc_CommandPrintIo
static int Abc_CommandPrintIo(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:1353
Abc_CommandAbc9Append
static int Abc_CommandAbc9Append(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:29511
Abc_CommandOutdec
static int Abc_CommandOutdec(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:10475
Abc_CommandDsdSave
static int Abc_CommandDsdSave(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:15936
Abc_CommandComb
static int Abc_CommandComb(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:6639
Abc_CommandAbc9Lf
static int Abc_CommandAbc9Lf(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:32787
Abc_CommandSuperChoiceLut
static int Abc_CommandSuperChoiceLut(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:14892
Abc_CommandOrder
static int Abc_CommandOrder(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:8164
Abc_CommandNpnSave
static int Abc_CommandNpnSave(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:13055
Abc_CommandShowCut
static int Abc_CommandShowCut(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:2866
Abc_CommandAbc9Cone
static int Abc_CommandAbc9Cone(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:34961
Abc_CommandDsdPs
static int Abc_CommandDsdPs(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:16142
Abc_CommandAbc9Equiv2
static int Abc_CommandAbc9Equiv2(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:27669
Abc_CommandShow
static int Abc_CommandShow(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:2709
Abc_CommandFlowRetime
static int Abc_CommandFlowRetime(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:17400
Abc_CommandSendAig
static int Abc_CommandSendAig(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:13096
Abc_CommandEliminate
static int Abc_CommandEliminate(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:3908
Abc_CommandBalance
static int Abc_CommandBalance(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:3145
Abc_CommandSat
static int Abc_CommandSat(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:21284
Abc_CommandAbc9MultiProve
static int Abc_CommandAbc9MultiProve(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:35420
Abc_CommandLogic
static int Abc_CommandLogic(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:6579
Abc_CommandInduction
static int Abc_CommandInduction(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:23280
Abc_CommandReconcile
static int Abc_CommandReconcile(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:24478
Abc_CommandSop
static int Abc_CommandSop(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:7871
Abc_CommandAbc9Unmap
static int Abc_CommandAbc9Unmap(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:33408
Abc_CommandAbc9Trim
static int Abc_CommandAbc9Trim(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:26957
Abc_CommandRecDump3
static int Abc_CommandRecDump3(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:14150
Abc_CommandAbc9FFTest
static int Abc_CommandAbc9FFTest(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:36146
Abc_CommandPrintSupport
static int Abc_CommandPrintSupport(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:1749
Abc_CommandAbc9Miter2
static int Abc_CommandAbc9Miter2(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:29432
Abc_CommandTestCex
static int Abc_CommandTestCex(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:24180
Abc_CommandAbc9Posplit
static int Abc_CommandAbc9Posplit(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:34028
Abc_CommandAbc9Era
static int Abc_CommandAbc9Era(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:33667
Abc_CommandTempor
static int Abc_CommandTempor(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:23139
Abc_CommandAbc9Test
static int Abc_CommandAbc9Test(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:38463
Abc_CommandAbc9GlaRefine
static int Abc_CommandAbc9GlaRefine(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:37589
Abc_CommandAbc9Sweep
static int Abc_CommandAbc9Sweep(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:31040
Abc_CommandAddPi
static int Abc_CommandAddPi(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:7448
Abc_CommandAbc9Load
static int Abc_CommandAbc9Load(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:26067
Abc_CommandSeqSweep2
static int Abc_CommandSeqSweep2(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:18068
Abc_CommandDSat
static int Abc_CommandDSat(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:21411
Abc_CommandDSec
static int Abc_CommandDSec(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:20544
Abc_CommandCSweep
static int Abc_CommandCSweep(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:12498
Abc_CommandAbc9Jf
static int Abc_CommandAbc9Jf(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:32461
Abc_CommandAbc9CFraig
static int Abc_CommandAbc9CFraig(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:30272
Abc_CommandCubeEnum
static int Abc_CommandCubeEnum(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:20161
Abc_CommandNodeDup
static int Abc_CommandNodeDup(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:10551
Abc_CommandDouble
static int Abc_CommandDouble(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:10342
Abc_CommandReorder
static int Abc_CommandReorder(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:8048
Abc_CommandBm
static int Abc_CommandBm(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:23837
Abc_CommandShortNames
static int Abc_CommandShortNames(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:9103
Abc_CommandShowBdd
static int Abc_CommandShowBdd(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:2785
Abc_CommandIProve
static int Abc_CommandIProve(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:12600
Abc_CommandDRewrite
static int Abc_CommandDRewrite(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:11444
Abc_CommandSynch
static int Abc_CommandSynch(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:19537
Abc_CommandInit
static int Abc_CommandInit(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:16517
Abc_CommandSaucy
static int Abc_CommandSaucy(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:24027
Abc_CommandAbc9Miter
static int Abc_CommandAbc9Miter(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:29307
Abc_CommandTopAnd
static int Abc_CommandTopAnd(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:8955
Abc_CommandDFraig
static int Abc_CommandDFraig(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:12401
Abc_CommandAbc9BCore
static int Abc_CommandAbc9BCore(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:35874
Abc_CommandAbc9BackReach
static int Abc_CommandAbc9BackReach(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:33936
Abc_CommandTestColor
static int Abc_CommandTestColor(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:10627
Abc_CommandFrames
static int Abc_CommandFrames(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:7674
Abc_CommandAbc9Nf
static int Abc_CommandAbc9Nf(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:33220
Abc_CommandGen
static int Abc_CommandGen(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:9843
Abc_CommandSenseInput
static int Abc_CommandSenseInput(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:11162
Abc_CommandTrace
static int Abc_CommandTrace(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:4991
Abc_CommandCut
static int Abc_CommandCut(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:9500
Abc_CommandNode
static int Abc_CommandNode(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:8794
Abc_CommandAbc9Sopb
static int Abc_CommandAbc9Sopb(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:31301
Abc_CommandDProve
static int Abc_CommandDProve(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:20680
Abc_CommandAbc9WriteVer
static int Abc_CommandAbc9WriteVer(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:26184
Abc_CommandRecStop3
static int Abc_CommandRecStop3(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:14013
Abc_CommandVarMin
static int Abc_CommandVarMin(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:6494
Abc_CommandBdd
static int Abc_CommandBdd(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:7929
Abc_CommandPrintGates
static int Abc_CommandPrintGates(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:2146
Abc_CommandAbc9SatTest
static int Abc_CommandAbc9SatTest(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:36097
Abc_CommandFraig
static int Abc_CommandFraig(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:13332
Abc_CommandQuaReach
static int Abc_CommandQuaReach(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:11064
Abc_CommandRecMerge3
static int Abc_CommandRecMerge3(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:14234
Abc_CommandAig
static int Abc_CommandAig(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:7991
Abc_CommandDsdMatch
static int Abc_CommandDsdMatch(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:16234
Abc_CommandAbc9Read
static int Abc_CommandAbc9Read(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:25392
Abc_CommandReach
static int Abc_CommandReach(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:8513
Abc_CommandAbc9Equiv
static int Abc_CommandAbc9Equiv(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:27551
Abc_CommandFraigStore
static int Abc_CommandFraigStore(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:13572
Abc_CommandIFraig
static int Abc_CommandIFraig(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:12281
Abc_CommandAbc9Times
static int Abc_CommandAbc9Times(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:28121
Abc_CommandAbc9Vta
static int Abc_CommandAbc9Vta(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:38038
Abc_CommandAbc9ReadVer
static int Abc_CommandAbc9ReadVer(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:25700
Abc_CommandUnfold
static int Abc_CommandUnfold(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:23607
Abc_CommandExtWin
static int Abc_CommandExtWin(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:19810
Abc_CommandAbc9SpecI
static int Abc_CommandAbc9SpecI(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:27467
Abc_CommandBmc2
static int Abc_CommandBmc2(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:22163
Abc_CommandEnlarge
static int Abc_CommandEnlarge(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:23056
Abc_CommandDsdFilter
static int Abc_CommandDsdFilter(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:16416
Abc_CommandDropSat
static int Abc_CommandDropSat(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:7373
Abc_CommandPrintCone
static int Abc_CommandPrintCone(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:2430
Abc_CommandCover
static int Abc_CommandCover(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:10148
Abc_CommandAbc9Syn3
static int Abc_CommandAbc9Syn3(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:29127
Abc_CommandAbc9ReachM
static int Abc_CommandAbc9ReachM(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:34096
Abc_CommandAbc9ReadStg
static int Abc_CommandAbc9ReadStg(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:25627
Abc_CommandRetime
static int Abc_CommandRetime(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:17104
Abc_CommandCubes
static int Abc_CommandCubes(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:8308
Abc_CommandCexMerge
static int Abc_CommandCexMerge(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:24800
Abc_CommandOrPos
static int Abc_CommandOrPos(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:6964
Abc_CommandAbc9Synch2
static int Abc_CommandAbc9Synch2(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:29012
Abc_CommandIRewrite
static int Abc_CommandIRewrite(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:11371
Abc_CommandAbc9Ps
static int Abc_CommandAbc9Ps(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:26265
Abc_CommandAbc9Syn2
static int Abc_CommandAbc9Syn2(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:28919
Abc_CommandExdcSet
static int Abc_CommandExdcSet(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:9332
Abc_CommandExtSeqDcs
static int Abc_CommandExtSeqDcs(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:8447
Cmd_CommandAdd
void Cmd_CommandAdd(Abc_Frame_t *pAbc, const char *sGroup, const char *sName, Cmd_CommandFuncType pFunc, int fChanges)
Definition: cmdApi.c:63
Abc_CommandRecPs3
static int Abc_CommandRecPs3(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:14054
Abc_CommandPermute
static int Abc_CommandPermute(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:20023
Abc_CommandRenode
static int Abc_CommandRenode(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:3432
Abc_CommandAbc9ReadBlif
static int Abc_CommandAbc9ReadBlif(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:25477
Abc_CommandMap
static int Abc_CommandMap(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:14315
Abc_CommandAbc9EquivMark
static int Abc_CommandAbc9EquivMark(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:30700
Abc_CommandAbc9Retime
static int Abc_CommandAbc9Retime(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:28288
Abc_CommandMfs2
static int Abc_CommandMfs2(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:4758
Abc_CommandQuaVar
static int Abc_CommandQuaVar(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:10882
Abc_CommandConstr
static int Abc_CommandConstr(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:23421
Abc_CommandDChoice
static int Abc_CommandDChoice(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:11757
Abc_CommandPrintUnate
static int Abc_CommandPrintUnate(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:1914
Abc_CommandAbc9Fla2Gla
static int Abc_CommandAbc9Fla2Gla(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:38360
Abc_CommandAbc9Iso
static int Abc_CommandAbc9Iso(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:34758
Abc_CommandAbc9Dsdb
static int Abc_CommandAbc9Dsdb(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:31402
Abc_CommandAbc9Save
static int Abc_CommandAbc9Save(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:26018
Abc_CommandAbc9GlaDerive
static int Abc_CommandAbc9GlaDerive(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:37528
Abc_CommandIResyn
static int Abc_CommandIResyn(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:12130
Abc_CommandMulti
static int Abc_CommandMulti(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:3318
Abc_CommandPrintFactor
static int Abc_CommandPrintFactor(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:1583
Abc_CommandAbc9Syn4
static int Abc_CommandAbc9Syn4(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:29178
Abc_CommandAbcLivenessToSafetySim
int Abc_CommandAbcLivenessToSafetySim(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: liveness_sim.c:754
Abc_CommandIf
static int Abc_CommandIf(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:15283
Abc_CommandPrintFanio
static int Abc_CommandPrintFanio(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:1476
Abc_CommandAbc9Reduce
static int Abc_CommandAbc9Reduce(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:30637
Abc_CommandAbc9PFan
static int Abc_CommandAbc9PFan(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:26365
Abc_CommandUnpermute
static int Abc_CommandUnpermute(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:20112
Abc_CommandAbc9ReachP
static int Abc_CommandAbc9ReachP(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:34275
Abc_CommandAbc9Choice
static int Abc_CommandAbc9Choice(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:29889
Abc_CommandPdr
static int Abc_CommandPdr(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:24283
Abc_CommandAndPos
static int Abc_CommandAndPos(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:7058
Abc_CommandAbc9Srm
static int Abc_CommandAbc9Srm(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:30352
Abc_CommandDc2
static int Abc_CommandDc2(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:11673
Abc_CommandAbcLivenessToSafetyWithLTL
int Abc_CommandAbcLivenessToSafetyWithLTL(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: liveness.c:2268
Abc_CommandResubstitute
static int Abc_CommandResubstitute(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:6085
Abc_CommandAbc9Fadds
static int Abc_CommandAbc9Fadds(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:36887
Abc_CommandAbc9AbsRefine
static int Abc_CommandAbc9AbsRefine(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:37446
Abc_CommandAbc9Inse
static int Abc_CommandAbc9Inse(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:36488
Abc_CommandCS_kLiveness
int Abc_CommandCS_kLiveness(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: kliveness.c:525
Abc_CommandAbc9Resim
static int Abc_CommandAbc9Resim(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:27402
Abc_CommandAbc9Maxi
static int Abc_CommandAbc9Maxi(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:36583
Abc_CommandRecAdd3
static int Abc_CommandRecAdd3(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:14098
Abc_CommandFraigClean
static int Abc_CommandFraigClean(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:13688
Abc_CommandAbc9Undo
static int Abc_CommandAbc9Undo(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:34710
Abc_CommandTestRPO
static int Abc_CommandTestRPO(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:5689
Abc_CommandMuxes
static int Abc_CommandMuxes(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:8247
Abc_CommandMatch
static int Abc_CommandMatch(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:21171
Abc_CommandRemovePo
static int Abc_CommandRemovePo(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:7292
Abc_CommandUnfold2
static int Abc_CommandUnfold2(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abciUnfold2.c:13
Abc_CommandQuaRel
static int Abc_CommandQuaRel(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:10969
Abc_CommandPrintDelay
static int Abc_CommandPrintDelay(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:2625
Abc_CommandAbc9Gla2Fla
static int Abc_CommandAbc9Gla2Fla(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:38411
Abc_CommandAbc9Status
static int Abc_CommandAbc9Status(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:26468
Abc_CommandFraigRestore
static int Abc_CommandFraigRestore(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:13628
Abc_CommandInsWin
static int Abc_CommandInsWin(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:19909
Abc_CommandFastExtract
static int Abc_CommandFastExtract(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:3753
Abc_CommandNpnLoad
static int Abc_CommandNpnLoad(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:13015
Abc_CommandPrintLevel
static int Abc_CommandPrintLevel(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:1660
Abc_CommandSimSec
static int Abc_CommandSimSec(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:21046
Abc_CommandDch
static int Abc_CommandDch(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:11862
Abc_CommandSim3
static int Abc_CommandSim3(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:19171
Abc_CommandMuxStruct
static int Abc_CommandMuxStruct(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:3250
Abc_CommandMoveNames
static int Abc_CommandMoveNames(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:9146
Abc_CommandAbc9Show
static int Abc_CommandAbc9Show(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:26549
Abc_CommandDsdMerge
static int Abc_CommandDsdMerge(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:16345
Abc_CommandGenFsm
static int Abc_CommandGenFsm(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:10014
Abc_CommandDebug
static int Abc_CommandDebug(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:21940
Abc_CommandAbc9Sat
static int Abc_CommandAbc9Sat(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:29951
Abc_CommandAbc9Speedup
static int Abc_CommandAbc9Speedup(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:33571
Abc_CommandAbc9Force
static int Abc_CommandAbc9Force(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:31137
Abc_CommandCone
static int Abc_CommandCone(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:8641
Abc_CommandAbc9GroupProve
static int Abc_CommandAbc9GroupProve(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:35345
Abc_CommandAbc9Sim3
static int Abc_CommandAbc9Sim3(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:27248
Abc_CommandDsdLoad
static int Abc_CommandDsdLoad(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:16005
Abc_CommandBmc
static int Abc_CommandBmc(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:21991
Abc_CommandClockGate
static int Abc_CommandClockGate(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:19649
Abc_CommandAbc9Dc2
static int Abc_CommandAbc9Dc2(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:28408
Abc_CommandAbc9PoPart
static int Abc_CommandAbc9PoPart(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:35172
Abc_CommandAbc9Qbf
static int Abc_CommandAbc9Qbf(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:36349
Abc_CommandPrintMiter
static int Abc_CommandPrintMiter(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:2485
Abc_CommandInter
static int Abc_CommandInter(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:10245
Abc_CommandSweep
static int Abc_CommandSweep(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:3689
Abc_CommandAppend
static int Abc_CommandAppend(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:7500
Abc_CommandSparsify
static int Abc_CommandSparsify(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:4161
Abc_CommandDisjoint
static int Abc_CommandDisjoint(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:4041
Abc_CommandAbc9Trace
static int Abc_CommandAbc9Trace(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:33512
Abc_CommandFold2
static int Abc_CommandFold2(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abciUnfold2.c:124
Abc_CommandTestSeqSweep
static int Abc_CommandTestSeqSweep(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:18340
Abc_CommandExtract
static int Abc_CommandExtract(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:6413
Abc_CommandZero
static int Abc_CommandZero(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:16682
Abc_CommandAbc9Enable
static int Abc_CommandAbc9Enable(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:28353
Abc_CommandAbc9Cof
static int Abc_CommandAbc9Cof(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:26871
Abc_CommandBm2
static int Abc_CommandBm2(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:23917
Abc_CommandPrintXCut
static int Abc_CommandPrintXCut(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:2256
Abc_CommandPrintExdc
static int Abc_CommandPrintExdc(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:1266
Abc_CommandAttach
static int Abc_CommandAttach(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:14773
Abc_CommandRecStart3
static int Abc_CommandRecStart3(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:13897
Abc_CommandAbc9Put
static int Abc_CommandAbc9Put(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:25874
Abc_CommandAbc9Dfs
static int Abc_CommandAbc9Dfs(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:27038
Abc_CommandSeqCleanup
static int Abc_CommandSeqCleanup(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:18742
Abc_CommandAbc9Fraig
static int Abc_CommandAbc9Fraig(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:30133
Abc_CommandMinisimp
static int Abc_CommandMinisimp(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:13309
Abc_CommandPowerdown
static int Abc_CommandPowerdown(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:5162
Abc_CommandStrash
static int Abc_CommandStrash(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:3064
Abc_CommandAbc9Vta2Gla
static int Abc_CommandAbc9Vta2Gla(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:38240
Abc_CommandAbc9Srm2
static int Abc_CommandAbc9Srm2(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:30458
Abc_CommandCleanup
static int Abc_CommandCleanup(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:3601
Abc_CommandXsim
static int Abc_CommandXsim(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:18953
Abc_CommandUnmap
static int Abc_CommandUnmap(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:14719
Abc_CommandAbc9SatEnum
static int Abc_CommandAbc9SatEnum(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:30066
Abc_CommandAbc9EquivFilter
static int Abc_CommandAbc9EquivFilter(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:30765
Abc_CommandAbc9Lcorr
static int Abc_CommandAbc9Lcorr(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:29660
Abc_CommandSpeedup
static int Abc_CommandSpeedup(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:5055
Abc_CommandLutpack
static int Abc_CommandLutpack(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:4241
Abc_CommandAbc9Slice
static int Abc_CommandAbc9Slice(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:35114
Abc_CommandPrintStats
static ABC_NAMESPACE_IMPL_START int Abc_CommandPrintStats(Abc_Frame_t *pAbc, int argc, char **argv)
DECLARATIONS ///.
Definition: abc.c:1155
Abc_CommandPrintKMap
static int Abc_CommandPrintKMap(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:2058
Abc_CommandBb2Wb
static int Abc_CommandBb2Wb(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:10420
Abc_CommandAmap
static int Abc_CommandAmap(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:14539
Abc_CommandSplitSop
static int Abc_CommandSplitSop(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:8370
Abc_CommandAddBuffs
static int Abc_CommandAddBuffs(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:5270
Abc_CommandDsdFree
static int Abc_CommandDsdFree(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:16086
Abc_CommandDrwsat
static int Abc_CommandDrwsat(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:11989
Abc_CommandDFrames
static int Abc_CommandDFrames(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:7761
Abc_CommandNChooseK
int Abc_CommandNChooseK(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: kliveness.c:718
Abc_CommandMfs
static int Abc_CommandMfs(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:4590
Abc_CommandAbc9If
static int Abc_CommandAbc9If(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:31693
Abc_CommandAbc9GlaShrink
static int Abc_CommandAbc9GlaShrink(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:37676
Abc_CommandAbc9ReachN
static int Abc_CommandAbc9ReachN(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:34425
Abc_CommandAbc9Demiter
static int Abc_CommandAbc9Demiter(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:36833
Abc_CommandAbc9AbsDerive
static int Abc_CommandAbc9AbsDerive(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:37390
Abc_CommandAbc9Gla2Vta
static int Abc_CommandAbc9Gla2Vta(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:38291
Abc_CommandExdcGet
static int Abc_CommandExdcGet(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:9279
Abc_CommandAbc9Kf
static int Abc_CommandAbc9Kf(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:32621
Abc_CommandAbc9Gla
static int Abc_CommandAbc9Gla(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:37767
Abc_CommandAbc9Shrink
static int Abc_CommandAbc9Shrink(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:28567
Abc_CommandAbc9SetRegNum
static int Abc_CommandAbc9SetRegNum(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:26597
Abc_CommandISat
static int Abc_CommandISat(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:12198
Abc_CommandRestore
static int Abc_CommandRestore(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:13255
Abc_CommandSeqSweep
static int Abc_CommandSeqSweep(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:17874
Abc_CommandTopmost
static int Abc_CommandTopmost(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:8870
Abc_CommandZeroPo
static int Abc_CommandZeroPo(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:7131
Abc_CommandBidec
static int Abc_CommandBidec(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:8106
Abc_CommandIndcut
static int Abc_CommandIndcut(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:22865
Abc_CommandPrintSymms
static int Abc_CommandPrintSymms(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:1834
Abc_CommandCexCut
static int Abc_CommandCexCut(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:24676
Abc_CommandCexLoad
static int Abc_CommandCexLoad(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:24631
Abc_CommandAbc9Cec
static int Abc_CommandAbc9Cec(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:30811
Abc_CommandSwapPos
static int Abc_CommandSwapPos(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:7217
Abc_CommandAbcLivenessToSafety
int Abc_CommandAbcLivenessToSafety(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: liveness.c:1254
Abc_CommandAbc9Cycle
static int Abc_CommandAbc9Cycle(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:34897
Abc_CommandDarPhase
static int Abc_CommandDarPhase(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:19388
Abc_CommandFraigDress
static int Abc_CommandFraigDress(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:13813
Abc_CommandAbc9Balance
static int Abc_CommandAbc9Balance(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:28736
Abc_CommandDemiter
static int Abc_CommandDemiter(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:6866
Abc_CommandAbc9Bmci
static int Abc_CommandAbc9Bmci(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:36675
Abc_CommandTrim
static int Abc_CommandTrim(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:9036
Abc_CommandAbc9Struct
static int Abc_CommandAbc9Struct(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:33454
Abc_CommandIfif
static int Abc_CommandIfif(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:15811
Abc_CommandCRetime
static int Abc_CommandCRetime(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:17558
Abc_CommandLcorr
static int Abc_CommandLcorr(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:18614
Abc_CommandSendStatus
static int Abc_CommandSendStatus(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:13175
Abc_CommandDCec
static int Abc_CommandDCec(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:20387
Abc_CommandUndc
static int Abc_CommandUndc(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:16747
Abc_CommandAbc9MuxProfile
static int Abc_CommandAbc9MuxProfile(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:26508
Abc_CommandAbc9If2
static int Abc_CommandAbc9If2(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:32280
Abc_CommandAbc9False
static int Abc_CommandAbc9False(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:29229
Abc_CommandFraigTrust
static int Abc_CommandFraigTrust(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:13512
Abc_CommandAbc9ChainBmc
static int Abc_CommandAbc9ChainBmc(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:35790
Abc_CommandOneHot
static int Abc_CommandOneHot(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:16837
Abc_CommandICut
static int Abc_CommandICut(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:11308
Abc_CommandAbc9Equiv3
static int Abc_CommandAbc9Equiv3(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:27812
Abc_CommandCascade
static int Abc_CommandCascade(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:6315
Abc_CommandAbc9Fx
static int Abc_CommandAbc9Fx(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:28644
Abc_CommandSim
static int Abc_CommandSim(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:19040
Abc_CommandAbc9ReachY
static int Abc_CommandAbc9ReachY(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:34555
Abc_CommandAbc9PoXsim
static int Abc_CommandAbc9PoXsim(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:36770
Abc_CommandAbc9Bidec
static int Abc_CommandAbc9Bidec(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:28511
Abc_CommandAbc9Verify
static int Abc_CommandAbc9Verify(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:30965
Abc_CommandLutmin
static int Abc_CommandLutmin(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:4389
Abc_CommandAbc9ReadCBlif
static int Abc_CommandAbc9ReadCBlif(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:25547
Abc_CommandAbc9Write
static int Abc_CommandAbc9Write(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:26109
Abc_CommandDRefactor
static int Abc_CommandDRefactor(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:11552
Abc_CommandAbc9Topand
static int Abc_CommandAbc9Topand(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:26774
Abc_CommandSuperChoice
static int Abc_CommandSuperChoice(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:14829
Abc_CommandBlockPo
static int Abc_CommandBlockPo(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:25121
Abc_CommandAbc9Sim
static int Abc_CommandAbc9Sim(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:27112
Abc_CommandCollapse
static int Abc_CommandCollapse(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:2964
Abc_CommandTestScorr
static int Abc_CommandTestScorr(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:18504
Abc_CommandDRetime
static int Abc_CommandDRetime(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:17261
Abc_CommandAbc9Mfs
static int Abc_CommandAbc9Mfs(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:37025
Abc_CommandAbc9Get
static int Abc_CommandAbc9Get(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:25776
Abc_CommandAbc9Scl
static int Abc_CommandAbc9Scl(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:29589
Abc_CommandAbc9SplitProve
static int Abc_CommandAbc9SplitProve(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:35552
Abc_CommandAbc9Flow
static int Abc_CommandAbc9Flow(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:31526
Abc_CommandAbc9Add1Hot
static int Abc_CommandAbc9Add1Hot(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:26825
Abc_CommandAbc9Dsd
static int Abc_CommandAbc9Dsd(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:28459
Abc_CommandAbc9Rpm
static int Abc_CommandAbc9Rpm(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:33864
Abc_CommandPutOnTop
static int Abc_CommandPutOnTop(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:7583
Abc_CommandAbc9Flow2
static int Abc_CommandAbc9Flow2(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:31607
Abc_CommandAbc9Semi
static int Abc_CommandAbc9Semi(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:27982
Abc_CommandCycle
static int Abc_CommandCycle(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:18861
Abc_CommandIRewriteSeq
static int Abc_CommandIRewriteSeq(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:12057
Abc_CommandCareSet
static int Abc_CommandCareSet(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:9416
Abc_CommandRewrite
static int Abc_CommandRewrite(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:5765
Abc_CommandPrintSharing
static int Abc_CommandPrintSharing(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:2204
Abc_CommandPSat
static int Abc_CommandPSat(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:21605
Abc_CommandMiter
static int Abc_CommandMiter(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:6723
Abc_CommandAbc9BalanceLut
static int Abc_CommandAbc9BalanceLut(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:28818
Abc_CommandAbc9Mf
static int Abc_CommandAbc9Mf(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:33019
Abc_CommandPrintLatch
static int Abc_CommandPrintLatch(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:1422
Abc_CommandAbc9ICheck
static int Abc_CommandAbc9ICheck(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:36003
Dar_LibStart
void Dar_LibStart()
MACRO DEFINITIONS ///.
Definition: darLib.c:593
Abc_CommandBackup
static int Abc_CommandBackup(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:13222
Abc_CommandAbc9PSig
static int Abc_CommandAbc9PSig(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:26418
Abc_CommandTestDec
static int Abc_CommandTestDec(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:5497
Abc_CommandIStrash
static int Abc_CommandIStrash(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:11249
Abc_CommandTestNpn
static int Abc_CommandTestNpn(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:5587
Abc_CommandProve
static int Abc_CommandProve(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:21764
Abc_CommandFraigSweep
static int Abc_CommandFraigSweep(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:13731
Abc_CommandBmc3
static int Abc_CommandBmc3(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:22353
Abc_CommandPrintDsd
static int Abc_CommandPrintDsd(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:2308
Abc_CommandAbc9CexInfo
static int Abc_CommandAbc9CexInfo(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:34844
Abc_CommandTest
static int Abc_CommandTest(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:10645
Abc_CommandAbSec
static int Abc_CommandAbSec(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:20939
Abc_CommandRefactor
static int Abc_CommandRefactor(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:5868
Abc_CommandExdcFree
static int Abc_CommandExdcFree(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:9223
Abc_CommandAbc9Frames
static int Abc_CommandAbc9Frames(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:28179
Abc_CommandEspresso
static int Abc_CommandEspresso(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:9779
Abc_CommandAbc9Scorr
static int Abc_CommandAbc9Scorr(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:29767
Abc_CommandMinisat
static int Abc_CommandMinisat(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:13299
Abc_CommandAbc9Embed
static int Abc_CommandAbc9Embed(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:31201
Abc_CommandAbc9Strash
static int Abc_CommandAbc9Strash(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:26659
Abc_CommandAbc9Dch
static int Abc_CommandAbc9Dch(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:33757
Abc_CommandBmcInter
static int Abc_CommandBmcInter(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:22634
Abc_CommandPrintStatus
static int Abc_CommandPrintStatus(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:2540
Abc_CommandPrintAuto
static int Abc_CommandPrintAuto(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:1981
Abc_CommandIso
static int Abc_CommandIso(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:25205
Abc_CommandDualRail
static int Abc_CommandDualRail(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:25004
Abc_CommandFold
static int Abc_CommandFold(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:23762
Abc_CommandAbc9Iff
static int Abc_CommandAbc9Iff(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:32225
Abc_CommandQbf
static int Abc_CommandQbf(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:12909
Abc_CommandCexSave
static int Abc_CommandCexSave(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:24590
Abc_CommandAbc9Filter
static int Abc_CommandAbc9Filter(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:30555
Abc_CommandAbc9Bmc
static int Abc_CommandAbc9Bmc(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:35658
Abc_CommandCec
static int Abc_CommandCec(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: abc.c:20213
void Cba_End ( Abc_Frame_t *  pAbc)

Function********************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 75 of file cbaCom.c.

76 {
77  Cba_AbcFreeNtk( pAbc );
78 }
Cba_AbcFreeNtk
static void Cba_AbcFreeNtk(Abc_Frame_t *pAbc)
Definition: cbaCom.c:37
void Cba_Init ( Abc_Frame_t *  pAbc)

FUNCTION DEFINITIONS ///.

Function********************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 55 of file cbaCom.c.

56 {
57  Cmd_CommandAdd( pAbc, "New word level", "@read", Cba_CommandRead, 0 );
58  Cmd_CommandAdd( pAbc, "New word level", "@write", Cba_CommandWrite, 0 );
59  Cmd_CommandAdd( pAbc, "New word level", "@ps", Cba_CommandPs, 0 );
60  Cmd_CommandAdd( pAbc, "New word level", "@blast", Cba_CommandBlast, 0 );
61  Cmd_CommandAdd( pAbc, "New word level", "@test", Cba_CommandTest, 0 );
62 }
Cba_CommandRead
static ABC_NAMESPACE_IMPL_START int Cba_CommandRead(Abc_Frame_t *pAbc, int argc, char **argv)
DECLARATIONS ///.
Definition: cbaCom.c:92
Cmd_CommandAdd
void Cmd_CommandAdd(Abc_Frame_t *pAbc, const char *sGroup, const char *sName, Cmd_CommandFuncType pFunc, int fChanges)
Definition: cmdApi.c:63
Cba_CommandBlast
static int Cba_CommandBlast(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: cbaCom.c:251
Cba_CommandTest
static int Cba_CommandTest(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: cbaCom.c:315
Cba_CommandPs
static int Cba_CommandPs(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: cbaCom.c:207
Cba_CommandWrite
static int Cba_CommandWrite(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: cbaCom.c:152
void Cmd_End ( Abc_Frame_t *  pAbc)

Function********************************************************************

Synopsis [Ends the command package.]

Description [Ends the command package. Tables are freed.]

SideEffects []

SeeAlso []

Definition at line 127 of file cmd.c.

128 {
129  st__generator * gen;
130  char * pKey, * pValue;
131  Cmd_HistoryWrite( pAbc, ABC_INFINITY );
132 
133 // st__free_table( pAbc->tCommands, (void (*)()) 0, CmdCommandFree );
134 // st__free_table( pAbc->tAliases, (void (*)()) 0, CmdCommandAliasFree );
135 // st__free_table( pAbc->tFlags, free, free );
136 
137  st__foreach_item( pAbc->tCommands, gen, (const char **)&pKey, (char **)&pValue )
138  CmdCommandFree( (Abc_Command *)pValue );
139  st__free_table( pAbc->tCommands );
140 
141  st__foreach_item( pAbc->tAliases, gen, (const char **)&pKey, (char **)&pValue )
142  CmdCommandAliasFree( (Abc_Alias *)pValue );
143  st__free_table( pAbc->tAliases );
144 
145  st__foreach_item( pAbc->tFlags, gen, (const char **)&pKey, (char **)&pValue )
146  ABC_FREE( pKey ), ABC_FREE( pValue );
147  st__free_table( pAbc->tFlags );
148 
149  Vec_PtrFreeFree( pAbc->aHistory );
150 }
st__free_table
void st__free_table(st__table *table)
Definition: st.c:81
Abc_Command
typedefABC_NAMESPACE_HEADER_START struct MvCommand Abc_Command
INCLUDES ///.
Definition: cmd.h:39
MvAlias
Definition: cmdInt.h:51
CmdCommandAliasFree
void CmdCommandAliasFree(Abc_Alias *pAlias)
Definition: cmdAlias.c:113
Vec_PtrFreeFree
static void Vec_PtrFreeFree(Vec_Ptr_t *p)
Definition: vecPtr.h:569
CmdCommandFree
void CmdCommandFree(Abc_Command *pCommand)
Definition: cmdUtils.c:535
ABC_FREE
#define ABC_FREE(obj)
Definition: abc_global.h:232
ABC_INFINITY
#define ABC_INFINITY
MACRO DEFINITIONS ///.
Definition: abc_global.h:216
st__foreach_item
#define st__foreach_item(table, gen, key, value)
Definition: st.h:107
const
#define const
Definition: zconf.h:196
Cmd_HistoryWrite
void Cmd_HistoryWrite(Abc_Frame_t *p, int Limit)
Definition: cmdHist.c:131
st__generator
Definition: st.h:64
void Cmd_Init ( Abc_Frame_t *  pAbc)

FUNCTION DEFINITIONS ///.

MACRO DEFINITIONS ///.

Function********************************************************************

Synopsis [Initializes the command package.]

SideEffects [Commands are added to the command table.]

SeeAlso [Cmd_End]

Definition at line 79 of file cmd.c.

80 {
81  pAbc->tCommands = st__init_table(strcmp, st__strhash);
82  pAbc->tAliases = st__init_table(strcmp, st__strhash);
83  pAbc->tFlags = st__init_table(strcmp, st__strhash);
84  pAbc->aHistory = Vec_PtrAlloc( 100 );
85  Cmd_HistoryRead( pAbc );
86 
87  Cmd_CommandAdd( pAbc, "Basic", "time", CmdCommandTime, 0 );
88  Cmd_CommandAdd( pAbc, "Basic", "echo", CmdCommandEcho, 0 );
89  Cmd_CommandAdd( pAbc, "Basic", "quit", CmdCommandQuit, 0 );
90  Cmd_CommandAdd( pAbc, "Basic", "history", CmdCommandHistory, 0 );
91  Cmd_CommandAdd( pAbc, "Basic", "alias", CmdCommandAlias, 0 );
92  Cmd_CommandAdd( pAbc, "Basic", "unalias", CmdCommandUnalias, 0 );
93  Cmd_CommandAdd( pAbc, "Basic", "help", CmdCommandHelp, 0 );
94  Cmd_CommandAdd( pAbc, "Basic", "source", CmdCommandSource, 0 );
95  Cmd_CommandAdd( pAbc, "Basic", "set", CmdCommandSetVariable, 0 );
96  Cmd_CommandAdd( pAbc, "Basic", "unset", CmdCommandUnsetVariable, 0 );
97  Cmd_CommandAdd( pAbc, "Basic", "undo", CmdCommandUndo, 0 );
98  Cmd_CommandAdd( pAbc, "Basic", "recall", CmdCommandRecall, 0 );
99  Cmd_CommandAdd( pAbc, "Basic", "empty", CmdCommandEmpty, 0 );
100 #if defined(WIN32) && !defined(__cplusplus)
101  Cmd_CommandAdd( pAbc, "Basic", "scandir", CmdCommandScanDir, 0 );
102  Cmd_CommandAdd( pAbc, "Basic", "renamefiles", CmdCommandRenameFiles, 0 );
103  Cmd_CommandAdd( pAbc, "Basic", "ls", CmdCommandLs, 0 );
104  Cmd_CommandAdd( pAbc, "Basic", "scrgen", CmdCommandScrGen, 0 );
105 #endif
106  Cmd_CommandAdd( pAbc, "Basic", "version", CmdCommandVersion, 0 );
107 
108  Cmd_CommandAdd( pAbc, "Various", "sis", CmdCommandSis, 1 );
109  Cmd_CommandAdd( pAbc, "Various", "mvsis", CmdCommandMvsis, 1 );
110  Cmd_CommandAdd( pAbc, "Various", "capo", CmdCommandCapo, 0 );
111  Cmd_CommandAdd( pAbc, "Various", "starter", CmdCommandStarter, 0 );
112 
113  Cmd_CommandAdd( pAbc, "Various", "load_plugin", Cmd_CommandAbcLoadPlugIn, 0 );
114 }
CmdCommandTime
static ABC_NAMESPACE_IMPL_START int CmdCommandTime(Abc_Frame_t *pAbc, int argc, char **argv)
DECLARATIONS ///.
Definition: cmd.c:165
CmdCommandSource
static int CmdCommandSource(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: cmd.c:555
CmdCommandRecall
static int CmdCommandRecall(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: cmd.c:927
Cmd_CommandAdd
void Cmd_CommandAdd(Abc_Frame_t *pAbc, const char *sGroup, const char *sName, Cmd_CommandFuncType pFunc, int fChanges)
Definition: cmdApi.c:63
CmdCommandSetVariable
static int CmdCommandSetVariable(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: cmd.c:738
Cmd_CommandAbcLoadPlugIn
int Cmd_CommandAbcLoadPlugIn(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: cmdPlugin.c:642
strcmp
int strcmp()
st__init_table
st__table * st__init_table(st__compare_func_type compare, st__hash_func_type hash)
Definition: st.c:72
CmdCommandVersion
static int CmdCommandVersion(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: cmd.c:2469
st__strhash
int st__strhash(const char *string, int modulus)
Definition: st.c:449
CmdCommandHelp
static int CmdCommandHelp(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: cmd.c:501
CmdCommandCapo
static int CmdCommandCapo(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: cmd.c:2201
CmdCommandQuit
static int CmdCommandQuit(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: cmd.c:288
CmdCommandMvsis
static int CmdCommandMvsis(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: cmd.c:1992
CmdCommandEmpty
static int CmdCommandEmpty(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: cmd.c:1043
Cmd_HistoryRead
void Cmd_HistoryRead(Abc_Frame_t *p)
Definition: cmdHist.c:100
CmdCommandUnalias
static int CmdCommandUnalias(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: cmd.c:449
Vec_PtrAlloc
static Vec_Ptr_t * Vec_PtrAlloc(int nCap)
FUNCTION DEFINITIONS ///.
Definition: vecPtr.h:83
CmdCommandEcho
static int CmdCommandEcho(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: cmd.c:232
CmdCommandAlias
static int CmdCommandAlias(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: cmd.c:392
CmdCommandSis
static int CmdCommandSis(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: cmd.c:1850
CmdCommandUnsetVariable
static int CmdCommandUnsetVariable(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: cmd.c:838
CmdCommandHistory
static int CmdCommandHistory(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: cmd.c:347
CmdCommandStarter
static int CmdCommandStarter(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: cmd.c:2384
CmdCommandUndo
static int CmdCommandUndo(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: cmd.c:893
void If_End ( Abc_Frame_t *  pAbc)

Function*************************************************************

Synopsis [Package ending procedure.]

Description []

SideEffects []

SeeAlso []

Definition at line 75 of file ifCom.c.

76 {
77  If_LibLutFree( (If_LibLut_t *) Abc_FrameReadLibLut() );
78  If_LibBoxFree( (If_LibBox_t *)Abc_FrameReadLibBox() );
79 }
If_LibBoxFree
void If_LibBoxFree(If_LibBox_t *p)
Definition: ifLibBox.c:98
Abc_FrameReadLibBox
ABC_DLL void * Abc_FrameReadLibBox()
Definition: mainFrame.c:55
If_LibBox_t_
Definition: if.h:350
If_LibLut_t_
Definition: if.h:170
If_LibLutFree
void If_LibLutFree(If_LibLut_t *pLutLib)
Definition: ifLibLut.c:173
Abc_FrameReadLibLut
ABC_DLL void * Abc_FrameReadLibLut()
Definition: mainFrame.c:54
void If_Init ( Abc_Frame_t *  pAbc)

FUNCTION DEFINITIONS ///.

Function*************************************************************

Synopsis [Package initialization procedure.]

Description []

SideEffects []

SeeAlso []

Definition at line 51 of file ifCom.c.

52 {
53  // set the default library
54  If_LibLut_t s_LutLib = { "lutlib", 4, 0, {0,1,1,1,1}, {{0},{1},{1},{1},{1}} };
55  Abc_FrameSetLibLut( If_LibLutDup(&s_LutLib) );
56 
57  Cmd_CommandAdd( pAbc, "FPGA mapping", "read_lut", If_CommandReadLut, 0 );
58  Cmd_CommandAdd( pAbc, "FPGA mapping", "print_lut", If_CommandPrintLut, 0 );
59 
60  Cmd_CommandAdd( pAbc, "FPGA mapping", "read_box", If_CommandReadBox, 0 );
61  Cmd_CommandAdd( pAbc, "FPGA mapping", "print_box", If_CommandPrintBox, 0 );
62 }
If_CommandPrintBox
static int If_CommandPrintBox(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: ifCom.c:321
If_CommandReadBox
static int If_CommandReadBox(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: ifCom.c:237
Abc_FrameSetLibLut
ABC_DLL void Abc_FrameSetLibLut(void *pLib)
Definition: mainFrame.c:80
Cmd_CommandAdd
void Cmd_CommandAdd(Abc_Frame_t *pAbc, const char *sGroup, const char *sName, Cmd_CommandFuncType pFunc, int fChanges)
Definition: cmdApi.c:63
If_CommandPrintLut
static int If_CommandPrintLut(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: ifCom.c:182
If_LibLutDup
If_LibLut_t * If_LibLutDup(If_LibLut_t *p)
Definition: ifLibLut.c:153
If_CommandReadLut
static ABC_NAMESPACE_IMPL_START int If_CommandReadLut(Abc_Frame_t *pAbc, int argc, char **argv)
DECLARATIONS ///.
Definition: ifCom.c:92
If_LibLut_t_
Definition: if.h:170
void Io_End ( Abc_Frame_t *  pAbc)

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 153 of file io.c.

154 {
155 }
void Io_Init ( Abc_Frame_t *  pAbc)

FUNCTION DEFINITIONS ///.

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 95 of file io.c.

96 {
97  Cmd_CommandAdd( pAbc, "I/O", "read", IoCommandRead, 1 );
98  Cmd_CommandAdd( pAbc, "I/O", "read_aiger", IoCommandReadAiger, 1 );
99  Cmd_CommandAdd( pAbc, "I/O", "read_baf", IoCommandReadBaf, 1 );
100  Cmd_CommandAdd( pAbc, "I/O", "read_bblif", IoCommandReadBblif, 1 );
101  Cmd_CommandAdd( pAbc, "I/O", "read_blif", IoCommandReadBlif, 1 );
102  Cmd_CommandAdd( pAbc, "I/O", "read_blif_mv", IoCommandReadBlifMv, 1 );
103  Cmd_CommandAdd( pAbc, "I/O", "read_bench", IoCommandReadBench, 1 );
104  Cmd_CommandAdd( pAbc, "I/O", "read_dsd", IoCommandReadDsd, 1 );
105 // Cmd_CommandAdd( pAbc, "I/O", "read_edif", IoCommandReadEdif, 1 );
106  Cmd_CommandAdd( pAbc, "I/O", "read_eqn", IoCommandReadEqn, 1 );
107  Cmd_CommandAdd( pAbc, "I/O", "read_init", IoCommandReadInit, 1 );
108  Cmd_CommandAdd( pAbc, "I/O", "read_pla", IoCommandReadPla, 1 );
109  Cmd_CommandAdd( pAbc, "I/O", "read_truth", IoCommandReadTruth, 1 );
110  Cmd_CommandAdd( pAbc, "I/O", "read_verilog", IoCommandReadVerilog, 1 );
111  Cmd_CommandAdd( pAbc, "I/O", "read_status", IoCommandReadStatus, 0 );
112  Cmd_CommandAdd( pAbc, "I/O", "&read_gig", IoCommandReadGig, 0 );
113 
114  Cmd_CommandAdd( pAbc, "I/O", "write", IoCommandWrite, 0 );
115  Cmd_CommandAdd( pAbc, "I/O", "write_hie", IoCommandWriteHie, 0 );
116  Cmd_CommandAdd( pAbc, "I/O", "write_aiger", IoCommandWriteAiger, 0 );
117  Cmd_CommandAdd( pAbc, "I/O", "write_aiger_cex", IoCommandWriteAigerCex, 0 );
118  Cmd_CommandAdd( pAbc, "I/O", "write_baf", IoCommandWriteBaf, 0 );
119  Cmd_CommandAdd( pAbc, "I/O", "write_bblif", IoCommandWriteBblif, 0 );
120  Cmd_CommandAdd( pAbc, "I/O", "write_blif", IoCommandWriteBlif, 0 );
121  Cmd_CommandAdd( pAbc, "I/O", "write_blif_mv", IoCommandWriteBlifMv, 0 );
122  Cmd_CommandAdd( pAbc, "I/O", "write_bench", IoCommandWriteBench, 0 );
123  Cmd_CommandAdd( pAbc, "I/O", "write_book", IoCommandWriteBook, 0 );
124  Cmd_CommandAdd( pAbc, "I/O", "write_cellnet", IoCommandWriteCellNet, 0 );
125  Cmd_CommandAdd( pAbc, "I/O", "write_cex", IoCommandWriteCex, 0 );
126  Cmd_CommandAdd( pAbc, "I/O", "write_cnf", IoCommandWriteCnf, 0 );
127  Cmd_CommandAdd( pAbc, "I/O", "&write_cnf", IoCommandWriteCnf2, 0 );
128  Cmd_CommandAdd( pAbc, "I/O", "write_dot", IoCommandWriteDot, 0 );
129  Cmd_CommandAdd( pAbc, "I/O", "write_eqn", IoCommandWriteEqn, 0 );
130  Cmd_CommandAdd( pAbc, "I/O", "write_gml", IoCommandWriteGml, 0 );
131 // Cmd_CommandAdd( pAbc, "I/O", "write_list", IoCommandWriteList, 0 );
132  Cmd_CommandAdd( pAbc, "I/O", "write_pla", IoCommandWritePla, 0 );
133  Cmd_CommandAdd( pAbc, "I/O", "write_verilog", IoCommandWriteVerilog, 0 );
134 // Cmd_CommandAdd( pAbc, "I/O", "write_verlib", IoCommandWriteVerLib, 0 );
135  Cmd_CommandAdd( pAbc, "I/O", "write_sorter_cnf", IoCommandWriteSortCnf, 0 );
136  Cmd_CommandAdd( pAbc, "I/O", "write_truth", IoCommandWriteTruth, 0 );
137  Cmd_CommandAdd( pAbc, "I/O", "&write_truths", IoCommandWriteTruths, 0 );
138  Cmd_CommandAdd( pAbc, "I/O", "write_status", IoCommandWriteStatus, 0 );
139  Cmd_CommandAdd( pAbc, "I/O", "write_smv", IoCommandWriteSmv, 0 );
140 }
IoCommandReadTruth
static int IoCommandReadTruth(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:976
IoCommandWriteDot
static int IoCommandWriteDot(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:2065
IoCommandReadBblif
static int IoCommandReadBblif(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:404
IoCommandWriteVerilog
static int IoCommandWriteVerilog(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:2527
IoCommandWriteAigerCex
static int IoCommandWriteAigerCex(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:1438
IoCommandWriteBblif
static int IoCommandWriteBblif(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:1532
IoCommandWriteEqn
static int IoCommandWriteEqn(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:2319
IoCommandReadBlifMv
static int IoCommandReadBlifMv(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:551
IoCommandReadEqn
static int IoCommandReadEqn(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:779
IoCommandReadGig
static int IoCommandReadGig(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:1169
IoCommandWritePla
static int IoCommandWritePla(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:2479
IoCommandReadInit
static int IoCommandReadInit(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:834
IoCommandWriteGml
static int IoCommandWriteGml(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:2367
Cmd_CommandAdd
void Cmd_CommandAdd(Abc_Frame_t *pAbc, const char *sGroup, const char *sName, Cmd_CommandFuncType pFunc, int fChanges)
Definition: cmdApi.c:63
IoCommandReadBlif
static int IoCommandReadBlif(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:459
IoCommandWrite
static int IoCommandWrite(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:1227
IoCommandWriteBlifMv
static int IoCommandWriteBlifMv(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:1656
IoCommandWriteBlif
static int IoCommandWriteBlif(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:1580
IoCommandWriteCnf
static int IoCommandWriteCnf(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:1868
IoCommandReadStatus
static int IoCommandReadStatus(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:1113
IoCommandWriteBaf
static int IoCommandWriteBaf(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:1484
IoCommandWriteSortCnf
static int IoCommandWriteSortCnf(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:2575
IoCommandReadAiger
static int IoCommandReadAiger(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:294
IoCommandWriteBench
static int IoCommandWriteBench(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:1704
IoCommandReadDsd
static int IoCommandReadDsd(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:662
IoCommandWriteCellNet
static int IoCommandWriteCellNet(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:1812
IoCommandReadBench
static int IoCommandReadBench(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:607
IoCommandWriteBook
static int IoCommandWriteBook(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:1769
IoCommandWriteTruths
static int IoCommandWriteTruths(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:2742
IoCommandWriteCnf2
static int IoCommandWriteCnf2(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:1960
IoCommandReadVerilog
static int IoCommandReadVerilog(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:1048
IoCommandWriteStatus
static int IoCommandWriteStatus(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:2830
IoCommandWriteSmv
static int IoCommandWriteSmv(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:2873
IoCommandWriteTruth
static int IoCommandWriteTruth(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:2645
IoCommandWriteAiger
static int IoCommandWriteAiger(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:1348
IoCommandReadPla
static int IoCommandReadPla(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:902
IoCommandWriteHie
static int IoCommandWriteHie(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:1291
IoCommandReadBaf
static int IoCommandReadBaf(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:349
IoCommandWriteCex
static int IoCommandWriteCex(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: io.c:2120
IoCommandRead
static ABC_NAMESPACE_IMPL_START int IoCommandRead(Abc_Frame_t *pAbc, int argc, char **argv)
DECLARATIONS ///.
Definition: io.c:168
void Libs_End ( Abc_Frame_t *  pAbc)

Definition at line 199 of file libSupport.c.

200 {
201  call_ends(pAbc);
202 
203  // It's good practice to close our libraries at this point, but this can mess up any backtrace printed by Valgind.
204  // close_libs();
205 }
call_ends
void call_ends(Abc_Frame_t *pAbc)
Definition: libSupport.c:180
void Libs_Init ( Abc_Frame_t *  pAbc)

Definition at line 193 of file libSupport.c.

194 {
195  open_libs();
196  call_inits(pAbc);
197 }
open_libs
void open_libs()
Definition: libSupport.c:55
call_inits
void call_inits(Abc_Frame_t *pAbc)
Definition: libSupport.c:164
void Load_End ( Abc_Frame_t *  pAbc)

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 217 of file cmdLoad.c.

218 {
219 }
void Load_Init ( Abc_Frame_t *  pAbc)

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 182 of file cmdLoad.c.

183 {
184  Vec_Ptr_t * vFileNames;
185  char * pName, * pStop;
186  int i;
187  vFileNames = CmdCollectFileNames();
188  if ( vFileNames == NULL )
189  return;
190  Vec_PtrForEachEntry( char *, vFileNames, pName, i )
191  {
192  if ( strncmp( pName, "abccmd_", 7 ) )
193  continue;
194  // get the command name
195 // pName[6] = '!';
196  pStop = strstr( pName + 7, "." );
197  if ( pStop )
198  *pStop = 0;
199  // add the command
200  Cmd_CommandAdd( pAbc, "ZZ", pName+7, CmdCommandLoad, 0 );
201 // printf( "Loaded command \"%s\"\n", pName+7 );
202  }
203  Vec_PtrFreeFree( vFileNames );
204 }
Vec_Ptr_t
typedefABC_NAMESPACE_HEADER_START struct Vec_Ptr_t_ Vec_Ptr_t
INCLUDES ///.
Definition: vecPtr.h:42
CmdCommandLoad
ABC_NAMESPACE_IMPL_START int CmdCommandLoad(Abc_Frame_t *pAbc, int argc, char **argv)
DECLARATIONS ///.
Definition: cmdLoad.c:48
Vec_PtrFreeFree
static void Vec_PtrFreeFree(Vec_Ptr_t *p)
Definition: vecPtr.h:569
Cmd_CommandAdd
void Cmd_CommandAdd(Abc_Frame_t *pAbc, const char *sGroup, const char *sName, Cmd_CommandFuncType pFunc, int fChanges)
Definition: cmdApi.c:63
strstr
char * strstr()
CmdCollectFileNames
Vec_Ptr_t * CmdCollectFileNames()
Definition: cmdLoad.c:163
strncmp
int strncmp()
Vec_PtrForEachEntry
#define Vec_PtrForEachEntry(Type, vVec, pEntry, i)
MACRO DEFINITIONS ///.
Definition: vecPtr.h:55
void Map_End ( Abc_Frame_t *  pAbc)

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 64 of file mapper.c.

65 {
66 // Map_SuperLibFree( s_pSuperLib );
67  Map_SuperLibFree( (Map_SuperLib_t *)Abc_FrameReadLibSuper() );
68 }
Map_SuperLibFree
void Map_SuperLibFree(Map_SuperLib_t *p)
Definition: mapperLib.c:167
Map_SuperLibStruct_t_
Definition: mapperInt.h:165
Abc_FrameReadLibSuper
ABC_DLL void * Abc_FrameReadLibSuper()
Definition: mainFrame.c:58
void Map_Init ( Abc_Frame_t *  pAbc)

FUNCTION DEFINITIONS ///.

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 48 of file mapper.c.

49 {
50  Cmd_CommandAdd( pAbc, "SC mapping", "read_super", Map_CommandReadLibrary, 0 );
51 }
Cmd_CommandAdd
void Cmd_CommandAdd(Abc_Frame_t *pAbc, const char *sGroup, const char *sName, Cmd_CommandFuncType pFunc, int fChanges)
Definition: cmdApi.c:63
Map_CommandReadLibrary
static ABC_NAMESPACE_IMPL_START int Map_CommandReadLibrary(Abc_Frame_t *pAbc, int argc, char **argv)
DECLARATIONS ///.
Definition: mapper.c:82
void Mio_End ( Abc_Frame_t *  pAbc)

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 107 of file mio.c.

108 {
109  Mio_LibraryDelete( (Mio_Library_t *)Abc_FrameReadLibGen() );
110  Amap_LibFree( (Amap_Lib_t *)Abc_FrameReadLibGen2() );
111 }
Abc_FrameReadLibGen
ABC_DLL void * Abc_FrameReadLibGen()
Definition: mainFrame.c:56
Abc_FrameReadLibGen2
ABC_DLL void * Abc_FrameReadLibGen2()
Definition: mainFrame.c:57
Mio_LibraryDelete
void Mio_LibraryDelete(Mio_Library_t *pLib)
DECLARATIONS ///.
Definition: mioUtils.c:48
Amap_LibFree
void Amap_LibFree(Amap_Lib_t *p)
Definition: amapLib.c:67
Mio_LibraryStruct_t_
STRUCTURE DEFINITIONS ///.
Definition: mioInt.h:61
Amap_Lib_t
typedefABC_NAMESPACE_HEADER_START struct Amap_Lib_t_ Amap_Lib_t
INCLUDES ///.
Definition: amap.h:42
void Mio_Init ( Abc_Frame_t *  pAbc)

FUNCTION DEFINITIONS ///.

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 83 of file mio.c.

84 {
85 // Cmd_CommandAdd( pAbc, "SC mapping", "read_liberty", Mio_CommandReadLiberty, 0 );
86 
87  Cmd_CommandAdd( pAbc, "SC mapping", "read_genlib", Mio_CommandReadGenlib, 0 );
88  Cmd_CommandAdd( pAbc, "SC mapping", "write_genlib", Mio_CommandWriteGenlib, 0 );
89  Cmd_CommandAdd( pAbc, "SC mapping", "print_genlib", Mio_CommandPrintGenlib, 0 );
90 
91  Cmd_CommandAdd( pAbc, "SC mapping", "read_library", Mio_CommandReadGenlib, 0 );
92  Cmd_CommandAdd( pAbc, "SC mapping", "write_library", Mio_CommandWriteGenlib, 0 );
93  Cmd_CommandAdd( pAbc, "SC mapping", "print_library", Mio_CommandPrintGenlib, 0 );
94 }
Cmd_CommandAdd
void Cmd_CommandAdd(Abc_Frame_t *pAbc, const char *sGroup, const char *sName, Cmd_CommandFuncType pFunc, int fChanges)
Definition: cmdApi.c:63
Mio_CommandPrintGenlib
static int Mio_CommandPrintGenlib(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: mio.c:471
Mio_CommandReadGenlib
static int Mio_CommandReadGenlib(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: mio.c:276
Mio_CommandWriteGenlib
static int Mio_CommandWriteGenlib(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: mio.c:399
void Scl_End ( Abc_Frame_t *  pAbc)

Definition at line 115 of file scl.c.

116 {
117  Abc_SclLoad( NULL, (SC_Lib **)&pAbc->pLibScl );
118 }
Abc_SclLoad
void Abc_SclLoad(SC_Lib *pLib, SC_Lib **ppScl)
FUNCTION DEFINITIONS ///.
Definition: scl.c:68
SC_Lib_
Definition: sclLib.h:202
void Scl_Init ( Abc_Frame_t *  pAbc)

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 91 of file scl.c.

92 {
93  Cmd_CommandAdd( pAbc, "SCL mapping", "read_lib", Scl_CommandReadLib, 0 );
94  Cmd_CommandAdd( pAbc, "SCL mapping", "write_lib", Scl_CommandWriteLib, 0 );
95  Cmd_CommandAdd( pAbc, "SCL mapping", "print_lib", Scl_CommandPrintLib, 0 );
96  Cmd_CommandAdd( pAbc, "SCL mapping", "leak2area", Scl_CommandLeak2Area, 0 );
97  Cmd_CommandAdd( pAbc, "SCL mapping", "read_scl", Scl_CommandReadScl, 0 );
98  Cmd_CommandAdd( pAbc, "SCL mapping", "write_scl", Scl_CommandWriteScl, 0 );
99  Cmd_CommandAdd( pAbc, "SCL mapping", "dump_genlib", Scl_CommandDumpGen, 0 );
100  Cmd_CommandAdd( pAbc, "SCL mapping", "print_gs", Scl_CommandPrintGS, 0 );
101  Cmd_CommandAdd( pAbc, "SCL mapping", "stime", Scl_CommandStime, 0 );
102  Cmd_CommandAdd( pAbc, "SCL mapping", "topo", Scl_CommandTopo, 1 );
103  Cmd_CommandAdd( pAbc, "SCL mapping", "unbuffer", Scl_CommandUnBuffer, 1 );
104  Cmd_CommandAdd( pAbc, "SCL mapping", "buffer", Scl_CommandBuffer, 1 );
105 // Cmd_CommandAdd( pAbc, "SCL mapping", "_buffer", Scl_CommandBufferOld, 1 );
106  Cmd_CommandAdd( pAbc, "SCL mapping", "minsize", Scl_CommandMinsize, 1 );
107  Cmd_CommandAdd( pAbc, "SCL mapping", "maxsize", Scl_CommandMaxsize, 1 );
108  Cmd_CommandAdd( pAbc, "SCL mapping", "upsize", Scl_CommandUpsize, 1 );
109  Cmd_CommandAdd( pAbc, "SCL mapping", "dnsize", Scl_CommandDnsize, 1 );
110  Cmd_CommandAdd( pAbc, "SCL mapping", "print_buf", Scl_CommandPrintBuf, 0 );
111  Cmd_CommandAdd( pAbc, "SCL mapping", "read_constr", Scl_CommandReadConstr, 0 );
112  Cmd_CommandAdd( pAbc, "SCL mapping", "print_constr", Scl_CommandPrintConstr, 0 );
113  Cmd_CommandAdd( pAbc, "SCL mapping", "reset_constr", Scl_CommandResetConstr, 0 );
114 }
Scl_CommandPrintBuf
static int Scl_CommandPrintBuf(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: scl.c:1730
Scl_CommandPrintConstr
static int Scl_CommandPrintConstr(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: scl.c:1847
Scl_CommandReadConstr
static int Scl_CommandReadConstr(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: scl.c:1792
Scl_CommandStime
static int Scl_CommandStime(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: scl.c:725
Scl_CommandPrintGS
static int Scl_CommandPrintGS(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: scl.c:672
Scl_CommandPrintLib
static int Scl_CommandPrintLib(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: scl.c:311
Scl_CommandReadScl
static int Scl_CommandReadScl(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: scl.c:461
Scl_CommandLeak2Area
static int Scl_CommandLeak2Area(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: scl.c:389
Cmd_CommandAdd
void Cmd_CommandAdd(Abc_Frame_t *pAbc, const char *sGroup, const char *sName, Cmd_CommandFuncType pFunc, int fChanges)
Definition: cmdApi.c:63
Scl_CommandReadLib
static ABC_NAMESPACE_IMPL_START int Scl_CommandReadLib(Abc_Frame_t *pAbc, int argc, char **argv)
DECLARATIONS ///.
Definition: scl.c:133
Scl_CommandTopo
static int Scl_CommandTopo(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: scl.c:816
Scl_CommandUpsize
static int Scl_CommandUpsize(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: scl.c:1343
Scl_CommandDumpGen
static int Scl_CommandDumpGen(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: scl.c:585
Scl_CommandResetConstr
static int Scl_CommandResetConstr(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: scl.c:1888
Scl_CommandBuffer
static int Scl_CommandBuffer(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: scl.c:941
Scl_CommandDnsize
static int Scl_CommandDnsize(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: scl.c:1556
Scl_CommandUnBuffer
static int Scl_CommandUnBuffer(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: scl.c:877
Scl_CommandMaxsize
static int Scl_CommandMaxsize(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: scl.c:1281
Scl_CommandWriteLib
static int Scl_CommandWriteLib(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: scl.c:255
Scl_CommandWriteScl
static int Scl_CommandWriteScl(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: scl.c:529
Scl_CommandMinsize
static int Scl_CommandMinsize(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: scl.c:1219
void Super_End ( Abc_Frame_t *  pAbc)

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 65 of file super.c.

66 {
67 }
void Super_Init ( Abc_Frame_t *  pAbc)

FUNCTION DEFINITIONS ///.

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 48 of file super.c.

49 {
50  Cmd_CommandAdd( pAbc, "SC mapping", "super", Super_CommandSupergates, 0 );
51  Cmd_CommandAdd( pAbc, "SC mapping", "super2", Super_CommandSupergatesAnd, 0 );
52 }
Cmd_CommandAdd
void Cmd_CommandAdd(Abc_Frame_t *pAbc, const char *sGroup, const char *sName, Cmd_CommandFuncType pFunc, int fChanges)
Definition: cmdApi.c:63
Super_CommandSupergates
static ABC_NAMESPACE_IMPL_START int Super_CommandSupergates(Abc_Frame_t *pAbc, int argc, char **argv)
DECLARATIONS ///.
Definition: super.c:150
Super_CommandSupergatesAnd
static int Super_CommandSupergatesAnd(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: super.c:82
void Test_End ( Abc_Frame_t *  pAbc)

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 60 of file test.c.

61 {
62 }
void Test_Init ( Abc_Frame_t *  pAbc)

DECLARATIONS ///.

CFile****************************************************************

FileName [test.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Template package.]

Synopsis []

Author []

Affiliation []

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

Revision [

Id:
test.c,v 1.00 2005/06/20 00:00:00 alanmi Exp

]FUNCTION DEFINITIONS /// Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 45 of file test.c.

46 {
47 }
void Wlc_End ( Abc_Frame_t *  pAbc)

Function********************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 76 of file wlcCom.c.

77 {
78  Wlc_AbcFreeNtk( pAbc );
79 }
Wlc_AbcFreeNtk
static void Wlc_AbcFreeNtk(Abc_Frame_t *pAbc)
Definition: wlcCom.c:38
void Wlc_Init ( Abc_Frame_t *  pAbc)

FUNCTION DEFINITIONS ///.

Function********************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 56 of file wlcCom.c.

57 {
58  Cmd_CommandAdd( pAbc, "Word level", "%read_ver", Abc_CommandReadVer, 0 );
59  Cmd_CommandAdd( pAbc, "Word level", "%write_ver", Abc_CommandWriteVer, 0 );
60  Cmd_CommandAdd( pAbc, "Word level", "%ps", Abc_CommandPs, 0 );
61  Cmd_CommandAdd( pAbc, "Word level", "%blast", Abc_CommandBlast, 0 );
62  Cmd_CommandAdd( pAbc, "Word level", "%test", Abc_CommandTest, 0 );
63 }
Cmd_CommandAdd
void Cmd_CommandAdd(Abc_Frame_t *pAbc, const char *sGroup, const char *sName, Cmd_CommandFuncType pFunc, int fChanges)
Definition: cmdApi.c:63
Abc_CommandWriteVer
static int Abc_CommandWriteVer(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: wlcCom.c:153
Abc_CommandTest
static int Abc_CommandTest(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: wlcCom.c:335
Abc_CommandBlast
static int Abc_CommandBlast(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: wlcCom.c:271
Abc_CommandPs
static int Abc_CommandPs(Abc_Frame_t *pAbc, int argc, char **argv)
Definition: wlcCom.c:208
Abc_CommandReadVer
static ABC_NAMESPACE_IMPL_START int Abc_CommandReadVer(Abc_Frame_t *pAbc, int argc, char **argv)
DECLARATIONS ///.
Definition: wlcCom.c:93

Variable Documentation

Abc_FrameInitializer_t* s_InitializerEnd = NULL
static

Definition at line 62 of file mainInit.c.

Abc_FrameInitializer_t* s_InitializerStart = NULL
static

Definition at line 61 of file mainInit.c.