src/base/main/mainInit.c File Reference

#include "mainInt.h"
Include dependency graph for mainInit.c:

Go to the source code of this file.

Functions

void Abc_Init (Abc_Frame_t *pAbc)
void Abc_End (Abc_Frame_t *pAbc)
void Io_Init (Abc_Frame_t *pAbc)
void Io_End (Abc_Frame_t *pAbc)
void Cmd_Init (Abc_Frame_t *pAbc)
void Cmd_End (Abc_Frame_t *pAbc)
void Fpga_Init (Abc_Frame_t *pAbc)
void Fpga_End (Abc_Frame_t *pAbc)
void Map_Init (Abc_Frame_t *pAbc)
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)
void Super_End (Abc_Frame_t *pAbc)
void Libs_Init (Abc_Frame_t *pAbc)
void Libs_End (Abc_Frame_t *pAbc)
void Abc_FrameInit (Abc_Frame_t *pAbc)
void Abc_FrameEnd (Abc_Frame_t *pAbc)

Function Documentation

void Abc_End ( Abc_Frame_t *  pAbc  ) 
void Abc_FrameEnd ( Abc_Frame_t *  pAbc  ) 

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

Synopsis [Stops all the packages.]

Description []

SideEffects []

SeeAlso []

Definition at line 83 of file mainInit.c.

00084 {
00085     Abc_End( pAbc );
00086     Io_End( pAbc );
00087     Cmd_End( pAbc );
00088     Fpga_End( pAbc );
00089     Map_End( pAbc );
00090     Mio_End( pAbc );
00091     Super_End( pAbc );
00092     Libs_End( pAbc );
00093 }

void Abc_FrameInit ( Abc_Frame_t *  pAbc  ) 

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

Synopsis [Starts all the packages.]

Description []

SideEffects []

SeeAlso []

Definition at line 59 of file mainInit.c.

00060 {
00061     Cmd_Init( pAbc );
00062     Io_Init( pAbc );
00063     Abc_Init( pAbc );
00064     Fpga_Init( pAbc );
00065     Map_Init( pAbc );
00066     Mio_Init( pAbc );
00067     Super_Init( pAbc );
00068     Libs_Init( pAbc );
00069 }

void Abc_Init ( Abc_Frame_t *  pAbc  ) 

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

] DECLARATIONS ///

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 203 of file abc.c.

