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

Go to the source code of this file.

Functions

void Wln_Init (Abc_Frame_t *pAbc)
 FUNCTION DEFINITIONS ///.
 
void Wln_End (Abc_Frame_t *pAbc)
 

Function Documentation

◆ Wln_End()

void Wln_End ( Abc_Frame_t * pAbc)

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)

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}
void Cmd_CommandAdd(Abc_Frame_t *pAbc, const char *sGroup, const char *sName, Cmd_CommandFuncType pFunc, int fChanges)
Definition cmdApi.c:63
Here is the call graph for this function:
Here is the caller graph for this function: