ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Functions
mainInit.c File Reference
#include "base/abc/abc.h"
#include "mainInt.h"
Include dependency graph for mainInit.c:

Go to the source code of this file.

Functions

ABC_NAMESPACE_IMPL_START void Abc_Init (Abc_Frame_t *pAbc)
 DECLARATIONS ///.
 
void Abc_End (Abc_Frame_t *pAbc)
 
void Io_Init (Abc_Frame_t *pAbc)
 FUNCTION DEFINITIONS ///.
 
void Io_End (Abc_Frame_t *pAbc)
 
void Cmd_Init (Abc_Frame_t *pAbc)
 FUNCTION DEFINITIONS ///.
 
void Cmd_End (Abc_Frame_t *pAbc)
 
void If_Init (Abc_Frame_t *pAbc)
 FUNCTION DEFINITIONS ///.
 
void If_End (Abc_Frame_t *pAbc)
 
void Map_Init (Abc_Frame_t *pAbc)
 FUNCTION DEFINITIONS ///.
 
void Map_End (Abc_Frame_t *pAbc)
 
void Mio_Init (Abc_Frame_t *pAbc)
 
void Mio_End (Abc_Frame_t *pAbc)
 
void Super_Init (Abc_Frame_t *pAbc)
 FUNCTION DEFINITIONS ///.
 
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 ///.
 
void Wlc_End (Abc_Frame_t *pAbc)
 
void Wln_Init (Abc_Frame_t *pAbc)
 FUNCTION DEFINITIONS ///.
 
void Wln_End (Abc_Frame_t *pAbc)
 
void Bac_Init (Abc_Frame_t *pAbc)
 
void Bac_End (Abc_Frame_t *pAbc)
 
void Cba_Init (Abc_Frame_t *pAbc)
 FUNCTION DEFINITIONS ///.
 
void Cba_End (Abc_Frame_t *pAbc)
 
void Pla_Init (Abc_Frame_t *pAbc)
 FUNCTION DEFINITIONS ///.
 
void Pla_End (Abc_Frame_t *pAbc)
 
void Sim_Init (Abc_Frame_t *pAbc)
 
void Sim_End (Abc_Frame_t *pAbc)
 
void Test_Init (Abc_Frame_t *pAbc)
 DECLARATIONS ///.
 
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 Glucose_Init (Abc_Frame_t *pAbc)
 FUNCTION DEFINITIONS ///.
 
void Glucose_End (Abc_Frame_t *pAbc)
 
void Glucose2_Init (Abc_Frame_t *pAbc)
 FUNCTION DEFINITIONS ///.
 
void Glucose2_End (Abc_Frame_t *pAbc)
 
void Abc_FrameAddInitializer (Abc_FrameInitializer_t *p)
 
void Abc_FrameInit (Abc_Frame_t *pAbc)
 FUNCTION DEFINITIONS ///.
 
void Abc_FrameEnd (Abc_Frame_t *pAbc)
 

Function Documentation

◆ Abc2_End()

void Abc2_End ( Abc_Frame_t * pAbc)
extern

◆ Abc2_Init()

void Abc2_Init ( Abc_Frame_t * pAbc)
extern

◆ Abc85_End()

void Abc85_End ( Abc_Frame_t * pAbc)
extern

◆ Abc85_Init()

void Abc85_Init ( Abc_Frame_t * pAbc)
extern

◆ Abc_End()

void Abc_End ( Abc_Frame_t * pAbc)
extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 1504 of file abc.c.

1505{
1506 extern Abc_Frame_t * Abc_FrameGetGlobalFrame();
1507 Abc_FrameClearDesign();
1508 Cnf_ManFree();
1509 {
1510 extern int Abc_NtkCompareAndSaveBest( Abc_Ntk_t * pNtk );
1511 Abc_NtkCompareAndSaveBest( NULL );
1512 }
1513 {
1514 extern void Dar_LibStop();
1515 Dar_LibStop();
1516 }
1517 {
1518 extern void Aig_RManQuit();
1519 Aig_RManQuit();
1520 }
1521 {
1522 extern void Npn_ManClean();
1523 Npn_ManClean();
1524 }
1525 {
1526 extern void Sdm_ManQuit();
1527 Sdm_ManQuit();
1528 }
1529 Abc_NtkFraigStoreClean();
1530 Gia_ManStopP( &pAbc->pGia );
1531 Gia_ManStopP( &pAbc->pGia2 );
1532 Gia_ManStopP( &pAbc->pGiaBest );
1533 Gia_ManStopP( &pAbc->pGiaBest2 );
1534 Gia_ManStopP( &pAbc->pGiaSaved );
1535 if ( Abc_NtkRecIsRunning3() )
1536 Abc_NtkRecStop3();
1537}
Npn_ManClean
void Npn_ManClean()
Definition abcNpnSave.c:649
Abc_NtkCompareAndSaveBest
int Abc_NtkCompareAndSaveBest(Abc_Ntk_t *pNtk)
FUNCTION DEFINITIONS ///.
Definition abcPrint.c:69
Abc_FrameClearDesign
void Abc_FrameClearDesign()
Definition abc.c:809
Abc_NtkRecStop3
ABC_DLL void Abc_NtkRecStop3()
Definition abcRec3.c:1421
Abc_NtkRecIsRunning3
ABC_DLL int Abc_NtkRecIsRunning3()
Definition abcRec3.c:1395
Abc_Ntk_t
struct Abc_Ntk_t_ Abc_Ntk_t
Definition abc.h:115
Abc_NtkFraigStoreClean
ABC_DLL void Abc_NtkFraigStoreClean()
Definition abcFraig.c:766
Abc_Frame_t
typedefABC_NAMESPACE_HEADER_START struct Abc_Frame_t_ Abc_Frame_t
INCLUDES ///.
Definition abcapis.h:38
Abc_FrameGetGlobalFrame
ABC_DLL Abc_Frame_t * Abc_FrameGetGlobalFrame()
Definition mainFrame.c:643
Aig_RManQuit
void Aig_RManQuit()
Definition aigCanon.c:283
Cnf_ManFree
void Cnf_ManFree()
Definition cnfCore.c:58
Dar_LibStop
void Dar_LibStop()
Definition darLib.c:615
Sdm_ManQuit
void Sdm_ManQuit()
Definition extraUtilDsd.c:1074
Gia_ManStopP
void Gia_ManStopP(Gia_Man_t **p)
Definition giaMan.c:224
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Abc_FrameAddInitializer()

void Abc_FrameAddInitializer ( Abc_FrameInitializer_t * p)

Definition at line 76 of file mainInit.c.

77{
78 if( ! s_InitializerStart )
79 s_InitializerStart = p;
80
81 p->next = NULL;
82 p->prev = s_InitializerEnd;
83
84 if ( s_InitializerEnd )
85 s_InitializerEnd->next = p;
86
87 s_InitializerEnd = p;
88
89}
p
Cube * p
Definition exorList.c:222

◆ Abc_FrameEnd()

void Abc_FrameEnd ( Abc_Frame_t * pAbc)

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

Synopsis [Stops all the packages.]

Description []

SideEffects []

SeeAlso []

Definition at line 145 of file mainInit.c.

146{
147 Abc_FrameInitializer_t* p;
148 for( p = s_InitializerEnd ; p ; p = p->prev )
149 if ( p->destroy )
150 p->destroy(pAbc);
151 Abc_End( pAbc );
152 Io_End( pAbc );
153 Cmd_End( pAbc );
154 If_End( pAbc );
155 Map_End( pAbc );
156 Mio_End( pAbc );
157 Super_End( pAbc );
158 Libs_End( pAbc );
159 Load_End( pAbc );
160 Scl_End( pAbc );
161 Wlc_End( pAbc );
162 Wln_End( pAbc );
163 Bac_End( pAbc );
164 Cba_End( pAbc );
165 Pla_End( pAbc );
166 Test_End( pAbc );
167 Glucose_End( pAbc );
168}
Abc_End
void Abc_End(Abc_Frame_t *pAbc)
Definition abc.c:1504
Super_End
void Super_End(Abc_Frame_t *pAbc)
Definition super.c:65
Pla_End
void Pla_End(Abc_Frame_t *pAbc)
Definition plaCom.c:78
Scl_End
void Scl_End(Abc_Frame_t *pAbc)
Definition scl.c:127
Wlc_End
void Wlc_End(Abc_Frame_t *pAbc)
Definition wlcCom.c:117
Glucose_End
void Glucose_End(Abc_Frame_t *pAbc)
Definition AbcGlucoseCmd.cpp:63
Cmd_End
void Cmd_End(Abc_Frame_t *pAbc)
Definition cmd.c:139
Io_End
void Io_End(Abc_Frame_t *pAbc)
Definition io.c:192
Load_End
void Load_End(Abc_Frame_t *pAbc)
Definition cmdLoad.c:199
Libs_End
void Libs_End(Abc_Frame_t *pAbc)
Definition libSupport.c:206
Wln_End
void Wln_End(Abc_Frame_t *pAbc)
Definition wlnCom.c:77
Mio_End
void Mio_End(Abc_Frame_t *pAbc)
Definition mio.c:226
Test_End
void Test_End(Abc_Frame_t *pAbc)
Definition test.c:60
Bac_End
void Bac_End(Abc_Frame_t *pAbc)
Definition bacCom.c:125
Cba_End
void Cba_End(Abc_Frame_t *pAbc)
Definition cbaCom.c:84
Map_End
void Map_End(Abc_Frame_t *pAbc)
Definition mapper.c:64
If_End
void If_End(Abc_Frame_t *pAbc)
Definition ifCom.c:79
Abc_FrameInitializer_t
struct Abc_FrameInitializer_t_ Abc_FrameInitializer_t
Definition mainInt.h:176
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Abc_FrameInit()

void Abc_FrameInit ( Abc_Frame_t * pAbc)

FUNCTION DEFINITIONS ///.

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

Synopsis [Starts all the packages.]

Description []

SideEffects []

SeeAlso []

Definition at line 106 of file mainInit.c.

107{
108 Abc_FrameInitializer_t* p;
109 Cmd_Init( pAbc );
110 Cmd_CommandExecute( pAbc, "set checkread" );
111 Io_Init( pAbc );
112 Abc_Init( pAbc );
113 If_Init( pAbc );
114 Map_Init( pAbc );
115 Mio_Init( pAbc );
116 Super_Init( pAbc );
117 Libs_Init( pAbc );
118 Load_Init( pAbc );
119 Scl_Init( pAbc );
120 Wlc_Init( pAbc );
121 Wln_Init( pAbc );
122 Bac_Init( pAbc );
123 Cba_Init( pAbc );
124 Pla_Init( pAbc );
125 Test_Init( pAbc );
126 Glucose_Init( pAbc );
127 Glucose2_Init( pAbc );
128 for( p = s_InitializerStart ; p ; p = p->next )
129 if(p->init)
130 p->init(pAbc);
131}
Cmd_CommandExecute
ABC_DLL int Cmd_CommandExecute(Abc_Frame_t *pAbc, const char *sCommand)
Definition cmdApi.c:193
Scl_Init
void Scl_Init(Abc_Frame_t *pAbc)
Definition scl.c:102
Wln_Init
void Wln_Init(Abc_Frame_t *pAbc)
FUNCTION DEFINITIONS ///.
Definition wlnCom.c:56
Libs_Init
void Libs_Init(Abc_Frame_t *pAbc)
Definition libSupport.c:200
Cba_Init
void Cba_Init(Abc_Frame_t *pAbc)
FUNCTION DEFINITIONS ///.
Definition cbaCom.c:60
Mio_Init
void Mio_Init(Abc_Frame_t *pAbc)
Definition mio.c:198
Bac_Init
void Bac_Init(Abc_Frame_t *pAbc)
Definition bacCom.c:102
Super_Init
void Super_Init(Abc_Frame_t *pAbc)
FUNCTION DEFINITIONS ///.
Definition super.c:48
Cmd_Init
void Cmd_Init(Abc_Frame_t *pAbc)
FUNCTION DEFINITIONS ///.
Definition cmd.c:85
Map_Init
void Map_Init(Abc_Frame_t *pAbc)
FUNCTION DEFINITIONS ///.
Definition mapper.c:48
Test_Init
void Test_Init(Abc_Frame_t *pAbc)
DECLARATIONS ///.
Definition test.c:45
Io_Init
void Io_Init(Abc_Frame_t *pAbc)
FUNCTION DEFINITIONS ///.
Definition io.c:117
Abc_Init
ABC_NAMESPACE_IMPL_START void Abc_Init(Abc_Frame_t *pAbc)
DECLARATIONS ///.
Definition abc.c:892
Load_Init
void Load_Init(Abc_Frame_t *pAbc)
Definition cmdLoad.c:164
Glucose_Init
void Glucose_Init(Abc_Frame_t *pAbc)
FUNCTION DEFINITIONS ///.
Definition AbcGlucoseCmd.cpp:58
Wlc_Init
void Wlc_Init(Abc_Frame_t *pAbc)
FUNCTION DEFINITIONS ///.
Definition wlcCom.c:78
If_Init
void If_Init(Abc_Frame_t *pAbc)
FUNCTION DEFINITIONS ///.
Definition ifCom.c:53
Pla_Init
void Pla_Init(Abc_Frame_t *pAbc)
FUNCTION DEFINITIONS ///.
Definition plaCom.c:57
Glucose2_Init
void Glucose2_Init(Abc_Frame_t *pAbc)
FUNCTION DEFINITIONS ///.
Definition AbcGlucoseCmd2.cpp:58
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Abc_Init()

ABC_NAMESPACE_IMPL_START void Abc_Init ( Abc_Frame_t * pAbc)
extern

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 892 of file abc.c.

893{
894 Cmd_CommandAdd( pAbc, "Printing", "ps", Abc_CommandPrintStats, 0 );
895 Cmd_CommandAdd( pAbc, "Printing", "print_stats", Abc_CommandPrintStats, 0 );
896 Cmd_CommandAdd( pAbc, "Printing", "print_exdc", Abc_CommandPrintExdc, 0 );
897 Cmd_CommandAdd( pAbc, "Printing", "print_io", Abc_CommandPrintIo, 0 );
898 Cmd_CommandAdd( pAbc, "Printing", "print_latch", Abc_CommandPrintLatch, 0 );
899 Cmd_CommandAdd( pAbc, "Printing", "pfan", Abc_CommandPrintFanio, 0 );
900 Cmd_CommandAdd( pAbc, "Printing", "print_fanio", Abc_CommandPrintFanio, 0 );
901 Cmd_CommandAdd( pAbc, "Printing", "print_mffc", Abc_CommandPrintMffc, 0 );
902 Cmd_CommandAdd( pAbc, "Printing", "pf", Abc_CommandPrintFactor, 0 );
903 Cmd_CommandAdd( pAbc, "Printing", "print_factor", Abc_CommandPrintFactor, 0 );
904 Cmd_CommandAdd( pAbc, "Printing", "print_level", Abc_CommandPrintLevel, 0 );
905 Cmd_CommandAdd( pAbc, "Printing", "psu", Abc_CommandPrintSupport, 0 );
906 Cmd_CommandAdd( pAbc, "Printing", "print_supp", Abc_CommandPrintSupport, 0 );
907#ifdef ABC_USE_CUDD
908 Cmd_CommandAdd( pAbc, "Printing", "print_mint", Abc_CommandPrintMint, 0 );
909#endif
910 Cmd_CommandAdd( pAbc, "Printing", "print_symm", Abc_CommandPrintSymms, 0 );
911 Cmd_CommandAdd( pAbc, "Printing", "print_unate", Abc_CommandPrintUnate, 0 );
912 Cmd_CommandAdd( pAbc, "Printing", "print_auto", Abc_CommandPrintAuto, 0 );
913 Cmd_CommandAdd( pAbc, "Printing", "print_kmap", Abc_CommandPrintKMap, 0 );
914 Cmd_CommandAdd( pAbc, "Printing", "pg", Abc_CommandPrintGates, 0 );
915 Cmd_CommandAdd( pAbc, "Printing", "print_gates", Abc_CommandPrintGates, 0 );
916 Cmd_CommandAdd( pAbc, "Printing", "print_sharing", Abc_CommandPrintSharing, 0 );
917 Cmd_CommandAdd( pAbc, "Printing", "print_xcut", Abc_CommandPrintXCut, 0 );
918 Cmd_CommandAdd( pAbc, "Printing", "print_dsd", Abc_CommandPrintDsd, 0 );
919 Cmd_CommandAdd( pAbc, "Printing", "print_cone", Abc_CommandPrintCone, 0 );
920 Cmd_CommandAdd( pAbc, "Printing", "print_miter", Abc_CommandPrintMiter, 0 );
921 Cmd_CommandAdd( pAbc, "Printing", "print_status", Abc_CommandPrintStatus, 0 );
922 Cmd_CommandAdd( pAbc, "Printing", "print_delay", Abc_CommandPrintDelay, 0 );
923
924 Cmd_CommandAdd( pAbc, "Printing", "show", Abc_CommandShow, 0 );
925 Cmd_CommandAdd( pAbc, "Printing", "show_bdd", Abc_CommandShowBdd, 0 );
926 Cmd_CommandAdd( pAbc, "Printing", "show_cut", Abc_CommandShowCut, 0 );
927
928 Cmd_CommandAdd( pAbc, "Synthesis", "clp", Abc_CommandCollapse, 1 );
929 Cmd_CommandAdd( pAbc, "Synthesis", "collapse", Abc_CommandCollapse, 1 );
930 Cmd_CommandAdd( pAbc, "Synthesis", "satclp", Abc_CommandSatClp, 1 );
931 Cmd_CommandAdd( pAbc, "Synthesis", "st", Abc_CommandStrash, 1 );
932 Cmd_CommandAdd( pAbc, "Synthesis", "strash", Abc_CommandStrash, 1 );
933 Cmd_CommandAdd( pAbc, "Synthesis", "b", Abc_CommandBalance, 1 );
934 Cmd_CommandAdd( pAbc, "Synthesis", "balance", Abc_CommandBalance, 1 );
935 Cmd_CommandAdd( pAbc, "Synthesis", "mux_struct", Abc_CommandMuxStruct, 1 );
936 Cmd_CommandAdd( pAbc, "Synthesis", "multi", Abc_CommandMulti, 1 );
937 Cmd_CommandAdd( pAbc, "Synthesis", "renode", Abc_CommandRenode, 1 );
938 Cmd_CommandAdd( pAbc, "Synthesis", "cleanup", Abc_CommandCleanup, 1 );
939 Cmd_CommandAdd( pAbc, "Synthesis", "sweep", Abc_CommandSweep, 1 );
940 Cmd_CommandAdd( pAbc, "Synthesis", "fx", Abc_CommandFastExtract, 1 );
941 Cmd_CommandAdd( pAbc, "Synthesis", "fxch", Abc_CommandFxch, 1 );
942 Cmd_CommandAdd( pAbc, "Synthesis", "eliminate", Abc_CommandEliminate, 1 );
943 Cmd_CommandAdd( pAbc, "Synthesis", "dsd", Abc_CommandDisjoint, 1 );
944 Cmd_CommandAdd( pAbc, "Synthesis", "sparsify", Abc_CommandSparsify, 1 );
945 Cmd_CommandAdd( pAbc, "Synthesis", "lutpack", Abc_CommandLutpack, 1 );
946 Cmd_CommandAdd( pAbc, "Synthesis", "lutmin", Abc_CommandLutmin, 1 );
947// Cmd_CommandAdd( pAbc, "Synthesis", "imfs", Abc_CommandImfs, 1 );
948 Cmd_CommandAdd( pAbc, "Synthesis", "mfs", Abc_CommandMfs, 1 );
949 Cmd_CommandAdd( pAbc, "Synthesis", "mfs2", Abc_CommandMfs2, 1 );
950 Cmd_CommandAdd( pAbc, "Synthesis", "mfs3", Abc_CommandMfs3, 1 );
951 Cmd_CommandAdd( pAbc, "Synthesis", "mfse", Abc_CommandMfse, 1 );
952 Cmd_CommandAdd( pAbc, "Synthesis", "logicpush", Abc_CommandLogicPush, 1 );
953 Cmd_CommandAdd( pAbc, "Synthesis", "trace", Abc_CommandTrace, 0 );
954 Cmd_CommandAdd( pAbc, "Synthesis", "glitch", Abc_CommandGlitch, 0 );
955 Cmd_CommandAdd( pAbc, "Synthesis", "speedup", Abc_CommandSpeedup, 1 );
956 Cmd_CommandAdd( pAbc, "Synthesis", "powerdown", Abc_CommandPowerdown, 1 );
957 Cmd_CommandAdd( pAbc, "Synthesis", "addbuffs", Abc_CommandAddBuffs, 1 );
958 Cmd_CommandAdd( pAbc, "Synthesis", "merge", Abc_CommandMerge, 1 );
959 Cmd_CommandAdd( pAbc, "Synthesis", "testdec", Abc_CommandTestDec, 0 );
960 Cmd_CommandAdd( pAbc, "Synthesis", "testnpn", Abc_CommandTestNpn, 0 );
961 Cmd_CommandAdd( pAbc, "LogiCS", "testrpo", Abc_CommandTestRPO, 0 );
962 Cmd_CommandAdd( pAbc, "Synthesis", "testtruth", Abc_CommandTestTruth, 0 );
963 Cmd_CommandAdd( pAbc, "Synthesis", "testsupp", Abc_CommandTestSupp, 0 );
964 Cmd_CommandAdd( pAbc, "Synthesis", "testrand", Abc_CommandTestRand, 0 );
965 Cmd_CommandAdd( pAbc, "Synthesis", "runsat", Abc_CommandRunSat, 0 );
966 Cmd_CommandAdd( pAbc, "Synthesis", "runeco", Abc_CommandRunEco, 0 );
967 Cmd_CommandAdd( pAbc, "Synthesis", "rungen", Abc_CommandRunGen, 0 );
968 Cmd_CommandAdd( pAbc, "Synthesis", "runscript", Abc_CommandRunScript, 0 );
969 Cmd_CommandAdd( pAbc, "Synthesis", "xec", Abc_CommandRunTest, 0 );
970
971 Cmd_CommandAdd( pAbc, "Synthesis", "rewrite", Abc_CommandRewrite, 1 );
972 Cmd_CommandAdd( pAbc, "Synthesis", "refactor", Abc_CommandRefactor, 1 );
973// Cmd_CommandAdd( pAbc, "Synthesis", "restructure", Abc_CommandRestructure, 1 );
974 Cmd_CommandAdd( pAbc, "Synthesis", "resub", Abc_CommandResubstitute, 1 );
975 Cmd_CommandAdd( pAbc, "Synthesis", "resub_unate", Abc_CommandResubUnate, 1 );
976 Cmd_CommandAdd( pAbc, "Synthesis", "resub_core", Abc_CommandResubCore, 1 );
977 Cmd_CommandAdd( pAbc, "Synthesis", "resub_check", Abc_CommandResubCheck, 0 );
978// Cmd_CommandAdd( pAbc, "Synthesis", "rr", Abc_CommandRr, 1 );
979 Cmd_CommandAdd( pAbc, "Synthesis", "cascade", Abc_CommandCascade, 1 );
980 Cmd_CommandAdd( pAbc, "Synthesis", "lutcasdec", Abc_CommandLutCasDec, 1 );
981 Cmd_CommandAdd( pAbc, "Synthesis", "lutcas", Abc_CommandLutCas, 1 );
982 Cmd_CommandAdd( pAbc, "Synthesis", "bseval", Abc_CommandBsEval, 0 );
983 Cmd_CommandAdd( pAbc, "Synthesis", "extract", Abc_CommandExtract, 1 );
984 Cmd_CommandAdd( pAbc, "Synthesis", "varmin", Abc_CommandVarMin, 0 );
985 Cmd_CommandAdd( pAbc, "Synthesis", "faultclasses", Abc_CommandFaultClasses, 0 );
986 Cmd_CommandAdd( pAbc, "Synthesis", "exact", Abc_CommandExact, 1 );
987 Cmd_CommandAdd( pAbc, "Synthesis", "orchestrate", Abc_CommandOrchestrate, 1 );
988 Cmd_CommandAdd( pAbc, "Synthesis", "aigaug", Abc_CommandAIGAugmentation, 1 );
989
990 Cmd_CommandAdd( pAbc, "Exact synthesis", "bms_start", Abc_CommandBmsStart, 0 );
991 Cmd_CommandAdd( pAbc, "Exact synthesis", "bms_stop", Abc_CommandBmsStop, 0 );
992 Cmd_CommandAdd( pAbc, "Exact synthesis", "bms_ps", Abc_CommandBmsPs, 0 );
993 Cmd_CommandAdd( pAbc, "Exact synthesis", "majexact", Abc_CommandMajExact, 0 );
994 Cmd_CommandAdd( pAbc, "Exact synthesis", "twoexact", Abc_CommandTwoExact, 0 );
995 Cmd_CommandAdd( pAbc, "Exact synthesis", "lutexact", Abc_CommandLutExact, 0 );
996 Cmd_CommandAdd( pAbc, "Exact synthesis", "allexact", Abc_CommandAllExact, 0 );
997 Cmd_CommandAdd( pAbc, "Exact synthesis", "testexact", Abc_CommandTestExact, 0 );
998 Cmd_CommandAdd( pAbc, "Exact synthesis", "majgen", Abc_CommandMajGen, 0 );
999
1000 Cmd_CommandAdd( pAbc, "Various", "logic", Abc_CommandLogic, 1 );
1001 Cmd_CommandAdd( pAbc, "Various", "comb", Abc_CommandComb, 1 );
1002 Cmd_CommandAdd( pAbc, "Various", "miter", Abc_CommandMiter, 1 );
1003 Cmd_CommandAdd( pAbc, "Various", "miter2", Abc_CommandMiter2, 1 );
1004 Cmd_CommandAdd( pAbc, "Various", "demiter", Abc_CommandDemiter, 1 );
1005 Cmd_CommandAdd( pAbc, "Various", "orpos", Abc_CommandOrPos, 1 );
1006 Cmd_CommandAdd( pAbc, "Various", "andpos", Abc_CommandAndPos, 1 );
1007 Cmd_CommandAdd( pAbc, "Various", "zeropo", Abc_CommandZeroPo, 1 );
1008 Cmd_CommandAdd( pAbc, "Various", "swappos", Abc_CommandSwapPos, 1 );
1009 Cmd_CommandAdd( pAbc, "Various", "removepo", Abc_CommandRemovePo, 1 );
1010 Cmd_CommandAdd( pAbc, "Various", "dropsat", Abc_CommandDropSat, 1 );
1011 Cmd_CommandAdd( pAbc, "Various", "addpi", Abc_CommandAddPi, 1 );
1012 Cmd_CommandAdd( pAbc, "Various", "addflop", Abc_CommandAddFlop, 1 );
1013 Cmd_CommandAdd( pAbc, "Various", "append", Abc_CommandAppend, 1 );
1014 Cmd_CommandAdd( pAbc, "Various", "putontop", Abc_CommandPutOnTop, 1 );
1015 Cmd_CommandAdd( pAbc, "Various", "frames", Abc_CommandFrames, 1 );
1016 Cmd_CommandAdd( pAbc, "Various", "dframes", Abc_CommandDFrames, 1 );
1017 Cmd_CommandAdd( pAbc, "Various", "sop", Abc_CommandSop, 0 );
1018 Cmd_CommandAdd( pAbc, "Various", "bdd", Abc_CommandBdd, 0 );
1019 Cmd_CommandAdd( pAbc, "Various", "aig", Abc_CommandAig, 0 );
1020 Cmd_CommandAdd( pAbc, "Various", "reorder", Abc_CommandReorder, 0 );
1021 Cmd_CommandAdd( pAbc, "Various", "bidec", Abc_CommandBidec, 1 );
1022 Cmd_CommandAdd( pAbc, "Various", "order", Abc_CommandOrder, 0 );
1023 Cmd_CommandAdd( pAbc, "Various", "muxes", Abc_CommandMuxes, 1 );
1024 Cmd_CommandAdd( pAbc, "Various", "cubes", Abc_CommandCubes, 1 );
1025 Cmd_CommandAdd( pAbc, "Various", "expand", Abc_CommandExpand, 1 );
1026 Cmd_CommandAdd( pAbc, "Various", "splitsop", Abc_CommandSplitSop, 1 );
1027 Cmd_CommandAdd( pAbc, "Various", "ext_seq_dcs", Abc_CommandExtSeqDcs, 0 );
1028 Cmd_CommandAdd( pAbc, "Various", "reach", Abc_CommandReach, 0 );
1029 Cmd_CommandAdd( pAbc, "Various", "cone", Abc_CommandCone, 1 );
1030 Cmd_CommandAdd( pAbc, "Various", "node", Abc_CommandNode, 1 );
1031 Cmd_CommandAdd( pAbc, "Various", "range", Abc_CommandRange, 1 );
1032 Cmd_CommandAdd( pAbc, "Various", "cof", Abc_CommandCof, 1 );
1033 Cmd_CommandAdd( pAbc, "Various", "topmost", Abc_CommandTopmost, 1 );
1034 Cmd_CommandAdd( pAbc, "Various", "bottommost", Abc_CommandBottommost, 1 );
1035 Cmd_CommandAdd( pAbc, "Various", "topand", Abc_CommandTopAnd, 1 );
1036 Cmd_CommandAdd( pAbc, "Various", "trim", Abc_CommandTrim, 1 );
1037 Cmd_CommandAdd( pAbc, "Various", "short_names", Abc_CommandShortNames, 0 );
1038 Cmd_CommandAdd( pAbc, "Various", "move_names", Abc_CommandMoveNames, 0 );
1039 Cmd_CommandAdd( pAbc, "Various", "exdc_free", Abc_CommandExdcFree, 1 );
1040 Cmd_CommandAdd( pAbc, "Various", "exdc_get", Abc_CommandExdcGet, 1 );
1041 Cmd_CommandAdd( pAbc, "Various", "exdc_set", Abc_CommandExdcSet, 1 );
1042 Cmd_CommandAdd( pAbc, "Various", "care_set", Abc_CommandCareSet, 1 );
1043 Cmd_CommandAdd( pAbc, "Various", "cut", Abc_CommandCut, 0 );
1044 Cmd_CommandAdd( pAbc, "Various", "espresso", Abc_CommandEspresso, 1 );
1045 Cmd_CommandAdd( pAbc, "Various", "gen", Abc_CommandGen, 0 );
1046 Cmd_CommandAdd( pAbc, "Various", "gentf", Abc_CommandGenTF, 0 );
1047 Cmd_CommandAdd( pAbc, "Various", "genat", Abc_CommandGenAT, 0 );
1048 Cmd_CommandAdd( pAbc, "Various", "genfsm", Abc_CommandGenFsm, 0 );
1049 Cmd_CommandAdd( pAbc, "Various", "cover", Abc_CommandCover, 1 );
1050 Cmd_CommandAdd( pAbc, "Various", "double", Abc_CommandDouble, 1 );
1051 Cmd_CommandAdd( pAbc, "Various", "inter", Abc_CommandInter, 1 );
1052 Cmd_CommandAdd( pAbc, "Various", "bb2wb", Abc_CommandBb2Wb, 0 );
1053 Cmd_CommandAdd( pAbc, "Various", "outdec", Abc_CommandOutdec, 1 );
1054 Cmd_CommandAdd( pAbc, "Various", "nodedup", Abc_CommandNodeDup, 1 );
1055 Cmd_CommandAdd( pAbc, "Various", "wrap", Abc_CommandWrap, 0 );
1056 Cmd_CommandAdd( pAbc, "Various", "testcolor", Abc_CommandTestColor, 0 );
1057 Cmd_CommandAdd( pAbc, "Various", "test", Abc_CommandTest, 0 );
1058// Cmd_CommandAdd( pAbc, "Various", "qbf_solve", Abc_CommandTest, 0 );
1059
1060 Cmd_CommandAdd( pAbc, "Various", "qvar", Abc_CommandQuaVar, 1 );
1061 Cmd_CommandAdd( pAbc, "Various", "qrel", Abc_CommandQuaRel, 1 );
1062 Cmd_CommandAdd( pAbc, "Various", "qreach", Abc_CommandQuaReach, 1 );
1063 Cmd_CommandAdd( pAbc, "Various", "senseinput", Abc_CommandSenseInput, 1 );
1064 Cmd_CommandAdd( pAbc, "Various", "npnload", Abc_CommandNpnLoad, 0 );
1065 Cmd_CommandAdd( pAbc, "Various", "npnsave", Abc_CommandNpnSave, 0 );
1066
1067 Cmd_CommandAdd( pAbc, "Various", "send_aig", Abc_CommandSendAig, 0 );
1068 Cmd_CommandAdd( pAbc, "Various", "send_status", Abc_CommandSendStatus, 0 );
1069
1070 Cmd_CommandAdd( pAbc, "Various", "backup", Abc_CommandBackup, 0 );
1071 Cmd_CommandAdd( pAbc, "Various", "restore", Abc_CommandRestore, 0 );
1072
1073 Cmd_CommandAdd( pAbc, "Various", "minisat", Abc_CommandMinisat, 0 );
1074 Cmd_CommandAdd( pAbc, "Various", "minisimp", Abc_CommandMinisimp, 0 );
1075
1076 Cmd_CommandAdd( pAbc, "New AIG", "istrash", Abc_CommandIStrash, 1 );
1077 Cmd_CommandAdd( pAbc, "New AIG", "icut", Abc_CommandICut, 0 );
1078 Cmd_CommandAdd( pAbc, "New AIG", "irw", Abc_CommandIRewrite, 1 );
1079 Cmd_CommandAdd( pAbc, "New AIG", "drw", Abc_CommandDRewrite, 1 );
1080 Cmd_CommandAdd( pAbc, "New AIG", "drf", Abc_CommandDRefactor, 1 );
1081 Cmd_CommandAdd( pAbc, "New AIG", "dc2", Abc_CommandDc2, 1 );
1082 Cmd_CommandAdd( pAbc, "New AIG", "dchoice", Abc_CommandDChoice, 1 );
1083 Cmd_CommandAdd( pAbc, "New AIG", "dch", Abc_CommandDch, 1 );
1084 Cmd_CommandAdd( pAbc, "New AIG", "drwsat", Abc_CommandDrwsat, 1 );
1085 Cmd_CommandAdd( pAbc, "New AIG", "irws", Abc_CommandIRewriteSeq, 1 );
1086 Cmd_CommandAdd( pAbc, "New AIG", "iresyn", Abc_CommandIResyn, 1 );
1087 Cmd_CommandAdd( pAbc, "New AIG", "isat", Abc_CommandISat, 1 );
1088 Cmd_CommandAdd( pAbc, "New AIG", "ifraig", Abc_CommandIFraig, 1 );
1089 Cmd_CommandAdd( pAbc, "New AIG", "dfraig", Abc_CommandDFraig, 1 );
1090 Cmd_CommandAdd( pAbc, "New AIG", "csweep", Abc_CommandCSweep, 1 );
1091// Cmd_CommandAdd( pAbc, "New AIG", "haig", Abc_CommandHaig, 1 );
1092 Cmd_CommandAdd( pAbc, "New AIG", "qbf", Abc_CommandQbf, 0 );
1093
1094 Cmd_CommandAdd( pAbc, "Fraiging", "fraig", Abc_CommandFraig, 1 );
1095 Cmd_CommandAdd( pAbc, "Fraiging", "fraig_trust", Abc_CommandFraigTrust, 1 );
1096 Cmd_CommandAdd( pAbc, "Fraiging", "fraig_store", Abc_CommandFraigStore, 0 );
1097 Cmd_CommandAdd( pAbc, "Fraiging", "fraig_restore", Abc_CommandFraigRestore, 1 );
1098 Cmd_CommandAdd( pAbc, "Fraiging", "fraig_clean", Abc_CommandFraigClean, 0 );
1099 Cmd_CommandAdd( pAbc, "Fraiging", "fraig_sweep", Abc_CommandFraigSweep, 1 );
1100 Cmd_CommandAdd( pAbc, "Fraiging", "dress", Abc_CommandFraigDress, 1 );
1101 Cmd_CommandAdd( pAbc, "Fraiging", "dump_equiv", Abc_CommandDumpEquiv, 0 );
1102
1103 Cmd_CommandAdd( pAbc, "Choicing", "rec_start3", Abc_CommandRecStart3, 0 );
1104 Cmd_CommandAdd( pAbc, "Choicing", "rec_stop3", Abc_CommandRecStop3, 0 );
1105 Cmd_CommandAdd( pAbc, "Choicing", "rec_ps3", Abc_CommandRecPs3, 0 );
1106 Cmd_CommandAdd( pAbc, "Choicing", "rec_add3", Abc_CommandRecAdd3, 0 );
1107 Cmd_CommandAdd( pAbc, "Choicing", "rec_dump3", Abc_CommandRecDump3, 0 );
1108 Cmd_CommandAdd( pAbc, "Choicing", "rec_merge3", Abc_CommandRecMerge3, 0 );
1109
1110 Cmd_CommandAdd( pAbc, "SC mapping", "map", Abc_CommandMap, 1 );
1111 Cmd_CommandAdd( pAbc, "SC mapping", "amap", Abc_CommandAmap, 1 );
1112 Cmd_CommandAdd( pAbc, "SC mapping", "phase_map", Abc_CommandPhaseMap, 1 );
1113 Cmd_CommandAdd( pAbc, "SC mapping", "stochmap", Abc_CommandStochMap, 1 );
1114 Cmd_CommandAdd( pAbc, "SC mapping", "unmap", Abc_CommandUnmap, 1 );
1115 Cmd_CommandAdd( pAbc, "SC mapping", "attach", Abc_CommandAttach, 1 );
1116 Cmd_CommandAdd( pAbc, "SC mapping", "superc", Abc_CommandSuperChoice, 1 );
1117 Cmd_CommandAdd( pAbc, "SC mapping", "supercl", Abc_CommandSuperChoiceLut, 1 );
1118 Cmd_CommandAdd( pAbc, "SC mapping", "timescale", Abc_CommandTimeScale, 0 );
1119 Cmd_CommandAdd( pAbc, "SC mapping", "rewire", Abc_CommandRewire, 1 );
1120
1121// Cmd_CommandAdd( pAbc, "FPGA mapping", "fpga", Abc_CommandFpga, 1 );
1122// Cmd_CommandAdd( pAbc, "FPGA mapping", "ffpga", Abc_CommandFpgaFast, 1 );
1123 Cmd_CommandAdd( pAbc, "FPGA mapping", "if", Abc_CommandIf, 1 );
1124 Cmd_CommandAdd( pAbc, "FPGA mapping", "ifif", Abc_CommandIfif, 1 );
1125
1126 Cmd_CommandAdd( pAbc, "DSD manager", "dsd_save", Abc_CommandDsdSave, 0 );
1127 Cmd_CommandAdd( pAbc, "DSD manager", "dsd_load", Abc_CommandDsdLoad, 0 );
1128 Cmd_CommandAdd( pAbc, "DSD manager", "dsd_free", Abc_CommandDsdFree, 0 );
1129 Cmd_CommandAdd( pAbc, "DSD manager", "dsd_ps", Abc_CommandDsdPs, 0 );
1130 Cmd_CommandAdd( pAbc, "DSD manager", "dsd_match", Abc_CommandDsdMatch, 0 );
1131 Cmd_CommandAdd( pAbc, "DSD manager", "dsd_merge", Abc_CommandDsdMerge, 0 );
1132 Cmd_CommandAdd( pAbc, "DSD manager", "dsd_filter", Abc_CommandDsdFilter, 0 );
1133
1134// Cmd_CommandAdd( pAbc, "Sequential", "scut", Abc_CommandScut, 0 );
1135 Cmd_CommandAdd( pAbc, "Sequential", "init", Abc_CommandInit, 1 );
1136 Cmd_CommandAdd( pAbc, "Sequential", "zero", Abc_CommandZero, 1 );
1137 Cmd_CommandAdd( pAbc, "Sequential", "undc", Abc_CommandUndc, 1 );
1138 Cmd_CommandAdd( pAbc, "Sequential", "onehot", Abc_CommandOneHot, 1 );
1139 Cmd_CommandAdd( pAbc, "Sequential", "pipe", Abc_CommandPipe, 1 );
1140 Cmd_CommandAdd( pAbc, "Sequential", "retime", Abc_CommandRetime, 1 );
1141 Cmd_CommandAdd( pAbc, "Sequential", "dretime", Abc_CommandDRetime, 1 );
1142 Cmd_CommandAdd( pAbc, "Sequential", "fretime", Abc_CommandFlowRetime, 1 );
1143 Cmd_CommandAdd( pAbc, "Sequential", "cretime", Abc_CommandCRetime, 1 );
1144// Cmd_CommandAdd( pAbc, "Sequential", "sfpga", Abc_CommandSeqFpga, 1 );
1145// Cmd_CommandAdd( pAbc, "Sequential", "smap", Abc_CommandSeqMap, 1 );
1146 Cmd_CommandAdd( pAbc, "Sequential", "ssweep", Abc_CommandSeqSweep, 1 );
1147 Cmd_CommandAdd( pAbc, "Sequential", "scorr", Abc_CommandSeqSweep2, 1 );
1148 Cmd_CommandAdd( pAbc, "Sequential", "testssw", Abc_CommandTestSeqSweep, 0 );
1149 Cmd_CommandAdd( pAbc, "Sequential", "testscorr", Abc_CommandTestScorr, 0 );
1150 Cmd_CommandAdd( pAbc, "Sequential", "lcorr", Abc_CommandLcorr, 1 );
1151 Cmd_CommandAdd( pAbc, "Sequential", "scleanup", Abc_CommandSeqCleanup, 1 );
1152 Cmd_CommandAdd( pAbc, "Sequential", "cycle", Abc_CommandCycle, 1 );
1153 Cmd_CommandAdd( pAbc, "Sequential", "xsim", Abc_CommandXsim, 0 );
1154 Cmd_CommandAdd( pAbc, "Sequential", "sim", Abc_CommandSim, 0 );
1155 Cmd_CommandAdd( pAbc, "Sequential", "sim3", Abc_CommandSim3, 0 );
1156 Cmd_CommandAdd( pAbc, "Sequential", "phase", Abc_CommandDarPhase, 1 );
1157 Cmd_CommandAdd( pAbc, "Sequential", "synch", Abc_CommandSynch, 1 );
1158 Cmd_CommandAdd( pAbc, "Sequential", "clockgate", Abc_CommandClockGate, 1 );
1159 Cmd_CommandAdd( pAbc, "Sequential", "extwin", Abc_CommandExtWin, 1 );
1160 Cmd_CommandAdd( pAbc, "Sequential", "inswin", Abc_CommandInsWin, 1 );
1161 Cmd_CommandAdd( pAbc, "Sequential", "symfun", Abc_CommandSymFun, 0 );
1162 Cmd_CommandAdd( pAbc, "Sequential", "atmap", Abc_CommandATMap, 0 );
1163 Cmd_CommandAdd( pAbc, "Sequential", "permute", Abc_CommandPermute, 1 );
1164 Cmd_CommandAdd( pAbc, "Sequential", "unpermute", Abc_CommandUnpermute, 1 );
1165 Cmd_CommandAdd( pAbc, "Sequential", "cubeenum", Abc_CommandCubeEnum, 0 );
1166 Cmd_CommandAdd( pAbc, "Sequential", "pathenum", Abc_CommandPathEnum, 0 );
1167 Cmd_CommandAdd( pAbc, "Sequential", "funenum", Abc_CommandFunEnum, 0 );
1168
1169 Cmd_CommandAdd( pAbc, "Verification", "cec", Abc_CommandCec, 0 );
1170 Cmd_CommandAdd( pAbc, "Verification", "dcec", Abc_CommandDCec, 0 );
1171 Cmd_CommandAdd( pAbc, "Verification", "dsec", Abc_CommandDSec, 0 );
1172 Cmd_CommandAdd( pAbc, "Verification", "dprove", Abc_CommandDProve, 0 );
1173 Cmd_CommandAdd( pAbc, "Verification", "absec", Abc_CommandAbSec, 0 );
1174 Cmd_CommandAdd( pAbc, "Verification", "simsec", Abc_CommandSimSec, 0 );
1175 Cmd_CommandAdd( pAbc, "Verification", "match", Abc_CommandMatch, 0 );
1176 Cmd_CommandAdd( pAbc, "Verification", "sat", Abc_CommandSat, 0 );
1177 Cmd_CommandAdd( pAbc, "Verification", "dsat", Abc_CommandDSat, 0 );
1178 Cmd_CommandAdd( pAbc, "Verification", "xsat", Abc_CommandXSat, 0 );
1179 Cmd_CommandAdd( pAbc, "Verification", "satoko", Abc_CommandSatoko, 0 );
1180 Cmd_CommandAdd( pAbc, "Verification", "&satoko", Abc_CommandAbc9Satoko, 0 );
1181 Cmd_CommandAdd( pAbc, "Verification", "&sat3", Abc_CommandAbc9Sat3, 0 );
1182 Cmd_CommandAdd( pAbc, "Verification", "&kissat", Abc_CommandAbc9Kissat, 0 );
1183 Cmd_CommandAdd( pAbc, "Verification", "psat", Abc_CommandPSat, 0 );
1184 Cmd_CommandAdd( pAbc, "Verification", "prove", Abc_CommandProve, 1 );
1185 Cmd_CommandAdd( pAbc, "Verification", "iprove", Abc_CommandIProve, 1 );
1186 Cmd_CommandAdd( pAbc, "Verification", "debug", Abc_CommandDebug, 0 );
1187 Cmd_CommandAdd( pAbc, "Verification", "eco", Abc_CommandEco, 0 );
1188 Cmd_CommandAdd( pAbc, "Verification", "bmc", Abc_CommandBmc, 0 );
1189 Cmd_CommandAdd( pAbc, "Verification", "bmc2", Abc_CommandBmc2, 0 );
1190 Cmd_CommandAdd( pAbc, "Verification", "bmc3", Abc_CommandBmc3, 1 );
1191 Cmd_CommandAdd( pAbc, "Verification", "int", Abc_CommandBmcInter, 1 );
1192 Cmd_CommandAdd( pAbc, "Verification", "indcut", Abc_CommandIndcut, 0 );
1193 Cmd_CommandAdd( pAbc, "Verification", "enlarge", Abc_CommandEnlarge, 1 );
1194 Cmd_CommandAdd( pAbc, "Verification", "tempor", Abc_CommandTempor, 1 );
1195 Cmd_CommandAdd( pAbc, "Verification", "ind", Abc_CommandInduction, 0 );
1196 Cmd_CommandAdd( pAbc, "Verification", "constr", Abc_CommandConstr, 0 );
1197 Cmd_CommandAdd( pAbc, "Verification", "unfold", Abc_CommandUnfold, 1 );
1198 Cmd_CommandAdd( pAbc, "Verification", "fold", Abc_CommandFold, 1 );
1199 Cmd_CommandAdd( pAbc, "Verification", "unfold2", Abc_CommandUnfold2, 1 ); // jlong
1200 Cmd_CommandAdd( pAbc, "Verification", "fold2", Abc_CommandFold2, 1 ); // jlong
1201 Cmd_CommandAdd( pAbc, "Verification", "bm", Abc_CommandBm, 1 );
1202 Cmd_CommandAdd( pAbc, "Verification", "bm2", Abc_CommandBm2, 1 );
1203 Cmd_CommandAdd( pAbc, "Verification", "saucy3", Abc_CommandSaucy, 1 );
1204 Cmd_CommandAdd( pAbc, "Verification", "testcex", Abc_CommandTestCex, 0 );
1205 Cmd_CommandAdd( pAbc, "Verification", "pdr", Abc_CommandPdr, 0 );
1206#ifdef ABC_USE_CUDD
1207 Cmd_CommandAdd( pAbc, "Verification", "reconcile", Abc_CommandReconcile, 1 );
1208#endif
1209 Cmd_CommandAdd( pAbc, "Verification", "cexsave", Abc_CommandCexSave, 0 );
1210 Cmd_CommandAdd( pAbc, "Verification", "cexload", Abc_CommandCexLoad, 0 );
1211 Cmd_CommandAdd( pAbc, "Verification", "cexcut", Abc_CommandCexCut, 0 );
1212 Cmd_CommandAdd( pAbc, "Verification", "cexmerge", Abc_CommandCexMerge, 0 );
1213// Cmd_CommandAdd( pAbc, "Verification", "cexmin", Abc_CommandCexMin, 0 );
1214 Cmd_CommandAdd( pAbc, "Verification", "dualrail", Abc_CommandDualRail, 1 );
1215 Cmd_CommandAdd( pAbc, "Verification", "blockpo", Abc_CommandBlockPo, 1 );
1216 Cmd_CommandAdd( pAbc, "Verification", "iso", Abc_CommandIso, 1 );
1217
1218 Cmd_CommandAdd( pAbc, "Various", "save", Abc_CommandAbcSave, 0 );
1219 Cmd_CommandAdd( pAbc, "Various", "load", Abc_CommandAbcLoad, 0 );
1220
1221 Cmd_CommandAdd( pAbc, "ABC9", "&get", Abc_CommandAbc9Get, 0 );
1222 Cmd_CommandAdd( pAbc, "ABC9", "&put", Abc_CommandAbc9Put, 0 );
1223 Cmd_CommandAdd( pAbc, "ABC9", "&move_names", Abc_CommandAbc9MoveNames, 0 );
1224 Cmd_CommandAdd( pAbc, "ABC9", "&save", Abc_CommandAbc9Save, 0 );
1225 Cmd_CommandAdd( pAbc, "ABC9", "&save2", Abc_CommandAbc9Save2, 0 );
1226 Cmd_CommandAdd( pAbc, "ABC9", "&saveaig", Abc_CommandAbc9SaveAig, 0 );
1227 Cmd_CommandAdd( pAbc, "ABC9", "&load", Abc_CommandAbc9Load, 0 );
1228 Cmd_CommandAdd( pAbc, "ABC9", "&load2", Abc_CommandAbc9Load2, 0 );
1229 Cmd_CommandAdd( pAbc, "ABC9", "&loadaig", Abc_CommandAbc9LoadAig, 0 );
1230 Cmd_CommandAdd( pAbc, "ABC9", "&r", Abc_CommandAbc9Read, 0 );
1231 Cmd_CommandAdd( pAbc, "ABC9", "&read", Abc_CommandAbc9Read, 0 );
1232 Cmd_CommandAdd( pAbc, "ABC9", "&read_blif", Abc_CommandAbc9ReadBlif, 0 );
1233 Cmd_CommandAdd( pAbc, "ABC9", "&read_cblif", Abc_CommandAbc9ReadCBlif, 0 );
1234 Cmd_CommandAdd( pAbc, "ABC9", "&read_stg", Abc_CommandAbc9ReadStg, 0 );
1235 Cmd_CommandAdd( pAbc, "ABC9", "&read_ver", Abc_CommandAbc9ReadVer, 0 );
1236 Cmd_CommandAdd( pAbc, "ABC9", "&write_ver", Abc_CommandAbc9WriteVer, 0 );
1237 Cmd_CommandAdd( pAbc, "ABC9", "&w", Abc_CommandAbc9Write, 0 );
1238 Cmd_CommandAdd( pAbc, "ABC9", "&write", Abc_CommandAbc9Write, 0 );
1239 Cmd_CommandAdd( pAbc, "ABC9", "&wlut", Abc_CommandAbc9WriteLut, 0 );
1240 Cmd_CommandAdd( pAbc, "ABC9", "&ps", Abc_CommandAbc9Ps, 0 );
1241 Cmd_CommandAdd( pAbc, "ABC9", "&pfan", Abc_CommandAbc9PFan, 0 );
1242 Cmd_CommandAdd( pAbc, "ABC9", "&pms", Abc_CommandAbc9Pms, 0 );
1243 Cmd_CommandAdd( pAbc, "ABC9", "&psig", Abc_CommandAbc9PSig, 0 );
1244 Cmd_CommandAdd( pAbc, "ABC9", "&status", Abc_CommandAbc9Status, 0 );
1245 Cmd_CommandAdd( pAbc, "ABC9", "&profile", Abc_CommandAbc9MuxProfile, 0 );
1246 Cmd_CommandAdd( pAbc, "ABC9", "&muxpos", Abc_CommandAbc9MuxPos, 0 );
1247 Cmd_CommandAdd( pAbc, "ABC9", "&muxstr", Abc_CommandAbc9MuxStr, 0 );
1248 Cmd_CommandAdd( pAbc, "ABC9", "&muxdec", Abc_CommandAbc9MuxDec, 0 );
1249 Cmd_CommandAdd( pAbc, "ABC9", "&print_truth", Abc_CommandAbc9PrintTruth, 0 );
1250 Cmd_CommandAdd( pAbc, "ABC9", "&unate", Abc_CommandAbc9Unate, 0 );
1251 Cmd_CommandAdd( pAbc, "ABC9", "&rex2gia", Abc_CommandAbc9Rex2Gia, 0 );
1252 Cmd_CommandAdd( pAbc, "ABC9", "&rexwalk", Abc_CommandAbc9RexWalk, 0 );
1253 Cmd_CommandAdd( pAbc, "ABC9", "&show", Abc_CommandAbc9Show, 0 );
1254 Cmd_CommandAdd( pAbc, "ABC9", "&setregnum", Abc_CommandAbc9SetRegNum, 0 );
1255 Cmd_CommandAdd( pAbc, "ABC9", "&st", Abc_CommandAbc9Strash, 0 );
1256 Cmd_CommandAdd( pAbc, "ABC9", "&topand", Abc_CommandAbc9Topand, 0 );
1257 Cmd_CommandAdd( pAbc, "ABC9", "&add1hot", Abc_CommandAbc9Add1Hot, 0 );
1258 Cmd_CommandAdd( pAbc, "ABC9", "&cof", Abc_CommandAbc9Cof, 0 );
1259 Cmd_CommandAdd( pAbc, "ABC9", "&cofs", Abc_CommandAbc9Cofs, 0 );
1260 Cmd_CommandAdd( pAbc, "ABC9", "&trim", Abc_CommandAbc9Trim, 0 );
1261 Cmd_CommandAdd( pAbc, "ABC9", "&dfs", Abc_CommandAbc9Dfs, 0 );
1262 Cmd_CommandAdd( pAbc, "ABC9", "&sim", Abc_CommandAbc9Sim, 0 );
1263 Cmd_CommandAdd( pAbc, "ABC9", "&sim2", Abc_CommandAbc9Sim2, 0 );
1264 Cmd_CommandAdd( pAbc, "ABC9", "&sim3", Abc_CommandAbc9Sim3, 0 );
1265 Cmd_CommandAdd( pAbc, "ABC9", "&mlgen", Abc_CommandAbc9MLGen, 0 );
1266 Cmd_CommandAdd( pAbc, "ABC9", "&mltest", Abc_CommandAbc9MLTest, 0 );
1267 Cmd_CommandAdd( pAbc, "ABC9", "&iwls21test", Abc_CommandAbc9Iwls21Test, 0 );
1268 Cmd_CommandAdd( pAbc, "ABC9", "&sim_read", Abc_CommandAbc9ReadSim, 0 );
1269 Cmd_CommandAdd( pAbc, "ABC9", "&sim_write", Abc_CommandAbc9WriteSim, 0 );
1270 Cmd_CommandAdd( pAbc, "ABC9", "&sim_print", Abc_CommandAbc9PrintSim, 0 );
1271 Cmd_CommandAdd( pAbc, "ABC9", "&sim_gen", Abc_CommandAbc9GenSim, 0 );
1272 Cmd_CommandAdd( pAbc, "ABC9", "&simrsb", Abc_CommandAbc9SimRsb, 0 );
1273 Cmd_CommandAdd( pAbc, "ABC9", "&resim", Abc_CommandAbc9Resim, 0 );
1274 Cmd_CommandAdd( pAbc, "ABC9", "&speci", Abc_CommandAbc9SpecI, 0 );
1275 Cmd_CommandAdd( pAbc, "ABC9", "&equiv", Abc_CommandAbc9Equiv, 0 );
1276 Cmd_CommandAdd( pAbc, "ABC9", "&equiv2", Abc_CommandAbc9Equiv2, 0 );
1277 Cmd_CommandAdd( pAbc, "ABC9", "&equiv3", Abc_CommandAbc9Equiv3, 0 );
1278 Cmd_CommandAdd( pAbc, "ABC9", "&semi", Abc_CommandAbc9Semi, 0 );
1279 Cmd_CommandAdd( pAbc, "ABC9", "&times", Abc_CommandAbc9Times, 0 );
1280 Cmd_CommandAdd( pAbc, "ABC9", "&frames", Abc_CommandAbc9Frames, 0 );
1281 Cmd_CommandAdd( pAbc, "ABC9", "&retime", Abc_CommandAbc9Retime, 0 );
1282 Cmd_CommandAdd( pAbc, "ABC9", "&enable", Abc_CommandAbc9Enable, 0 );
1283 Cmd_CommandAdd( pAbc, "ABC9", "&dc2", Abc_CommandAbc9Dc2, 0 );
1284 Cmd_CommandAdd( pAbc, "ABC9", "&dsd", Abc_CommandAbc9Dsd, 0 );
1285 Cmd_CommandAdd( pAbc, "ABC9", "&bidec", Abc_CommandAbc9Bidec, 0 );
1286 Cmd_CommandAdd( pAbc, "ABC9", "&shrink", Abc_CommandAbc9Shrink, 0 );
1287 Cmd_CommandAdd( pAbc, "ABC9", "&fx", Abc_CommandAbc9Fx, 0 );
1288 Cmd_CommandAdd( pAbc, "ABC9", "&extract", Abc_CommandAbc9Extract, 0 );
1289 Cmd_CommandAdd( pAbc, "ABC9", "&b", Abc_CommandAbc9Balance, 0 );
1290 Cmd_CommandAdd( pAbc, "ABC9", "&blut", Abc_CommandAbc9BalanceLut, 0 );
1291 Cmd_CommandAdd( pAbc, "ABC9", "&resub", Abc_CommandAbc9Resub, 0 );
1292 Cmd_CommandAdd( pAbc, "ABC9", "&reshape", Abc_CommandAbc9Reshape, 0 );
1293 Cmd_CommandAdd( pAbc, "ABC9", "&syn2", Abc_CommandAbc9Syn2, 0 );
1294 Cmd_CommandAdd( pAbc, "ABC9", "&syn3", Abc_CommandAbc9Syn3, 0 );
1295 Cmd_CommandAdd( pAbc, "ABC9", "&syn4", Abc_CommandAbc9Syn4, 0 );
1296 Cmd_CommandAdd( pAbc, "ABC9", "&synch2", Abc_CommandAbc9Synch2, 0 );
1297 Cmd_CommandAdd( pAbc, "ABC9", "&false", Abc_CommandAbc9False, 0 );
1298 Cmd_CommandAdd( pAbc, "ABC9", "&miter", Abc_CommandAbc9Miter, 0 );
1299 Cmd_CommandAdd( pAbc, "ABC9", "&miter2", Abc_CommandAbc9Miter2, 0 );
1300 Cmd_CommandAdd( pAbc, "ABC9", "&append", Abc_CommandAbc9Append, 0 );
1301 Cmd_CommandAdd( pAbc, "ABC9", "&scl", Abc_CommandAbc9Scl, 0 );
1302 Cmd_CommandAdd( pAbc, "ABC9", "&lcorr", Abc_CommandAbc9Lcorr, 0 );
1303 Cmd_CommandAdd( pAbc, "ABC9", "&scorr", Abc_CommandAbc9Scorr, 0 );
1304 Cmd_CommandAdd( pAbc, "ABC9", "&choice", Abc_CommandAbc9Choice, 0 );
1305 Cmd_CommandAdd( pAbc, "ABC9", "&sat", Abc_CommandAbc9Sat, 0 );
1306 Cmd_CommandAdd( pAbc, "ABC9", "&satenum", Abc_CommandAbc9SatEnum, 0 );
1307 Cmd_CommandAdd( pAbc, "ABC9", "&adv_sim_gen", Abc_CommandAbc9AdvGenSim, 0 );
1308 Cmd_CommandAdd( pAbc, "ABC9", "&fraig", Abc_CommandAbc9Fraig, 0 );
1309 Cmd_CommandAdd( pAbc, "ABC9", "&cfraig", Abc_CommandAbc9CFraig, 0 );
1310 Cmd_CommandAdd( pAbc, "ABC9", "&srm", Abc_CommandAbc9Srm, 0 );
1311 Cmd_CommandAdd( pAbc, "ABC9", "&srm2", Abc_CommandAbc9Srm2, 0 );
1312 Cmd_CommandAdd( pAbc, "ABC9", "&filter", Abc_CommandAbc9Filter, 0 );
1313 Cmd_CommandAdd( pAbc, "ABC9", "&reduce", Abc_CommandAbc9Reduce, 0 );
1314 Cmd_CommandAdd( pAbc, "ABC9", "&equiv_mark", Abc_CommandAbc9EquivMark, 0 );
1315 Cmd_CommandAdd( pAbc, "ABC9", "&equiv_filter", Abc_CommandAbc9EquivFilter, 0 );
1316 Cmd_CommandAdd( pAbc, "ABC9", "&cec", Abc_CommandAbc9Cec, 0 );
1317 Cmd_CommandAdd( pAbc, "ABC9", "&icec", Abc_CommandAbc9ICec, 0 );
1318 Cmd_CommandAdd( pAbc, "ABC9", "&verify", Abc_CommandAbc9Verify, 0 );
1319 Cmd_CommandAdd( pAbc, "ABC9", "&sweep", Abc_CommandAbc9Sweep, 0 );
1320 Cmd_CommandAdd( pAbc, "ABC9", "&force", Abc_CommandAbc9Force, 0 );
1321 Cmd_CommandAdd( pAbc, "ABC9", "&embed", Abc_CommandAbc9Embed, 0 );
1322 Cmd_CommandAdd( pAbc, "ABC9", "&sopb", Abc_CommandAbc9Sopb, 0 );
1323 Cmd_CommandAdd( pAbc, "ABC9", "&dsdb", Abc_CommandAbc9Dsdb, 0 );
1324 Cmd_CommandAdd( pAbc, "ABC9", "&flow", Abc_CommandAbc9Flow, 0 );
1325 Cmd_CommandAdd( pAbc, "ABC9", "&flow2", Abc_CommandAbc9Flow2, 0 );
1326 Cmd_CommandAdd( pAbc, "ABC9", "&flow3", Abc_CommandAbc9Flow3, 0 );
1327 Cmd_CommandAdd( pAbc, "ABC9", "&if", Abc_CommandAbc9If, 0 );
1328 Cmd_CommandAdd( pAbc, "ABC9", "&iff", Abc_CommandAbc9Iff, 0 );
1329 Cmd_CommandAdd( pAbc, "ABC9", "&iiff", Abc_CommandAbc9Iiff, 0 );
1330 Cmd_CommandAdd( pAbc, "ABC9", "&if2", Abc_CommandAbc9If2, 0 );
1331 Cmd_CommandAdd( pAbc, "ABC9", "&sif", Abc_CommandAbc9Sif, 0 );
1332 Cmd_CommandAdd( pAbc, "ABC9", "&jf", Abc_CommandAbc9Jf, 0 );
1333 Cmd_CommandAdd( pAbc, "ABC9", "&kf", Abc_CommandAbc9Kf, 0 );
1334 Cmd_CommandAdd( pAbc, "ABC9", "&lf", Abc_CommandAbc9Lf, 0 );
1335 Cmd_CommandAdd( pAbc, "ABC9", "&mf", Abc_CommandAbc9Mf, 0 );
1336 Cmd_CommandAdd( pAbc, "ABC9", "&nf", Abc_CommandAbc9Nf, 0 );
1337 Cmd_CommandAdd( pAbc, "ABC9", "&of", Abc_CommandAbc9Of, 0 );
1338 Cmd_CommandAdd( pAbc, "ABC9", "&simap", Abc_CommandAbc9Simap, 0 );
1339 Cmd_CommandAdd( pAbc, "ABC9", "&exmap", Abc_CommandAbc9Exmap, 0 );
1340 Cmd_CommandAdd( pAbc, "ABC9", "&pack", Abc_CommandAbc9Pack, 0 );
1341 Cmd_CommandAdd( pAbc, "ABC9", "&edge", Abc_CommandAbc9Edge, 0 );
1342 Cmd_CommandAdd( pAbc, "ABC9", "&satlut", Abc_CommandAbc9SatLut, 0 );
1343 Cmd_CommandAdd( pAbc, "ABC9", "&lnetread", Abc_CommandAbc9LNetRead, 0 );
1344 Cmd_CommandAdd( pAbc, "ABC9", "&lnetsim", Abc_CommandAbc9LNetSim, 0 );
1345 Cmd_CommandAdd( pAbc, "ABC9", "&lneteval", Abc_CommandAbc9LNetEval, 0 );
1346 Cmd_CommandAdd( pAbc, "ABC9", "&lnetopt", Abc_CommandAbc9LNetOpt, 0 );
1347//#ifndef _WIN32
1348 Cmd_CommandAdd( pAbc, "ABC9", "&ttopt", Abc_CommandAbc9Ttopt, 0 );
1349 Cmd_CommandAdd( pAbc, "ABC9", "&transduction", Abc_CommandAbc9Transduction, 0 );
1350 Cmd_CommandAdd( pAbc, "ABC9", "&transtoch" , Abc_CommandAbc9TranStoch, 0 );
1351 Cmd_CommandAdd( pAbc, "ABC9", "&rrr", Abc_CommandAbc9Rrr, 0 );
1352 Cmd_CommandAdd( pAbc, "ABC9", "&rewire" , Abc_CommandAbc9Rewire, 0 );
1353//#endif
1354 Cmd_CommandAdd( pAbc, "ABC9", "&lnetmap", Abc_CommandAbc9LNetMap, 0 );
1355 Cmd_CommandAdd( pAbc, "ABC9", "&unmap", Abc_CommandAbc9Unmap, 0 );
1356 Cmd_CommandAdd( pAbc, "ABC9", "&struct", Abc_CommandAbc9Struct, 0 );
1357 Cmd_CommandAdd( pAbc, "ABC9", "&trace", Abc_CommandAbc9Trace, 0 );
1358 Cmd_CommandAdd( pAbc, "ABC9", "&speedup", Abc_CommandAbc9Speedup, 0 );
1359 Cmd_CommandAdd( pAbc, "ABC9", "&era", Abc_CommandAbc9Era, 0 );
1360 Cmd_CommandAdd( pAbc, "ABC9", "&dch", Abc_CommandAbc9Dch, 0 );
1361 Cmd_CommandAdd( pAbc, "ABC9", "&rpm", Abc_CommandAbc9Rpm, 0 );
1362 Cmd_CommandAdd( pAbc, "ABC9", "&back_reach", Abc_CommandAbc9BackReach, 0 );
1363 Cmd_CommandAdd( pAbc, "ABC9", "&posplit", Abc_CommandAbc9Posplit, 0 );
1364 Cmd_CommandAdd( pAbc, "ABC9", "&permute", Abc_CommandAbc9Permute, 0 );
1365#ifdef ABC_USE_CUDD
1366 Cmd_CommandAdd( pAbc, "ABC9", "&reachm", Abc_CommandAbc9ReachM, 0 );
1367 Cmd_CommandAdd( pAbc, "ABC9", "&reachp", Abc_CommandAbc9ReachP, 0 );
1368 Cmd_CommandAdd( pAbc, "ABC9", "&reachn", Abc_CommandAbc9ReachN, 0 );
1369 Cmd_CommandAdd( pAbc, "ABC9", "&reachy", Abc_CommandAbc9ReachY, 0 );
1370#endif
1371 Cmd_CommandAdd( pAbc, "ABC9", "&undo", Abc_CommandAbc9Undo, 0 );
1372 Cmd_CommandAdd( pAbc, "ABC9", "&mesh", Abc_CommandAbc9Mesh, 0 );
1373 Cmd_CommandAdd( pAbc, "ABC9", "&iso", Abc_CommandAbc9Iso, 0 );
1374 Cmd_CommandAdd( pAbc, "ABC9", "&isonpn", Abc_CommandAbc9IsoNpn, 0 );
1375 Cmd_CommandAdd( pAbc, "ABC9", "&isost", Abc_CommandAbc9IsoSt, 0 );
1376 Cmd_CommandAdd( pAbc, "ABC9", "&store", Abc_CommandAbc9Store, 0 );
1377 Cmd_CommandAdd( pAbc, "ABC9", "&compare", Abc_CommandAbc9Compare, 0 );
1378 Cmd_CommandAdd( pAbc, "ABC9", "&reveng", Abc_CommandAbc9RevEng, 0 );
1379 Cmd_CommandAdd( pAbc, "ABC9", "&uif", Abc_CommandAbc9Uif, 0 );
1380 Cmd_CommandAdd( pAbc, "ABC9", "&cexinfo", Abc_CommandAbc9CexInfo, 0 );
1381 Cmd_CommandAdd( pAbc, "ABC9", "&cycle", Abc_CommandAbc9Cycle, 0 );
1382 Cmd_CommandAdd( pAbc, "ABC9", "&cone", Abc_CommandAbc9Cone, 0 );
1383 Cmd_CommandAdd( pAbc, "ABC9", "&slice", Abc_CommandAbc9Slice, 0 );
1384 Cmd_CommandAdd( pAbc, "ABC9", "&popart", Abc_CommandAbc9PoPart, 0 );
1385 Cmd_CommandAdd( pAbc, "ABC9", "&gprove", Abc_CommandAbc9GroupProve, 0 );
1386 Cmd_CommandAdd( pAbc, "ABC9", "&mprove", Abc_CommandAbc9MultiProve, 0 );
1387 Cmd_CommandAdd( pAbc, "ABC9", "&splitprove", Abc_CommandAbc9SplitProve, 0 );
1388 Cmd_CommandAdd( pAbc, "ABC9", "&sprove", Abc_CommandAbc9SProve, 0 );
1389 Cmd_CommandAdd( pAbc, "ABC9", "&splitsat", Abc_CommandAbc9SplitSat, 0 );
1390 Cmd_CommandAdd( pAbc, "ABC9", "&bmc", Abc_CommandAbc9Bmc, 0 );
1391 Cmd_CommandAdd( pAbc, "ABC9", "&bmcs", Abc_CommandAbc9SBmc, 0 );
1392 Cmd_CommandAdd( pAbc, "ABC9", "&chainbmc", Abc_CommandAbc9ChainBmc, 0 );
1393 Cmd_CommandAdd( pAbc, "ABC9", "&bcore", Abc_CommandAbc9BCore, 0 );
1394 Cmd_CommandAdd( pAbc, "ABC9", "&icheck", Abc_CommandAbc9ICheck, 0 );
1395 Cmd_CommandAdd( pAbc, "ABC9", "&sattest", Abc_CommandAbc9SatTest, 0 );
1396 Cmd_CommandAdd( pAbc, "ABC9", "&fftest", Abc_CommandAbc9FFTest, 0 );
1397 Cmd_CommandAdd( pAbc, "ABC9", "&qbf", Abc_CommandAbc9Qbf, 0 );
1398 Cmd_CommandAdd( pAbc, "ABC9", "&qvar", Abc_CommandAbc9QVar, 0 );
1399 Cmd_CommandAdd( pAbc, "ABC9", "&genqbf", Abc_CommandAbc9GenQbf, 0 );
1400 Cmd_CommandAdd( pAbc, "ABC9", "&homoqbf", Abc_CommandAbc9HomoQbf, 0 );
1401 Cmd_CommandAdd( pAbc, "ABC9", "&satfx", Abc_CommandAbc9SatFx, 0 );
1402 Cmd_CommandAdd( pAbc, "ABC9", "&satclp", Abc_CommandAbc9SatClp, 0 );
1403 Cmd_CommandAdd( pAbc, "ABC9", "&inse", Abc_CommandAbc9Inse, 0 );
1404 Cmd_CommandAdd( pAbc, "ABC9", "&maxi", Abc_CommandAbc9Maxi, 0 );
1405 Cmd_CommandAdd( pAbc, "ABC9", "&bmci", Abc_CommandAbc9Bmci, 0 );
1406 Cmd_CommandAdd( pAbc, "ABC9", "&poxsim", Abc_CommandAbc9PoXsim, 0 );
1407 Cmd_CommandAdd( pAbc, "ABC9", "&demiter", Abc_CommandAbc9Demiter, 0 );
1408 Cmd_CommandAdd( pAbc, "ABC9", "&fadds", Abc_CommandAbc9Fadds, 0 );
1409 Cmd_CommandAdd( pAbc, "ABC9", "&atree", Abc_CommandAbc9ATree, 0 );
1410 Cmd_CommandAdd( pAbc, "ABC9", "&polyn", Abc_CommandAbc9Polyn, 0 );
1411 Cmd_CommandAdd( pAbc, "ABC9", "&acec", Abc_CommandAbc9Acec, 0 );
1412 Cmd_CommandAdd( pAbc, "ABC9", "&anorm", Abc_CommandAbc9Anorm, 0 );
1413 Cmd_CommandAdd( pAbc, "ABC9", "&decla", Abc_CommandAbc9Decla, 0 );
1414 Cmd_CommandAdd( pAbc, "ABC9", "&esop", Abc_CommandAbc9Esop, 0 );
1415 Cmd_CommandAdd( pAbc, "ABC9", "&exorcism", Abc_CommandAbc9Exorcism, 0 );
1416 Cmd_CommandAdd( pAbc, "ABC9", "&mfs", Abc_CommandAbc9Mfs, 0 );
1417 Cmd_CommandAdd( pAbc, "ABC9", "&mfsd", Abc_CommandAbc9Mfsd, 0 );
1418 Cmd_CommandAdd( pAbc, "ABC9", "&deepsyn", Abc_CommandAbc9DeepSyn, 0 );
1419 Cmd_CommandAdd( pAbc, "ABC9", "&randsyn", Abc_CommandAbc9RandSyn, 0 );
1420 Cmd_CommandAdd( pAbc, "ABC9", "&satsyn", Abc_CommandAbc9SatSyn, 0 );
1421 Cmd_CommandAdd( pAbc, "ABC9", "&stochsyn", Abc_CommandAbc9StochSyn, 0 );
1422// Cmd_CommandAdd( pAbc, "ABC9", "&popart2", Abc_CommandAbc9PoPart2, 0 );
1423// Cmd_CommandAdd( pAbc, "ABC9", "&cexcut", Abc_CommandAbc9CexCut, 0 );
1424// Cmd_CommandAdd( pAbc, "ABC9", "&cexmerge", Abc_CommandAbc9CexMerge, 0 );
1425// Cmd_CommandAdd( pAbc, "ABC9", "&cexmin", Abc_CommandAbc9CexMin, 0 );
1426
1427 Cmd_CommandAdd( pAbc, "Abstraction", "&abs_create", Abc_CommandAbc9AbsCreate, 0 );
1428 Cmd_CommandAdd( pAbc, "Abstraction", "&abs_derive", Abc_CommandAbc9AbsDerive, 0 );
1429 Cmd_CommandAdd( pAbc, "Abstraction", "&abs_refine", Abc_CommandAbc9AbsRefine, 0 );
1430 Cmd_CommandAdd( pAbc, "Abstraction", "&gla_derive", Abc_CommandAbc9GlaDerive, 0 );
1431 Cmd_CommandAdd( pAbc, "Abstraction", "&gla_refine", Abc_CommandAbc9GlaRefine, 0 );
1432 Cmd_CommandAdd( pAbc, "Abstraction", "&gla_shrink", Abc_CommandAbc9GlaShrink, 0 );
1433 Cmd_CommandAdd( pAbc, "Abstraction", "&gla", Abc_CommandAbc9Gla, 0 );
1434 Cmd_CommandAdd( pAbc, "Abstraction", "&vta", Abc_CommandAbc9Vta, 0 );
1435 Cmd_CommandAdd( pAbc, "Abstraction", "&vta_gla", Abc_CommandAbc9Vta2Gla, 0 );
1436 Cmd_CommandAdd( pAbc, "Abstraction", "&gla_vta", Abc_CommandAbc9Gla2Vta, 0 );
1437 Cmd_CommandAdd( pAbc, "Abstraction", "&fla_gla", Abc_CommandAbc9Fla2Gla, 0 );
1438 Cmd_CommandAdd( pAbc, "Abstraction", "&gla_fla", Abc_CommandAbc9Gla2Fla, 0 );
1439
1440 Cmd_CommandAdd( pAbc, "Liveness", "l2s", Abc_CommandAbcLivenessToSafety, 0 );
1441 Cmd_CommandAdd( pAbc, "Liveness", "l2ssim", Abc_CommandAbcLivenessToSafetySim, 0 );
1442 Cmd_CommandAdd( pAbc, "Liveness", "l3s", Abc_CommandAbcLivenessToSafetyWithLTL, 0 );
1443 Cmd_CommandAdd( pAbc, "Liveness", "kcs", Abc_CommandCS_kLiveness, 0 );
1444 Cmd_CommandAdd( pAbc, "Liveness", "nck", Abc_CommandNChooseK, 0 );
1445
1446 Cmd_CommandAdd( pAbc, "ABC9", "&gen", Abc_CommandAbc9Gen, 0 );
1447 Cmd_CommandAdd( pAbc, "ABC9", "&cfs", Abc_CommandAbc9Cfs, 0 );
1448 Cmd_CommandAdd( pAbc, "ABC9", "&prodadd", Abc_CommandAbc9ProdAdd, 0 );
1449 Cmd_CommandAdd( pAbc, "ABC9", "&addflop", Abc_CommandAbc9AddFlop, 0 );
1450 Cmd_CommandAdd( pAbc, "ABC9", "&bmiter", Abc_CommandAbc9BMiter, 0 );
1451 Cmd_CommandAdd( pAbc, "ABC9", "&gen_hie", Abc_CommandAbc9GenHie, 0 );
1452 Cmd_CommandAdd( pAbc, "ABC9", "&putontop", Abc_CommandAbc9PutOnTop, 0 );
1453 Cmd_CommandAdd( pAbc, "ABC9", "&brecover", Abc_CommandAbc9BRecover, 0 );
1454 Cmd_CommandAdd( pAbc, "ABC9", "&str_eco", Abc_CommandAbc9StrEco, 0 );
1455 Cmd_CommandAdd( pAbc, "ABC9", "&gencex", Abc_CommandAbc9GenCex, 0 );
1456 Cmd_CommandAdd( pAbc, "ABC9", "&odc", Abc_CommandAbc9Odc, 0 );
1457 Cmd_CommandAdd( pAbc, "ABC9", "&genrel", Abc_CommandAbc9GenRel, 0 );
1458 Cmd_CommandAdd( pAbc, "ABC9", "&genmux", Abc_CommandAbc9GenMux, 0 );
1459 Cmd_CommandAdd( pAbc, "ABC9", "&gencomp", Abc_CommandAbc9GenComp, 0 );
1460 Cmd_CommandAdd( pAbc, "ABC9", "&gensorter", Abc_CommandAbc9GenSorter, 0 );
1461 Cmd_CommandAdd( pAbc, "ABC9", "&genneuron", Abc_CommandAbc9GenNeuron, 0 );
1462 Cmd_CommandAdd( pAbc, "ABC9", "&genadder", Abc_CommandAbc9GenAdder, 0 );
1463 Cmd_CommandAdd( pAbc, "ABC9", "&window", Abc_CommandAbc9Window, 0 );
1464 Cmd_CommandAdd( pAbc, "ABC9", "&funabs", Abc_CommandAbc9FunAbs, 0 );
1465 Cmd_CommandAdd( pAbc, "ABC9", "&dsdinfo", Abc_CommandAbc9DsdInfo, 0 );
1466 Cmd_CommandAdd( pAbc, "ABC9", "&funtrace", Abc_CommandAbc9FunTrace, 0 );
1467 Cmd_CommandAdd( pAbc, "ABC9", "&mulfind", Abc_CommandAbc9MulFind, 0 );
1468 Cmd_CommandAdd( pAbc, "ABC9", "&andcare", Abc_CommandAbc9AndCare, 0 );
1469
1470 Cmd_CommandAdd( pAbc, "ABC9", "&test", Abc_CommandAbc9Test, 0 );
1471
1472 Cmd_CommandAdd( pAbc, "ABC9", "&eslim", Abc_CommandAbc9eSLIM, 0 );
1473 {
1474// extern Mf_ManTruthCount();
1475// Mf_ManTruthCount();
1476 }
1477
1478 {
1479 extern void Dar_LibStart();
1480 Dar_LibStart();
1481 }
1482 {
1483// extern void Dau_DsdTest();
1484// Dau_DsdTest();
1485// extern void If_ManSatTest();
1486// If_ManSatTest();
1487 }
1488
1489// if ( Sdm_ManCanRead() )
1490// Sdm_ManRead();
1491}
Abc_CommandAbcLivenessToSafety
int Abc_CommandAbcLivenessToSafety(Abc_Frame_t *pAbc, int argc, char **argv)
Definition liveness.c:1254
Abc_CommandAbcLivenessToSafetySim
int Abc_CommandAbcLivenessToSafetySim(Abc_Frame_t *pAbc, int argc, char **argv)
Definition liveness_sim.c:754
Abc_CommandNChooseK
int Abc_CommandNChooseK(Abc_Frame_t *pAbc, int argc, char **argv)
Definition kliveness.c:718
Abc_CommandAbcLivenessToSafetyWithLTL
int Abc_CommandAbcLivenessToSafetyWithLTL(Abc_Frame_t *pAbc, int argc, char **argv)
Definition liveness.c:2268
Abc_CommandCS_kLiveness
int Abc_CommandCS_kLiveness(Abc_Frame_t *pAbc, int argc, char **argv)
Definition kliveness.c:525
Cmd_CommandAdd
void Cmd_CommandAdd(Abc_Frame_t *pAbc, const char *sGroup, const char *sName, Cmd_CommandFuncType pFunc, int fChanges)
Definition cmdApi.c:63
Dar_LibStart
void Dar_LibStart()
MACRO DEFINITIONS ///.
Definition darLib.c:593
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Bac_End()