00204 {
00205 //    Abc_NtkBddImplicationTest();
00206 
00207     Cmd_CommandAdd( pAbc, "Printing",     "print_stats",   Abc_CommandPrintStats,       0 ); 
00208     Cmd_CommandAdd( pAbc, "Printing",     "print_exdc",    Abc_CommandPrintExdc,        0 );
00209     Cmd_CommandAdd( pAbc, "Printing",     "print_io",      Abc_CommandPrintIo,          0 );
00210     Cmd_CommandAdd( pAbc, "Printing",     "print_latch",   Abc_CommandPrintLatch,       0 );
00211     Cmd_CommandAdd( pAbc, "Printing",     "print_fanio",   Abc_CommandPrintFanio,       0 );
00212     Cmd_CommandAdd( pAbc, "Printing",     "print_mffc",    Abc_CommandPrintMffc,        0 );
00213     Cmd_CommandAdd( pAbc, "Printing",     "print_factor",  Abc_CommandPrintFactor,      0 );
00214     Cmd_CommandAdd( pAbc, "Printing",     "print_level",   Abc_CommandPrintLevel,       0 );
00215     Cmd_CommandAdd( pAbc, "Printing",     "print_supp",    Abc_CommandPrintSupport,     0 );
00216     Cmd_CommandAdd( pAbc, "Printing",     "print_symm",    Abc_CommandPrintSymms,       0 );
00217     Cmd_CommandAdd( pAbc, "Printing",     "print_unate",   Abc_CommandPrintUnate,       0 );
00218     Cmd_CommandAdd( pAbc, "Printing",     "print_auto",    Abc_CommandPrintAuto,        0 );
00219     Cmd_CommandAdd( pAbc, "Printing",     "print_kmap",    Abc_CommandPrintKMap,        0 );
00220     Cmd_CommandAdd( pAbc, "Printing",     "print_gates",   Abc_CommandPrintGates,       0 );
00221     Cmd_CommandAdd( pAbc, "Printing",     "print_sharing", Abc_CommandPrintSharing,     0 );
00222     Cmd_CommandAdd( pAbc, "Printing",     "print_xcut",    Abc_CommandPrintXCut,        0 );
00223     Cmd_CommandAdd( pAbc, "Printing",     "print_dsd",     Abc_CommandPrintDsd,         0 );
00224 
00225     Cmd_CommandAdd( pAbc, "Printing",     "show",          Abc_CommandShow,             0 );
00226     Cmd_CommandAdd( pAbc, "Printing",     "show_bdd",      Abc_CommandShowBdd,          0 );
00227     Cmd_CommandAdd( pAbc, "Printing",     "show_cut",      Abc_CommandShowCut,          0 );
00228 
00229     Cmd_CommandAdd( pAbc, "Synthesis",    "collapse",      Abc_CommandCollapse,         1 );
00230     Cmd_CommandAdd( pAbc, "Synthesis",    "strash",        Abc_CommandStrash,           1 );
00231     Cmd_CommandAdd( pAbc, "Synthesis",    "balance",       Abc_CommandBalance,          1 );
00232     Cmd_CommandAdd( pAbc, "Synthesis",    "multi",         Abc_CommandMulti,            1 );
00233     Cmd_CommandAdd( pAbc, "Synthesis",    "renode",        Abc_CommandRenode,           1 );
00234     Cmd_CommandAdd( pAbc, "Synthesis",    "cleanup",       Abc_CommandCleanup,          1 );
00235     Cmd_CommandAdd( pAbc, "Synthesis",    "sweep",         Abc_CommandSweep,            1 );
00236     Cmd_CommandAdd( pAbc, "Synthesis",    "fx",            Abc_CommandFastExtract,      1 );
00237     Cmd_CommandAdd( pAbc, "Synthesis",    "dsd",           Abc_CommandDisjoint,         1 );
00238     Cmd_CommandAdd( pAbc, "Synthesis",    "imfs",          Abc_CommandImfs,             1 );
00239     Cmd_CommandAdd( pAbc, "Synthesis",    "lutpack",       Abc_CommandLutpack,          1 );
00240 
00241     Cmd_CommandAdd( pAbc, "Synthesis",    "rewrite",       Abc_CommandRewrite,          1 );
00242     Cmd_CommandAdd( pAbc, "Synthesis",    "refactor",      Abc_CommandRefactor,         1 );
00243 //    Cmd_CommandAdd( pAbc, "Synthesis",    "restructure",   Abc_CommandRestructure,      1 );
00244     Cmd_CommandAdd( pAbc, "Synthesis",    "resub",         Abc_CommandResubstitute,     1 );
00245     Cmd_CommandAdd( pAbc, "Synthesis",    "rr",            Abc_CommandRr,               1 );
00246     Cmd_CommandAdd( pAbc, "Synthesis",    "cascade",       Abc_CommandCascade,          1 );
00247 
00248     Cmd_CommandAdd( pAbc, "Various",      "logic",         Abc_CommandLogic,            1 );
00249     Cmd_CommandAdd( pAbc, "Various",      "comb",          Abc_CommandComb,             1 );
00250     Cmd_CommandAdd( pAbc, "Various",      "miter",         Abc_CommandMiter,            1 );
00251     Cmd_CommandAdd( pAbc, "Various",      "demiter",       Abc_CommandDemiter,          1 );
00252     Cmd_CommandAdd( pAbc, "Various",      "orpos",         Abc_CommandOrPos,            1 );
00253     Cmd_CommandAdd( pAbc, "Various",      "andpos",        Abc_CommandAndPos,           1 );
00254     Cmd_CommandAdd( pAbc, "Various",      "append",        Abc_CommandAppend,           1 );
00255     Cmd_CommandAdd( pAbc, "Various",      "frames",        Abc_CommandFrames,           1 );
00256     Cmd_CommandAdd( pAbc, "Various",      "sop",           Abc_CommandSop,              0 );
00257     Cmd_CommandAdd( pAbc, "Various",      "bdd",           Abc_CommandBdd,              0 );
00258     Cmd_CommandAdd( pAbc, "Various",      "aig",           Abc_CommandAig,              0 );
00259     Cmd_CommandAdd( pAbc, "Various",      "reorder",       Abc_CommandReorder,          0 );
00260     Cmd_CommandAdd( pAbc, "Various",      "order",         Abc_CommandOrder,            0 );
00261     Cmd_CommandAdd( pAbc, "Various",      "muxes",         Abc_CommandMuxes,            1 );
00262     Cmd_CommandAdd( pAbc, "Various",      "ext_seq_dcs",   Abc_CommandExtSeqDcs,        0 );
00263     Cmd_CommandAdd( pAbc, "Various",      "cone",          Abc_CommandCone,             1 );
00264     Cmd_CommandAdd( pAbc, "Various",      "node",          Abc_CommandNode,             1 );
00265     Cmd_CommandAdd( pAbc, "Various",      "topmost",       Abc_CommandTopmost,          1 );
00266     Cmd_CommandAdd( pAbc, "Various",      "trim",          Abc_CommandTrim,             1 );
00267     Cmd_CommandAdd( pAbc, "Various",      "short_names",   Abc_CommandShortNames,       0 );
00268     Cmd_CommandAdd( pAbc, "Various",      "exdc_free",     Abc_CommandExdcFree,         1 );
00269     Cmd_CommandAdd( pAbc, "Various",      "exdc_get",      Abc_CommandExdcGet,          1 );
00270     Cmd_CommandAdd( pAbc, "Various",      "exdc_set",      Abc_CommandExdcSet,          1 );
00271     Cmd_CommandAdd( pAbc, "Various",      "cut",           Abc_CommandCut,              0 );
00272     Cmd_CommandAdd( pAbc, "Various",      "espresso",      Abc_CommandEspresso,         1 );
00273     Cmd_CommandAdd( pAbc, "Various",      "gen",           Abc_CommandGen,              0 );
00274 //    Cmd_CommandAdd( pAbc, "Various",      "xyz",           Abc_CommandXyz,              1 );
00275     Cmd_CommandAdd( pAbc, "Various",      "double",        Abc_CommandDouble,           1 );
00276     Cmd_CommandAdd( pAbc, "Various",      "test",          Abc_CommandTest,             0 );
00277 
00278     Cmd_CommandAdd( pAbc, "Various",      "qvar",          Abc_CommandQuaVar,           1 );
00279     Cmd_CommandAdd( pAbc, "Various",      "qrel",          Abc_CommandQuaRel,           1 );
00280     Cmd_CommandAdd( pAbc, "Various",      "qreach",        Abc_CommandQuaReach,         1 );
00281 
00282     Cmd_CommandAdd( pAbc, "New AIG",      "istrash",       Abc_CommandIStrash,          1 );
00283     Cmd_CommandAdd( pAbc, "New AIG",      "icut",          Abc_CommandICut,             0 );
00284     Cmd_CommandAdd( pAbc, "New AIG",      "irw",           Abc_CommandIRewrite,         1 );
00285     Cmd_CommandAdd( pAbc, "New AIG",      "drw",           Abc_CommandDRewrite,         1 );
00286     Cmd_CommandAdd( pAbc, "New AIG",      "drf",           Abc_CommandDRefactor,        1 );
00287     Cmd_CommandAdd( pAbc, "New AIG",      "dcompress2",    Abc_CommandDCompress2,       1 );
00288     Cmd_CommandAdd( pAbc, "New AIG",      "dchoice",       Abc_CommandDChoice,          1 );
00289     Cmd_CommandAdd( pAbc, "New AIG",      "drwsat",        Abc_CommandDrwsat,           1 );
00290     Cmd_CommandAdd( pAbc, "New AIG",      "irws",          Abc_CommandIRewriteSeq,      1 );
00291     Cmd_CommandAdd( pAbc, "New AIG",      "iresyn",        Abc_CommandIResyn,           1 );
00292     Cmd_CommandAdd( pAbc, "New AIG",      "isat",          Abc_CommandISat,             1 );
00293     Cmd_CommandAdd( pAbc, "New AIG",      "ifraig",        Abc_CommandIFraig,           1 );
00294     Cmd_CommandAdd( pAbc, "New AIG",      "dfraig",        Abc_CommandDFraig,           1 );
00295     Cmd_CommandAdd( pAbc, "New AIG",      "csweep",        Abc_CommandCSweep,           1 );
00296     Cmd_CommandAdd( pAbc, "New AIG",      "iprove",        Abc_CommandIProve,           1 );
00297     Cmd_CommandAdd( pAbc, "New AIG",      "haig",          Abc_CommandHaig,             1 );
00298     Cmd_CommandAdd( pAbc, "New AIG",      "mini",          Abc_CommandMini,             1 );
00299     Cmd_CommandAdd( pAbc, "New AIG",      "_bmc",           Abc_CommandBmc,              0 );
00300     Cmd_CommandAdd( pAbc, "New AIG",      "qbf",           Abc_CommandQbf,              0 );
00301 
00302     Cmd_CommandAdd( pAbc, "Fraiging",     "fraig",         Abc_CommandFraig,            1 );
00303     Cmd_CommandAdd( pAbc, "Fraiging",     "fraig_trust",   Abc_CommandFraigTrust,       1 );
00304     Cmd_CommandAdd( pAbc, "Fraiging",     "fraig_store",   Abc_CommandFraigStore,       0 );
00305     Cmd_CommandAdd( pAbc, "Fraiging",     "fraig_restore", Abc_CommandFraigRestore,     1 );
00306     Cmd_CommandAdd( pAbc, "Fraiging",     "fraig_clean",   Abc_CommandFraigClean,       0 );
00307     Cmd_CommandAdd( pAbc, "Fraiging",     "fraig_sweep",   Abc_CommandFraigSweep,       1 );
00308     Cmd_CommandAdd( pAbc, "Fraiging",     "dress",         Abc_CommandFraigDress,       1 );
00309 
00310     Cmd_CommandAdd( pAbc, "Choicing",     "haig_start",    Abc_CommandHaigStart,        0 );
00311     Cmd_CommandAdd( pAbc, "Choicing",     "haig_stop",     Abc_CommandHaigStop,         0 );
00312     Cmd_CommandAdd( pAbc, "Choicing",     "haig_use",      Abc_CommandHaigUse,          1 );
00313 
00314     Cmd_CommandAdd( pAbc, "Choicing",     "rec_start",     Abc_CommandRecStart,         0 );
00315     Cmd_CommandAdd( pAbc, "Choicing",     "rec_stop",      Abc_CommandRecStop,          0 );
00316     Cmd_CommandAdd( pAbc, "Choicing",     "rec_add",       Abc_CommandRecAdd,           0 );
00317     Cmd_CommandAdd( pAbc, "Choicing",     "rec_ps",        Abc_CommandRecPs,            0 );
00318     Cmd_CommandAdd( pAbc, "Choicing",     "rec_use",       Abc_CommandRecUse,           1 );
00319 
00320     Cmd_CommandAdd( pAbc, "SC mapping",   "map",           Abc_CommandMap,              1 );
00321     Cmd_CommandAdd( pAbc, "SC mapping",   "unmap",         Abc_CommandUnmap,            1 );
00322     Cmd_CommandAdd( pAbc, "SC mapping",   "attach",        Abc_CommandAttach,           1 );
00323     Cmd_CommandAdd( pAbc, "SC mapping",   "sc",            Abc_CommandSuperChoice,      1 );
00324     Cmd_CommandAdd( pAbc, "SC mapping",   "scl",           Abc_CommandSuperChoiceLut,   1 );
00325 
00326     Cmd_CommandAdd( pAbc, "FPGA mapping", "fpga",          Abc_CommandFpga,             1 );
00327     Cmd_CommandAdd( pAbc, "FPGA mapping", "ffpga",         Abc_CommandFpgaFast,         1 );
00328     Cmd_CommandAdd( pAbc, "FPGA mapping", "if",            Abc_CommandIf,               1 );
00329 
00330 //    Cmd_CommandAdd( pAbc, "Sequential",   "scut",          Abc_CommandScut,             0 );
00331     Cmd_CommandAdd( pAbc, "Sequential",   "init",          Abc_CommandInit,             1 );
00332     Cmd_CommandAdd( pAbc, "Sequential",   "zero",          Abc_CommandZero,             1 );
00333     Cmd_CommandAdd( pAbc, "Sequential",   "undc",          Abc_CommandUndc,             1 );
00334 //    Cmd_CommandAdd( pAbc, "Sequential",   "pipe",          Abc_CommandPipe,             1 );
00335     Cmd_CommandAdd( pAbc, "Sequential",   "retime",        Abc_CommandRetime,           1 );
00336 //    Cmd_CommandAdd( pAbc, "Sequential",   "sfpga",         Abc_CommandSeqFpga,          1 );
00337 //    Cmd_CommandAdd( pAbc, "Sequential",   "smap",          Abc_CommandSeqMap,           1 );
00338     Cmd_CommandAdd( pAbc, "Sequential",   "ssweep",        Abc_CommandSeqSweep,         1 );
00339     Cmd_CommandAdd( pAbc, "Sequential",   "lcorr",         Abc_CommandLcorr,            1 );
00340     Cmd_CommandAdd( pAbc, "Sequential",   "scleanup",      Abc_CommandSeqCleanup,       1 );
00341     Cmd_CommandAdd( pAbc, "Sequential",   "cycle",         Abc_CommandCycle,            1 );
00342     Cmd_CommandAdd( pAbc, "Sequential",   "xsim",          Abc_CommandXsim,             0 );
00343 
00344     Cmd_CommandAdd( pAbc, "Verification", "cec",           Abc_CommandCec,              0 );
00345     Cmd_CommandAdd( pAbc, "Verification", "sec",           Abc_CommandSec,              0 );
00346     Cmd_CommandAdd( pAbc, "Verification", "dsec",          Abc_CommandDSec,             0 );
00347     Cmd_CommandAdd( pAbc, "Verification", "dprove",        Abc_CommandDProve,           0 );
00348     Cmd_CommandAdd( pAbc, "Verification", "sat",           Abc_CommandSat,              0 );
00349     Cmd_CommandAdd( pAbc, "Verification", "dsat",          Abc_CommandDSat,             0 );
00350     Cmd_CommandAdd( pAbc, "Verification", "prove",         Abc_CommandProve,            1 );
00351     Cmd_CommandAdd( pAbc, "Verification", "debug",         Abc_CommandDebug,            0 );
00352 
00353 //    Cmd_CommandAdd( pAbc, "Verification", "trace_start",   Abc_CommandTraceStart,       0 );
00354 //    Cmd_CommandAdd( pAbc, "Verification", "trace_check",   Abc_CommandTraceCheck,       0 );
00355 
00356 //    Rwt_Man4ExploreStart();
00357 //    Map_Var3Print();
00358 //    Map_Var4Test();
00359 
00360 //    Abc_NtkPrint256();
00361 //    Kit_TruthCountMintermsPrecomp();
00362 //    Kit_DsdPrecompute4Vars();
00363 
00364     {
00365         extern void Dar_LibStart();
00366         Dar_LibStart();
00367     }
00368 }

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 107 of file cmd.c.

00108 {
00109     st_generator * gen;
00110     char * pKey, * pValue;
00111     int i;
00112 
00113 //    st_free_table( pAbc->tCommands, (void (*)()) 0, CmdCommandFree );
00114 //    st_free_table( pAbc->tAliases,  (void (*)()) 0, CmdCommandAliasFree );
00115 //    st_free_table( pAbc->tFlags,    free, free );
00116 
00117     st_foreach_item( pAbc->tCommands, gen, (char **)&pKey, (char **)&pValue )
00118         CmdCommandFree( (Abc_Command *)pValue );
00119     st_free_table( pAbc->tCommands );
00120 
00121     st_foreach_item( pAbc->tAliases, gen, (char **)&pKey, (char **)&pValue )
00122         CmdCommandAliasFree( (Abc_Alias *)pValue );
00123     st_free_table( pAbc->tAliases );
00124 
00125     st_foreach_item( pAbc->tFlags, gen, (char **)&pKey, (char **)&pValue )
00126         free( pKey ), free( pValue );
00127     st_free_table( pAbc->tFlags );
00128 
00129     for ( i = 0; i < pAbc->aHistory->nSize; i++ )
00130         free( pAbc->aHistory->pArray[i] );
00131     Vec_PtrFree( pAbc->aHistory );
00132 }

