|
ABC: A System for Sequential Synthesis and Verification
|
|
|
ABC: A System for Sequential Synthesis and Verification
|
|
| File in src/base/wlc | Includes file in src/sat |
|---|---|
| wlc.c | bsat / satStore.h |
| wlcAbs.c | bmc / bmc.h |
| wlcAbs2.c | bmc / bmc.h |
| wlcGraft.c | bsat / satStore.h |
| wlcMem.c | bsat / satStore.h |
| wlcPth.c | bmc / bmc.h |