void Bac_End ( Abc_Frame_t * pAbc)
extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 125 of file bacCom.c.

126{
127 Bac_AbcFreeMan( pAbc );
128}
Here is the caller graph for this function:

◆ Bac_Init()

void Bac_Init ( Abc_Frame_t * pAbc)
extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 102 of file bacCom.c.

103{
104 Cmd_CommandAdd( pAbc, "New word level", "@_read", Bac_CommandRead, 0 );
105 Cmd_CommandAdd( pAbc, "New word level", "@_write", Bac_CommandWrite, 0 );
106 Cmd_CommandAdd( pAbc, "New word level", "@_ps", Bac_CommandPs, 0 );
107 Cmd_CommandAdd( pAbc, "New word level", "@_put", Bac_CommandPut, 0 );
108 Cmd_CommandAdd( pAbc, "New word level", "@_get", Bac_CommandGet, 0 );
109 Cmd_CommandAdd( pAbc, "New word level", "@_clp", Bac_CommandClp, 0 );
110 Cmd_CommandAdd( pAbc, "New word level", "@_cec", Bac_CommandCec, 0 );
111 Cmd_CommandAdd( pAbc, "New word level", "@_test", Bac_CommandTest, 0 );
112}
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Cba_End()

void Cba_End ( Abc_Frame_t * pAbc)
extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 84 of file cbaCom.c.

