|
ABC: A System for Sequential Synthesis and Verification
|
|
|
ABC: A System for Sequential Synthesis and Verification
|
|
| File in src/aig/saig | Includes file in src/proof |
|---|---|
| saigMiter.c | fra / fra.h |
| saigSimSeq.c | ssw / ssw.h |
| saigStrSim.c | ssw / ssw.h |
| saigTrans.c | fra / fra.h |