void Cmd_Init ( Abc_Frame_t *  pAbc  ) 

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

Synopsis [Initializes the command package.]

SideEffects [Commands are added to the command table.]

SeeAlso [Cmd_End]

Definition at line 67 of file cmd.c.

00068 {
00069     pAbc->tCommands = st_init_table(strcmp, st_strhash);
00070     pAbc->tAliases  = st_init_table(strcmp, st_strhash);
00071     pAbc->tFlags    = st_init_table(strcmp, st_strhash);
00072     pAbc->aHistory  = Vec_PtrAlloc( 100 );
00073 
00074     Cmd_CommandAdd( pAbc, "Basic", "time",      CmdCommandTime,           0);
00075     Cmd_CommandAdd( pAbc, "Basic", "echo",      CmdCommandEcho,           0);
00076     Cmd_CommandAdd( pAbc, "Basic", "quit",      CmdCommandQuit,           0);
00077     Cmd_CommandAdd( pAbc, "Basic", "history",   CmdCommandHistory,        0);
00078     Cmd_CommandAdd( pAbc, "Basic", "alias",     CmdCommandAlias,          0);
00079     Cmd_CommandAdd( pAbc, "Basic", "unalias",   CmdCommandUnalias,        0);
00080     Cmd_CommandAdd( pAbc, "Basic", "help",      CmdCommandHelp,           0);
00081     Cmd_CommandAdd( pAbc, "Basic", "source",    CmdCommandSource,         0);
00082     Cmd_CommandAdd( pAbc, "Basic", "set",       CmdCommandSetVariable,    0);
00083     Cmd_CommandAdd( pAbc, "Basic", "unset",     CmdCommandUnsetVariable,  0);
00084     Cmd_CommandAdd( pAbc, "Basic", "undo",      CmdCommandUndo,           0); 
00085     Cmd_CommandAdd( pAbc, "Basic", "recall",    CmdCommandRecall,         0); 
00086     Cmd_CommandAdd( pAbc, "Basic", "empty",     CmdCommandEmpty,          0); 
00087 #ifdef WIN32
00088     Cmd_CommandAdd( pAbc, "Basic", "ls",        CmdCommandLs,             0 );
00089 #endif
00090 
00091     Cmd_CommandAdd( pAbc, "Various", "sis",     CmdCommandSis,            1); 
00092     Cmd_CommandAdd( pAbc, "Various", "mvsis",   CmdCommandMvsis,          1); 
00093     Cmd_CommandAdd( pAbc, "Various", "capo",    CmdCommandCapo,           0); 
00094 }

