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

gia → miniaig Relation

File in src/aig/giaIncludes file in src/aig/miniaig
giaMini.cminiaig.h
giaMini.cminilut.h
giaSimBase.cminiaig.h