ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches

gia → map Relation

File in src/aig/giaIncludes file in src/map
giaAigerExt.cmio / mio.h
giaAigerExt.cmio / mioInt.h
giaIf.cif / if.h
giaIff.cif / if.h
giaIiff.cmio / mio.h
giaNf.cmio / mio.h
giaNf.cscl / sclCon.h
giaOf.cmio / mio.h
giaPf.cmio / mio.h
giaSatLut.cscl / sclCon.h
giaSatMap.cscl / sclCon.h
giaSpeedup.cif / if.h
giaTranStoch.cmio / mio.h