void Fpga_End ( Abc_Frame_t *  pAbc  ) 
void Fpga_Init ( Abc_Frame_t *  pAbc  ) 

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

Synopsis [Package initialization procedure.]

Description []

SideEffects []

SeeAlso []

Definition at line 56 of file fpga.c.

00057 {
00058     // set the default library
00059     //Fpga_LutLib_t s_LutLib = { "lutlib", 6, 0, {0,1,2,4,8,16,32}, {{0},{1},{2},{3},{4},{5},{6}} };
00060 //    Fpga_LutLib_t s_LutLib = { "lutlib", 5, 0, {0,1,1,1,1,1}, {{0},{1},{1},{1},{1},{1}} };
00061     Fpga_LutLib_t s_LutLib = { "lutlib", 4, 0, {0,1,1,1,1}, {{0},{1},{1},{1},{1}} };
00062     //Fpga_LutLib_t s_LutLib = { "lutlib", 3, 0, {0,1,1,1}, {{0},{1},{1},{1}} };
00063 
00064     Abc_FrameSetLibLut( Fpga_LutLibDup(&s_LutLib) );
00065 
00066     Cmd_CommandAdd( pAbc, "FPGA mapping", "read_lut",   Fpga_CommandReadLibrary,   0 ); 
00067     Cmd_CommandAdd( pAbc, "FPGA mapping", "print_lut",  Fpga_CommandPrintLibrary,  0 ); 
00068 }

void Io_End ( Abc_Frame_t *  pAbc  ) 
void Io_Init ( Abc_Frame_t *  pAbc  ) 

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 79 of file io.c.

00080 {
00081     Cmd_CommandAdd( pAbc, "I/O", "read",          IoCommandRead,         1 );
00082     Cmd_CommandAdd( pAbc, "I/O", "read_aiger",    IoCommandReadAiger,    1 );
00083     Cmd_CommandAdd( pAbc, "I/O", "read_baf",      IoCommandReadBaf,      1 );
00084     Cmd_CommandAdd( pAbc, "I/O", "read_blif",     IoCommandReadBlif,     1 );
00085     Cmd_CommandAdd( pAbc, "I/O", "read_blif_mv",  IoCommandReadBlifMv,   1 );
00086     Cmd_CommandAdd( pAbc, "I/O", "read_bench",    IoCommandReadBench,    1 );
00087     Cmd_CommandAdd( pAbc, "I/O", "read_dsd",      IoCommandReadDsd,      1 );
00088 //    Cmd_CommandAdd( pAbc, "I/O", "read_edif",     IoCommandReadEdif,     1 );
00089     Cmd_CommandAdd( pAbc, "I/O", "read_eqn",      IoCommandReadEqn,      1 );
00090     Cmd_CommandAdd( pAbc, "I/O", "read_init",     IoCommandReadInit,     1 );
00091     Cmd_CommandAdd( pAbc, "I/O", "read_pla",      IoCommandReadPla,      1 );
00092     Cmd_CommandAdd( pAbc, "I/O", "read_truth",    IoCommandReadTruth,    1 );
00093     Cmd_CommandAdd( pAbc, "I/O", "read_verilog",  IoCommandReadVerilog,  1 );
00094 //    Cmd_CommandAdd( pAbc, "I/O", "read_ver",      IoCommandReadVer,      1 );
00095 //    Cmd_CommandAdd( pAbc, "I/O", "read_verlib",   IoCommandReadVerLib,   0 );
00096 
00097     Cmd_CommandAdd( pAbc, "I/O", "write",         IoCommandWrite,        0 );
00098     Cmd_CommandAdd( pAbc, "I/O", "write_hie",     IoCommandWriteHie,     0 );
00099     Cmd_CommandAdd( pAbc, "I/O", "write_aiger",   IoCommandWriteAiger,   0 );
00100     Cmd_CommandAdd( pAbc, "I/O", "write_baf",     IoCommandWriteBaf,     0 );
00101     Cmd_CommandAdd( pAbc, "I/O", "write_blif",    IoCommandWriteBlif,    0 );
00102     Cmd_CommandAdd( pAbc, "I/O", "write_blif_mv", IoCommandWriteBlifMv,  0 );
00103     Cmd_CommandAdd( pAbc, "I/O", "write_bench",   IoCommandWriteBench,   0 );
00104     Cmd_CommandAdd( pAbc, "I/O", "write_cellnet", IoCommandWriteCellNet, 0 );
00105     Cmd_CommandAdd( pAbc, "I/O", "write_counter", IoCommandWriteCounter, 0 );
00106     Cmd_CommandAdd( pAbc, "I/O", "write_cnf",     IoCommandWriteCnf,     0 );
00107     Cmd_CommandAdd( pAbc, "I/O", "write_dot",     IoCommandWriteDot,     0 );
00108     Cmd_CommandAdd( pAbc, "I/O", "write_eqn",     IoCommandWriteEqn,     0 );
00109     Cmd_CommandAdd( pAbc, "I/O", "write_gml",     IoCommandWriteGml,     0 );
00110 //    Cmd_CommandAdd( pAbc, "I/O", "write_list",    IoCommandWriteList,    0 );
00111     Cmd_CommandAdd( pAbc, "I/O", "write_pla",     IoCommandWritePla,     0 );
00112     Cmd_CommandAdd( pAbc, "I/O", "write_verilog", IoCommandWriteVerilog, 0 );
00113 //    Cmd_CommandAdd( pAbc, "I/O", "write_verlib",  IoCommandWriteVerLib,  0 );
00114 }

void Libs_End ( Abc_Frame_t *  pAbc  ) 

Definition at line 183 of file libSupport.c.

00184 {
00185     call_ends(pAbc);
00186 
00187     // It's good practice to close our libraries at this point, but this can mess up any backtrace printed by Valgind.
00188     //    close_libs();
00189 }

void Libs_Init ( Abc_Frame_t *  pAbc  ) 

Definition at line 177 of file libSupport.c.

00178 {
00179     open_libs();
00180     call_inits(pAbc);
00181 }

void Map_End ( Abc_Frame_t *  pAbc  ) 
void Map_Init ( Abc_Frame_t *  pAbc  ) 

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 45 of file mapper.c.

00046 {
00047     Cmd_CommandAdd( pAbc, "SC mapping", "read_super",  Map_CommandReadLibrary, 0 ); 
00048 }

void Mio_End ( Abc_Frame_t *  pAbc  ) 
void Mio_Init ( Abc_Frame_t *  pAbc  ) 

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 72 of file mio.c.

00073 {
00074     char * pFileTemp = "mcnc_temp.genlib";
00075     Mio_Library_t * pLibGen;
00076     FILE * pFile;
00077     int i;
00078 
00079     // write genlib into file
00080     pFile = fopen( pFileTemp, "w" );
00081     for ( i = 0; pMcncGenlib[i]; i++ )
00082         fputs( pMcncGenlib[i], pFile );
00083     fclose( pFile );
00084     // read genlib from file
00085     pLibGen = Mio_LibraryRead( pAbc, pFileTemp, NULL, 0 );
00086     Abc_FrameSetLibGen( pLibGen );
00087 #ifdef WIN32
00088         _unlink( pFileTemp );
00089 #else
00090         unlink( pFileTemp );
00091 #endif
00092 
00093     Cmd_CommandAdd( pAbc, "SC mapping", "read_library",   Mio_CommandReadLibrary,  0 ); 
00094     Cmd_CommandAdd( pAbc, "SC mapping", "print_library",  Mio_CommandPrintLibrary, 0 ); 
00095 }

void Super_End ( Abc_Frame_t *  pAbc  ) 
void Super_Init ( Abc_Frame_t *  pAbc  ) 

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 45 of file super.c.

00046 {
00047     Cmd_CommandAdd( pAbc, "SC mapping",  "super",   Super_CommandSupergates,    0 ); 
00048     Cmd_CommandAdd( pAbc, "SC mapping",  "super2",  Super_CommandSupergatesAnd, 0 ); 
00049 }

Generated on Tue Jan 5 12:18:49 2010 for abc70930 by  doxygen 1.6.1