85{
86 Cba_AbcFreeMan( pAbc );
87}
Here is the caller graph for this function:

◆ Cba_Init()

void Cba_Init ( Abc_Frame_t * pAbc)
extern

FUNCTION DEFINITIONS ///.

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 60 of file cbaCom.c.

61{
62 Cmd_CommandAdd( pAbc, "New word level", ":read", Cba_CommandRead, 0 );
63 Cmd_CommandAdd( pAbc, "New word level", ":write", Cba_CommandWrite, 0 );
64 Cmd_CommandAdd( pAbc, "New word level", ":ps", Cba_CommandPs, 0 );
65 Cmd_CommandAdd( pAbc, "New word level", ":put", Cba_CommandPut, 0 );
66 Cmd_CommandAdd( pAbc, "New word level", ":get", Cba_CommandGet, 0 );
67 Cmd_CommandAdd( pAbc, "New word level", ":clp", Cba_CommandClp, 0 );
68 Cmd_CommandAdd( pAbc, "New word level", ":blast", Cba_CommandBlast, 0 );
69 Cmd_CommandAdd( pAbc, "New word level", ":cec", Cba_CommandCec, 0 );
70 Cmd_CommandAdd( pAbc, "New word level", ":test", Cba_CommandTest, 0 );
71}
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Cmd_End()

