ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
cbaCba.c File Reference
#include "cba.h"
Include dependency graph for cbaCba.c:

Go to the source code of this file.

Functions

ABC_NAMESPACE_IMPL_START Cba_Man_tCba_ManReadCba (char *pFileName)
 DECLARATIONS ///.
 
void Cba_ManWriteCba (char *pFileName, Cba_Man_t *p)
 

Function Documentation

◆ Cba_ManReadCba()

ABC_NAMESPACE_IMPL_START Cba_Man_t * Cba_ManReadCba ( char * pFileName)

DECLARATIONS ///.

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

FileName [cbaCba.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Hierarchical word-level netlist.]

Synopsis [Reading binary representation.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - July 21, 2015.]

Revision [

Id
cbaCba.c,v 1.00 2014/11/29 00:00:00 alanmi Exp

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 44 of file cbaCba.c.

45{
46 return NULL;
47}

◆ Cba_ManWriteCba()

void Cba_ManWriteCba ( char * pFileName,
Cba_Man_t * p )

Definition at line 48 of file cbaCba.c.

49{
50}