ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
abcEco.c File Reference
#include "base/abc/abc.h"
#include "base/main/main.h"
#include "map/mio/mio.h"
Include dependency graph for abcEco.c:

Go to the source code of this file.

Functions

ABC_NAMESPACE_IMPL_START void Abc_NtkEco (char *pFileNames[3])
 DECLARATIONS ///.
 

Function Documentation

◆ Abc_NtkEco()

ABC_NAMESPACE_IMPL_START void Abc_NtkEco ( char * pFileNames[3])

DECLARATIONS ///.

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

FileName [abcEco.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Network and node package.]

Synopsis [Experimental procedures.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

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

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 48 of file abcEco.c.

49{
50}