void Cmd_End ( Abc_Frame_t * pAbc)
extern

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

Synopsis [Ends the command package.]

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

SideEffects []

SeeAlso []

Definition at line 139 of file cmd.c.

140{
141 st__generator * gen;
142 char * pKey, * pValue;
143 Cmd_HistoryWrite( pAbc, ABC_INFINITY );
144
145// st__free_table( pAbc->tCommands, (void (*)()) 0, CmdCommandFree );
146// st__free_table( pAbc->tAliases, (void (*)()) 0, CmdCommandAliasFree );
147// st__free_table( pAbc->tFlags, free, free );
148
149 st__foreach_item( pAbc->tCommands, gen, (const char **)&pKey, (char **)&pValue )
150 CmdCommandFree( (Abc_Command *)pValue );
151 st__free_table( pAbc->tCommands );
152
153 st__foreach_item( pAbc->tAliases, gen, (const char **)&pKey, (char **)&pValue )
154 CmdCommandAliasFree( (Abc_Alias *)pValue );
155 st__free_table( pAbc->tAliases );
156
157 st__foreach_item( pAbc->tFlags, gen, (const char **)&pKey, (char **)&pValue )
158 ABC_FREE( pKey ), ABC_FREE( pValue );
159 st__free_table( pAbc->tFlags );
160
161 Vec_PtrFreeFree( pAbc->aHistory );
162}
ABC_INFINITY
#define ABC_INFINITY
MACRO DEFINITIONS ///.
Definition abc_global.h:250
ABC_FREE
#define ABC_FREE(obj)
Definition abc_global.h:267
CmdCommandAliasFree
void CmdCommandAliasFree(Abc_Alias *pAlias)
Definition cmdAlias.c:113
CmdCommandFree
void CmdCommandFree(Abc_Command *pCommand)
Definition cmdUtils.c:539
Cmd_HistoryWrite
void Cmd_HistoryWrite(Abc_Frame_t *p, int Limit)
Definition cmdHist.c:134
Abc_Alias
struct MvAlias Abc_Alias
Definition cmd.h:40
Abc_Command
typedefABC_NAMESPACE_HEADER_START struct MvCommand Abc_Command
INCLUDES ///.
Definition cmd.h:39
st__free_table
void st__free_table(st__table *table)
Definition st.c:81
st__foreach_item
#define st__foreach_item(table, gen, key, value)
Definition st.h:107
st__generator
Definition st.h:64
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Cmd_Init()

void Cmd_Init ( Abc_Frame_t * pAbc)
extern

FUNCTION DEFINITIONS ///.

MACRO DEFINITIONS ///.

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

Synopsis [Initializes the command package.]

SideEffects [Commands are added to the command table.]

SeeAlso [Cmd_End]

Definition at line 85 of file cmd.c.

86{
87 pAbc->tCommands = st__init_table(strcmp, st__strhash);
88 pAbc->tAliases = st__init_table(strcmp, st__strhash);
89 pAbc->tFlags = st__init_table(strcmp, st__strhash);
90 pAbc->aHistory = Vec_PtrAlloc( 100 );
91 Cmd_HistoryRead( pAbc );
92
93 Cmd_CommandAdd( pAbc, "Basic", "time", CmdCommandTime, 0 );
94 Cmd_CommandAdd( pAbc, "Basic", "sleep", CmdCommandSleep, 0 );
95 Cmd_CommandAdd( pAbc, "Basic", "echo", CmdCommandEcho, 0 );
96 Cmd_CommandAdd( pAbc, "Basic", "quit", CmdCommandQuit, 0 );
97 Cmd_CommandAdd( pAbc, "Basic", "abcrc", CmdCommandAbcrc, 0 );
98 Cmd_CommandAdd( pAbc, "Basic", "history", CmdCommandHistory, 0 );
99 Cmd_CommandAdd( pAbc, "Basic", "alias", CmdCommandAlias, 0 );
100 Cmd_CommandAdd( pAbc, "Basic", "unalias", CmdCommandUnalias, 0 );
101 Cmd_CommandAdd( pAbc, "Basic", "help", CmdCommandHelp, 0 );
102 Cmd_CommandAdd( pAbc, "Basic", "source", CmdCommandSource, 0 );
103 Cmd_CommandAdd( pAbc, "Basic", "set", CmdCommandSetVariable, 0 );
104 Cmd_CommandAdd( pAbc, "Basic", "unset", CmdCommandUnsetVariable, 0 );
105 Cmd_CommandAdd( pAbc, "Basic", "undo", CmdCommandUndo, 0 );
106 Cmd_CommandAdd( pAbc, "Basic", "recall", CmdCommandRecall, 0 );
107 Cmd_CommandAdd( pAbc, "Basic", "empty", CmdCommandEmpty, 0 );
108#if defined(WIN32)
109 Cmd_CommandAdd( pAbc, "Basic", "scandir", CmdCommandScanDir, 0 );
110 Cmd_CommandAdd( pAbc, "Basic", "renamefiles", CmdCommandRenameFiles, 0 );
111 Cmd_CommandAdd( pAbc, "Basic", "ls", CmdCommandLs, 0 );
112 Cmd_CommandAdd( pAbc, "Basic", "scrgen", CmdCommandScrGen, 0 );
113#else
114 Cmd_CommandAdd( pAbc, "Basic", "scrgen", CmdCommandScrGenLinux, 0 );
115#endif
116 Cmd_CommandAdd( pAbc, "Basic", "version", CmdCommandVersion, 0 );
117 Cmd_CommandAdd( pAbc, "Basic", "sgen", CmdCommandSGen, 0 );
118
119 Cmd_CommandAdd( pAbc, "Various", "sis", CmdCommandSis, 1 );
120 Cmd_CommandAdd( pAbc, "Various", "mvsis", CmdCommandMvsis, 1 );
121 Cmd_CommandAdd( pAbc, "Various", "capo", CmdCommandCapo, 0 );
122 Cmd_CommandAdd( pAbc, "Various", "starter", CmdCommandStarter, 0 );
123 Cmd_CommandAdd( pAbc, "Various", "autotuner", CmdCommandAutoTuner, 0 );
124
125 Cmd_CommandAdd( pAbc, "Various", "load_plugin", Cmd_CommandAbcLoadPlugIn, 0 );
126}
Cmd_CommandAbcLoadPlugIn
int Cmd_CommandAbcLoadPlugIn(Abc_Frame_t *pAbc, int argc, char **argv)
Definition cmdPlugin.c:631
Cmd_HistoryRead
void Cmd_HistoryRead(Abc_Frame_t *p)
Definition cmdHist.c:103
st__strhash
int st__strhash(const char *string, int modulus)
Definition st.c:449
st__init_table
st__table * st__init_table(st__compare_func_type compare, st__hash_func_type hash)
Definition st.c:72
strcmp
int strcmp()
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Glucose2_End()

void Glucose2_End ( Abc_Frame_t * pAbc)
extern

Definition at line 63 of file AbcGlucoseCmd2.cpp.

64{
65}

◆ Glucose2_Init()

void Glucose2_Init ( Abc_Frame_t * pAbc)
extern

FUNCTION DEFINITIONS ///.

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

Synopsis []

Description []

SideEffects []

SeeAlso []

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

FileName [AbcGlucoseCmd.cpp]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [SAT solver Glucose 3.0 by Gilles Audemard and Laurent Simon.]

Synopsis [Interface to Glucose.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - September 6, 2017.]

Revision [

Id
AbcGlucoseCmd.cpp,v 1.00 2005/06/20 00:00:00 alanmi Exp

]

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 58 of file AbcGlucoseCmd2.cpp.

59{
60 Cmd_CommandAdd( pAbc, "ABC9", "&glucose2", Abc_CommandGlucose, 0 );
61}
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Glucose_End()

void Glucose_End ( Abc_Frame_t * pAbc)
extern

Definition at line 63 of file AbcGlucoseCmd.cpp.

64{
65}
Here is the caller graph for this function:

◆ Glucose_Init()

void Glucose_Init ( Abc_Frame_t * pAbc)
extern

FUNCTION DEFINITIONS ///.

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

Synopsis []

Description []

SideEffects []

SeeAlso []

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

FileName [AbcGlucoseCmd.cpp]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [SAT solver Glucose 3.0 by Gilles Audemard and Laurent Simon.]

Synopsis [Interface to Glucose.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - September 6, 2017.]

Revision [

Id
AbcGlucoseCmd.cpp,v 1.00 2005/06/20 00:00:00 alanmi Exp

]

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 58 of file AbcGlucoseCmd.cpp.

59{
60 Cmd_CommandAdd( pAbc, "ABC9", "&glucose", Abc_CommandGlucose, 0 );
61}
Here is the call graph for this function:
Here is the caller graph for this function:

◆ If_End()

void If_End ( Abc_Frame_t * pAbc)
extern

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

Synopsis [Package ending procedure.]

Description []

SideEffects []

SeeAlso []

Definition at line 79 of file ifCom.c.

80{
81 If_LibLutFree( (If_LibLut_t *) Abc_FrameReadLibLut() );
82 If_LibBoxFree( (If_LibBox_t *)Abc_FrameReadLibBox() );
83}
Abc_FrameReadLibLut
ABC_DLL void * Abc_FrameReadLibLut()
Definition mainFrame.c:57
Abc_FrameReadLibBox
ABC_DLL void * Abc_FrameReadLibBox()
Definition mainFrame.c:58
If_LibBox_t
struct If_LibBox_t_ If_LibBox_t
Definition if.h:83
If_LibLut_t
struct If_LibLut_t_ If_LibLut_t
Definition if.h:82
If_LibLutFree
void If_LibLutFree(If_LibLut_t *pLutLib)
Definition ifLibLut.c:332
If_LibBoxFree
void If_LibBoxFree(If_LibBox_t *p)
Definition ifLibBox.c:98
Here is the call graph for this function:
Here is the caller graph for this function:

◆ If_Init()

void If_Init ( Abc_Frame_t * pAbc)
extern

FUNCTION DEFINITIONS ///.

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

Synopsis [Package initialization procedure.]

Description []

SideEffects []

SeeAlso []

Definition at line 53 of file ifCom.c.

54{
55 // set the default library
56 If_LibLut_t s_LutLib = { "lutlib", 4, 0, {0,1,1,1,1}, {{0},{1},{1},{1},{1}} };
57 Abc_FrameSetLibLut( If_LibLutDup(&s_LutLib) );
58
59 Cmd_CommandAdd( pAbc, "FPGA mapping", "read_lut", If_CommandReadLut, 0 );
60 Cmd_CommandAdd( pAbc, "FPGA mapping", "print_lut", If_CommandPrintLut, 0 );
61
62 Cmd_CommandAdd( pAbc, "FPGA mapping", "read_box", If_CommandReadBox, 0 );
63 Cmd_CommandAdd( pAbc, "FPGA mapping", "print_box", If_CommandPrintBox, 0 );
64 Cmd_CommandAdd( pAbc, "FPGA mapping", "write_box", If_CommandWriteBox, 0 );
65 Cmd_CommandAdd( pAbc, "FPGA mapping", "print_tim", If_CommandPrintTim, 0 );
66}
Abc_FrameSetLibLut
ABC_DLL void Abc_FrameSetLibLut(void *pLib)
Definition mainFrame.c:93
If_LibLutDup
If_LibLut_t * If_LibLutDup(If_LibLut_t *p)
Definition ifLibLut.c:312
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Io_End()

void Io_End ( Abc_Frame_t * pAbc)
extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 192 of file io.c.

193{
194}
Here is the caller graph for this function:

◆ Io_Init()

void Io_Init ( Abc_Frame_t * pAbc)
extern

FUNCTION DEFINITIONS ///.

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 117 of file io.c.

118{
119 Cmd_CommandAdd( pAbc, "I/O", "read", IoCommandRead, 1 );
120 Cmd_CommandAdd( pAbc, "I/O", "read_aiger", IoCommandReadAiger, 1 );
121 Cmd_CommandAdd( pAbc, "I/O", "read_baf", IoCommandReadBaf, 1 );
122 Cmd_CommandAdd( pAbc, "I/O", "read_bblif", IoCommandReadBblif, 1 );
123 Cmd_CommandAdd( pAbc, "I/O", "read_blif", IoCommandReadBlif, 1 );
124 Cmd_CommandAdd( pAbc, "I/O", "read_blif_mv", IoCommandReadBlifMv, 1 );
125 Cmd_CommandAdd( pAbc, "I/O", "read_bench", IoCommandReadBench, 1 );
126 Cmd_CommandAdd( pAbc, "I/O", "read_cex", IoCommandReadCex, 1 );
127 Cmd_CommandAdd( pAbc, "I/O", "read_dsd", IoCommandReadDsd, 1 );
128 Cmd_CommandAdd( pAbc, "I/O", "read_formula", IoCommandReadDsd, 1 );
129// Cmd_CommandAdd( pAbc, "I/O", "read_edif", IoCommandReadEdif, 1 );
130 Cmd_CommandAdd( pAbc, "I/O", "read_eqn", IoCommandReadEqn, 1 );
131 Cmd_CommandAdd( pAbc, "I/O", "read_fins", IoCommandReadFins, 0 );
132 Cmd_CommandAdd( pAbc, "I/O", "read_init", IoCommandReadInit, 1 );
133 Cmd_CommandAdd( pAbc, "I/O", "read_pla", IoCommandReadPla, 1 );
134 Cmd_CommandAdd( pAbc, "I/O", "read_plamo", IoCommandReadPlaMo, 1 );
135 Cmd_CommandAdd( pAbc, "I/O", "read_truth", IoCommandReadTruth, 1 );
136 Cmd_CommandAdd( pAbc, "I/O", "read_cnf", IoCommandReadCnf, 1 );
137 Cmd_CommandAdd( pAbc, "I/O", "read_verilog", IoCommandReadVerilog, 1 );
138 Cmd_CommandAdd( pAbc, "I/O", "read_status", IoCommandReadStatus, 0 );
139 Cmd_CommandAdd( pAbc, "I/O", "&read_gig", IoCommandReadGig, 0 );
140 Cmd_CommandAdd( pAbc, "I/O", "read_json", IoCommandReadJson, 0 );
141 Cmd_CommandAdd( pAbc, "I/O", "read_sf", IoCommandReadSF, 0 );
142 Cmd_CommandAdd( pAbc, "I/O", "read_rom", IoCommandReadRom, 1 );
143 Cmd_CommandAdd( pAbc, "I/O", "read_mm", IoCommandReadMM, 1 );
144 Cmd_CommandAdd( pAbc, "I/O", "&read_mm", IoCommandReadMMGia, 1 );
145
146 Cmd_CommandAdd( pAbc, "I/O", "write", IoCommandWrite, 0 );
147 Cmd_CommandAdd( pAbc, "I/O", "write_hie", IoCommandWriteHie, 0 );
148 Cmd_CommandAdd( pAbc, "I/O", "write_aiger", IoCommandWriteAiger, 0 );
149 Cmd_CommandAdd( pAbc, "I/O", "write_aiger_cex", IoCommandWriteAigerCex, 0 );
150 Cmd_CommandAdd( pAbc, "I/O", "write_baf", IoCommandWriteBaf, 0 );
151 Cmd_CommandAdd( pAbc, "I/O", "write_bblif", IoCommandWriteBblif, 0 );
152 Cmd_CommandAdd( pAbc, "I/O", "write_blif", IoCommandWriteBlif, 0 );
153 Cmd_CommandAdd( pAbc, "I/O", "write_blif_mv", IoCommandWriteBlifMv, 0 );
154 Cmd_CommandAdd( pAbc, "I/O", "write_bench", IoCommandWriteBench, 0 );
155 Cmd_CommandAdd( pAbc, "I/O", "write_book", IoCommandWriteBook, 0 );
156 Cmd_CommandAdd( pAbc, "I/O", "write_cellnet", IoCommandWriteCellNet, 0 );
157 Cmd_CommandAdd( pAbc, "I/O", "write_cex", IoCommandWriteCex, 0 );
158 Cmd_CommandAdd( pAbc, "I/O", "write_cnf", IoCommandWriteCnf, 0 );
159 Cmd_CommandAdd( pAbc, "I/O", "&write_cnf", IoCommandWriteCnf2, 0 );
160 Cmd_CommandAdd( pAbc, "I/O", "write_dot", IoCommandWriteDot, 0 );
161 Cmd_CommandAdd( pAbc, "I/O", "write_eqn", IoCommandWriteEqn, 0 );
162 Cmd_CommandAdd( pAbc, "I/O", "write_edgelist",IoCommandWriteEdgelist, 0 );
163 Cmd_CommandAdd( pAbc, "I/O", "write_gml", IoCommandWriteGml, 0 );
164// Cmd_CommandAdd( pAbc, "I/O", "write_list", IoCommandWriteList, 0 );
165 Cmd_CommandAdd( pAbc, "I/O", "write_hmetis", IoCommandWriteHMetis, 0 );
166 Cmd_CommandAdd( pAbc, "I/O", "write_pla", IoCommandWritePla, 0 );
167 Cmd_CommandAdd( pAbc, "I/O", "write_verilog", IoCommandWriteVerilog, 0 );
168// Cmd_CommandAdd( pAbc, "I/O", "write_verlib", IoCommandWriteVerLib, 0 );
169 Cmd_CommandAdd( pAbc, "I/O", "write_sorter_cnf", IoCommandWriteSortCnf, 0 );
170 Cmd_CommandAdd( pAbc, "I/O", "write_truth", IoCommandWriteTruth, 0 );
171 Cmd_CommandAdd( pAbc, "I/O", "&write_truth", IoCommandWriteTruths, 0 );
172 Cmd_CommandAdd( pAbc, "I/O", "&write_truths", IoCommandWriteTruths, 0 );
173 Cmd_CommandAdd( pAbc, "I/O", "write_status", IoCommandWriteStatus, 0 );
174 Cmd_CommandAdd( pAbc, "I/O", "write_smv", IoCommandWriteSmv, 0 );
175 Cmd_CommandAdd( pAbc, "I/O", "write_json", IoCommandWriteJson, 0 );
176 Cmd_CommandAdd( pAbc, "I/O", "&write_resub", IoCommandWriteResub, 0 );
177 Cmd_CommandAdd( pAbc, "I/O", "write_mm", IoCommandWriteMM, 0 );
178 Cmd_CommandAdd( pAbc, "I/O", "&write_mm", IoCommandWriteMMGia, 0 );
179}
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Libs_End()

void Libs_End ( Abc_Frame_t * pAbc)
extern

Definition at line 206 of file libSupport.c.

