ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
cec.c
Go to the documentation of this file.
1**CFile****************************************************************
2
3 FileName [cec.c]
4
5 SystemName [ABC: Logic synthesis and verification system.]
6
7 PackageName [Combinational equivalence checking.]
8
9 Synopsis []
10
11 Author [Alan Mishchenko]
12
13 Affiliation [UC Berkeley]
14
15 Date [Ver. 1.0. Started - June 20, 2005.]
16
17 Revision [$Id: cec.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
18
19***********************************************************************/
20
21#include "cecInt.h"
22
23ABC_NAMESPACE_IMPL_START
24
25
29
33
45
46
50
51
52ABC_NAMESPACE_IMPL_END
53
ABC_NAMESPACE_IMPL_START
#define ABC_NAMESPACE_IMPL_START
Definition abc_namespaces.h:54
ABC_NAMESPACE_IMPL_END
#define ABC_NAMESPACE_IMPL_END
Definition abc_namespaces.h:55
system
int system()