ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
simSat.c
Go to the documentation of this file.
1
20
21#include "base/abc/abc.h"
22#include "sim.h"
23
24ABC_NAMESPACE_IMPL_START
25
26
30
34
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