207{
208 call_ends(pAbc);
209
210 // It's good practice to close our libraries at this point, but this can mess up any backtrace printed by Valgind.
211 // close_libs();
212}
call_ends
void call_ends(Abc_Frame_t *pAbc)
Definition libSupport.c:187
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Libs_Init()

void Libs_Init ( Abc_Frame_t * pAbc)
extern

Definition at line 200 of file libSupport.c.

201{
202 open_libs();
203 call_inits(pAbc);
204}
open_libs
void open_libs()
Definition libSupport.c:55
call_inits
void call_inits(Abc_Frame_t *pAbc)
Definition libSupport.c:171
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Load_End()

void Load_End ( Abc_Frame_t * pAbc)
extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 199 of file cmdLoad.c.

200{
201}
Here is the caller graph for this function:

◆ Load_Init()

void Load_Init ( Abc_Frame_t * pAbc)
extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 164 of file cmdLoad.c.

165{
166 Vec_Ptr_t * vFileNames;
167 char * pName, * pStop;
168 int i;
169 vFileNames = CmdCollectFileNames();
170 if ( vFileNames == NULL )
171 return;
172 Vec_PtrForEachEntry( char *, vFileNames, pName, i )
173 {
174 if ( strncmp( pName, "abccmd_", 7 ) )
175 continue;
176 // get the command name
177// pName[6] = '!';
178 pStop = strstr( pName + 7, "." );
179 if ( pStop )
180 *pStop = 0;
181 // add the command
182 Cmd_CommandAdd( pAbc, "ZZ", pName+7, CmdCommandLoad, 0 );
183// printf( "Loaded command \"%s\"\n", pName+7 );
184 }
185 Vec_PtrFreeFree( vFileNames );
186}
CmdCollectFileNames
Vec_Ptr_t * CmdCollectFileNames()
Definition cmdLoad.c:145
CmdCommandLoad
int CmdCommandLoad(Abc_Frame_t *pAbc, int argc, char **argv)
DECLARATIONS ///.
Definition cmdLoad.c:48
strncmp
int strncmp()
strstr
char * strstr()
Vec_Ptr_t
typedefABC_NAMESPACE_HEADER_START struct Vec_Ptr_t_ Vec_Ptr_t
INCLUDES ///.
Definition vecPtr.h:42
Vec_PtrForEachEntry
#define Vec_PtrForEachEntry(Type, vVec, pEntry, i)
MACRO DEFINITIONS ///.
Definition vecPtr.h:55
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Map_End()

void Map_End ( Abc_Frame_t * pAbc)
extern

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}
Abc_FrameReadLibSuper
ABC_DLL void * Abc_FrameReadLibSuper()
Definition mainFrame.c:61
Map_SuperLib_t
struct Map_SuperLibStruct_t_ Map_SuperLib_t
Definition mapper.h:46
Map_SuperLibFree
void Map_SuperLibFree(Map_SuperLib_t *p)
Definition mapperLib.c:170
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Map_Init()

void Map_Init ( Abc_Frame_t * pAbc)
extern

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}
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Mio_End()

void Mio_End ( Abc_Frame_t * pAbc)
extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 226 of file mio.c.

227{
228 Mio_LibraryDelete( (Mio_Library_t *)Abc_FrameReadLibGen() );
229 Amap_LibFree( (Amap_Lib_t *)Abc_FrameReadLibGen2() );
230}
Amap_Lib_t
typedefABC_NAMESPACE_HEADER_START struct Amap_Lib_t_ Amap_Lib_t
INCLUDES ///.
Definition amap.h:42
Amap_LibFree
void Amap_LibFree(Amap_Lib_t *p)
Definition amapLib.c:67
Abc_FrameReadLibGen
ABC_DLL void * Abc_FrameReadLibGen()
Definition mainFrame.c:59
Abc_FrameReadLibGen2
ABC_DLL void * Abc_FrameReadLibGen2()
Definition mainFrame.c:60
Mio_Library_t
struct Mio_LibraryStruct_t_ Mio_Library_t
Definition mio.h:42
Mio_LibraryDelete
void Mio_LibraryDelete(Mio_Library_t *pLib)
DECLARATIONS ///.
Definition mioUtils.c:51
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Mio_Init()

void Mio_Init ( Abc_Frame_t * pAbc)
extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 198 of file mio.c.

199{
200// Cmd_CommandAdd( pAbc, "SC mapping", "read_liberty", Mio_CommandReadLiberty, 0 );
201
202 Cmd_CommandAdd( pAbc, "SC mapping", "read_genlib", Mio_CommandReadGenlib, 0 );
203 Cmd_CommandAdd( pAbc, "SC mapping", "write_genlib", Mio_CommandWriteGenlib, 0 );
204 Cmd_CommandAdd( pAbc, "SC mapping", "print_genlib", Mio_CommandPrintGenlib, 0 );
205
206 Cmd_CommandAdd( pAbc, "SC mapping", "read_profile", Mio_CommandReadProfile, 0 );
207 Cmd_CommandAdd( pAbc, "SC mapping", "write_profile", Mio_CommandWriteProfile, 0 );
208 Cmd_CommandAdd( pAbc, "SC mapping", "print_profile", Mio_CommandPrintProfile, 0 );
209
210 Cmd_CommandAdd( pAbc, "SC mapping", "read_library", Mio_CommandReadGenlib, 0 );
211 Cmd_CommandAdd( pAbc, "SC mapping", "write_library", Mio_CommandWriteGenlib, 0 );
212 Cmd_CommandAdd( pAbc, "SC mapping", "print_library", Mio_CommandPrintGenlib, 0 );
213}
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Pla_End()

void Pla_End ( Abc_Frame_t * pAbc)
extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 78 of file plaCom.c.

79{
80 Pla_AbcFreeMan( pAbc );
81}
Here is the caller graph for this function:

◆ Pla_Init()

void Pla_Init ( Abc_Frame_t * pAbc)
extern

FUNCTION DEFINITIONS ///.

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 57 of file plaCom.c.

58{
59 Cmd_CommandAdd( pAbc, "Two-level", "|read", Abc_CommandReadPla, 0 );
60 Cmd_CommandAdd( pAbc, "Two-level", "|write", Abc_CommandWritePla, 0 );
61 Cmd_CommandAdd( pAbc, "Two-level", "|ps", Abc_CommandPs, 0 );
62 Cmd_CommandAdd( pAbc, "Two-level", "|gen", Abc_CommandGen, 0 );
63 Cmd_CommandAdd( pAbc, "Two-level", "|merge", Abc_CommandMerge, 0 );
64 Cmd_CommandAdd( pAbc, "Two-level", "|test", Abc_CommandTest, 0 );
65}
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Scl_End()

void Scl_End ( Abc_Frame_t * pAbc)
extern

Definition at line 127 of file scl.c.

128{
129 Abc_SclLoad( NULL, (SC_Lib **)&pAbc->pLibScl );
130 Scl_ConUpdateMan( pAbc, NULL );
131}
SC_Lib
struct SC_Lib_ SC_Lib
Definition sclLib.h:128
Abc_SclLoad
void Abc_SclLoad(SC_Lib *pLib, SC_Lib **ppScl)
FUNCTION DEFINITIONS ///.
Definition scl.c:79
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Scl_Init()

void Scl_Init ( Abc_Frame_t * pAbc)
extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 102 of file scl.c.

103{
104 Cmd_CommandAdd( pAbc, "SCL mapping", "read_lib", Scl_CommandReadLib, 0 );
105 Cmd_CommandAdd( pAbc, "SCL mapping", "write_lib", Scl_CommandWriteLib, 0 );
106 Cmd_CommandAdd( pAbc, "SCL mapping", "print_lib", Scl_CommandPrintLib, 0 );
107 Cmd_CommandAdd( pAbc, "SCL mapping", "leak2area", Scl_CommandLeak2Area, 0 );
108 Cmd_CommandAdd( pAbc, "SCL mapping", "read_scl", Scl_CommandReadScl, 0 );
109 Cmd_CommandAdd( pAbc, "SCL mapping", "write_scl", Scl_CommandWriteScl, 0 );
110 Cmd_CommandAdd( pAbc, "SCL mapping", "dump_genlib", Scl_CommandDumpGen, 0 );
111 Cmd_CommandAdd( pAbc, "SCL mapping", "print_gs", Scl_CommandPrintGS, 0 );
112 Cmd_CommandAdd( pAbc, "SCL mapping", "stime", Scl_CommandStime, 0 );
113 Cmd_CommandAdd( pAbc, "SCL mapping", "topo", Scl_CommandTopo, 1 );
114 Cmd_CommandAdd( pAbc, "SCL mapping", "unbuffer", Scl_CommandUnBuffer, 1 );
115 Cmd_CommandAdd( pAbc, "SCL mapping", "buffer", Scl_CommandBuffer, 1 );
116// Cmd_CommandAdd( pAbc, "SCL mapping", "_buffer", Scl_CommandBufferOld, 1 );
117 Cmd_CommandAdd( pAbc, "SCL mapping", "minsize", Scl_CommandMinsize, 1 );
118 Cmd_CommandAdd( pAbc, "SCL mapping", "maxsize", Scl_CommandMaxsize, 1 );
119 Cmd_CommandAdd( pAbc, "SCL mapping", "upsize", Scl_CommandUpsize, 1 );
120 Cmd_CommandAdd( pAbc, "SCL mapping", "dnsize", Scl_CommandDnsize, 1 );
121 Cmd_CommandAdd( pAbc, "SCL mapping", "print_buf", Scl_CommandPrintBuf, 0 );
122 Cmd_CommandAdd( pAbc, "SCL mapping", "read_constr", Scl_CommandReadConstr, 0 );
123 Cmd_CommandAdd( pAbc, "SCL mapping", "write_constr", Scl_CommandWriteConstr, 0 );
124 Cmd_CommandAdd( pAbc, "SCL mapping", "print_constr", Scl_CommandPrintConstr, 0 );
125 Cmd_CommandAdd( pAbc, "SCL mapping", "reset_constr", Scl_CommandResetConstr, 0 );
126}
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Sim_End()

void Sim_End ( Abc_Frame_t * pAbc)
extern

◆ Sim_Init()

void Sim_Init ( Abc_Frame_t * pAbc)
extern

◆ Super_End()

void Super_End ( Abc_Frame_t * pAbc)
extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 65 of file super.c.

66{
67}
Here is the caller graph for this function:

◆ Super_Init()

void Super_Init ( Abc_Frame_t * pAbc)
extern

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}
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Test_End()

void Test_End ( Abc_Frame_t * pAbc)
extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 60 of file test.c.

61{
62}
Here is the caller graph for this function:

◆ Test_Init()

void Test_Init ( Abc_Frame_t * pAbc)
extern

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}
Here is the caller graph for this function:

◆ Wlc_End()

void Wlc_End ( Abc_Frame_t * pAbc)
extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 117 of file wlcCom.c.

118{
119 Wlc_AbcFreeNtk( pAbc );
120}
Here is the caller graph for this function:

◆ Wlc_Init()

void Wlc_Init ( Abc_Frame_t * pAbc)
extern

FUNCTION DEFINITIONS ///.

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 78 of file wlcCom.c.

79{
80 Cmd_CommandAdd( pAbc, "Word level", "%read", Abc_CommandReadWlc, 0 );
81 Cmd_CommandAdd( pAbc, "Word level", "%write", Abc_CommandWriteWlc, 0 );
82 Cmd_CommandAdd( pAbc, "Word level", "%ps", Abc_CommandPs, 0 );
83 Cmd_CommandAdd( pAbc, "Word level", "%cone", Abc_CommandCone, 0 );
84 Cmd_CommandAdd( pAbc, "Word level", "%abs", Abc_CommandAbs, 0 );
85 Cmd_CommandAdd( pAbc, "Word level", "%pdra", Abc_CommandPdrAbs, 0 );
86 Cmd_CommandAdd( pAbc, "Word level", "%abs2", Abc_CommandAbs2, 0 );
87 Cmd_CommandAdd( pAbc, "Word level", "%memabs", Abc_CommandMemAbs, 0 );
88 Cmd_CommandAdd( pAbc, "Word level", "%memabs2", Abc_CommandMemAbs2, 0 );
89 Cmd_CommandAdd( pAbc, "Word level", "%blast", Abc_CommandBlast, 0 );
90 Cmd_CommandAdd( pAbc, "Word level", "%blastmem", Abc_CommandBlastMem, 0 );
91// Cmd_CommandAdd( pAbc, "Word level", "%graft", Abc_CommandGraft, 0 );
92 Cmd_CommandAdd( pAbc, "Word level", "%retime", Abc_CommandRetime, 0 );
93 Cmd_CommandAdd( pAbc, "Word level", "%profile", Abc_CommandProfile, 0 );
94 Cmd_CommandAdd( pAbc, "Word level", "%short_names", Abc_CommandShortNames, 0 );
95 Cmd_CommandAdd( pAbc, "Word level", "%show", Abc_CommandShow, 0 );
96 Cmd_CommandAdd( pAbc, "Word level", "%test", Abc_CommandTest, 0 );
97
98 Cmd_CommandAdd( pAbc, "Word level", "inv_ps", Abc_CommandInvPs, 0 );
99 Cmd_CommandAdd( pAbc, "Word level", "inv_print", Abc_CommandInvPrint, 0 );
100 Cmd_CommandAdd( pAbc, "Word level", "inv_check", Abc_CommandInvCheck, 0 );
101 Cmd_CommandAdd( pAbc, "Word level", "inv_get", Abc_CommandInvGet, 0 );
102 Cmd_CommandAdd( pAbc, "Word level", "inv_put", Abc_CommandInvPut, 0 );
103 Cmd_CommandAdd( pAbc, "Word level", "inv_min", Abc_CommandInvMin, 0 );
104}
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Wln_End()

void Wln_End ( Abc_Frame_t * pAbc)
extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 77 of file wlnCom.c.

78{
79 Wln_AbcUpdateRtl( pAbc, NULL );
80}
Here is the caller graph for this function:

◆ Wln_Init()

void Wln_Init ( Abc_Frame_t * pAbc)
extern

FUNCTION DEFINITIONS ///.

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 56 of file wlnCom.c.

57{
58 Cmd_CommandAdd( pAbc, "Word level", "%yosys", Abc_CommandYosys, 0 );
59 Cmd_CommandAdd( pAbc, "Word level", "%graft", Abc_CommandGraft, 0 );
60 Cmd_CommandAdd( pAbc, "Word level", "%hierarchy", Abc_CommandHierarchy, 0 );
61 Cmd_CommandAdd( pAbc, "Word level", "%collapse", Abc_CommandCollapse, 0 );
62 //Cmd_CommandAdd( pAbc, "Word level", "%solve", Abc_CommandSolve, 0 );
63 Cmd_CommandAdd( pAbc, "Word level", "%print", Abc_CommandPrint, 0 );
64}
Here is the call graph for this function:
Here is the caller graph for this function: