ABC: A System for Sequential Synthesis and Verification
Loading...
Searching...
No Matches
base → map Relation
File in src/base
Includes file in src/map
abci
/
abc.c
amap
/
amap.h
abci
/
abc.c
cov
/
cov.h
abci
/
abc.c
fpga
/
fpga.h
abci
/
abc.c
if
/
if.h
abci
/
abc.c
mio
/
mio.h
abci
/
abc.c
mpm
/
mpm.h
abci
/
abcAttach.c
mio
/
mio.h
abci
/
abcDar.c
amap
/
amap.h
abci
/
abcDar.c
mio
/
mio.h
abci
/
abcDetect.c
mio
/
exp.h
abci
/
abcDetect.c
mio
/
mio.h
abci
/
abcEco.c
mio
/
mio.h
abci
/
abcFpga.c
fpga
/
fpgaInt.h
abc
/
abcFunc.c
mio
/
mio.h
abci
/
abcIf.c
if
/
if.h
abci
/
abcIf.c
mio
/
mio.h
abci
/
abcIfif.c
if
/
if.h
abci
/
abcIfMux.c
if
/
if.h
abci
/
abcIvy.c
mio
/
mio.h
abci
/
abcMap.c
mapper
/
mapper.h
abci
/
abcMap.c
mio
/
mio.h
abci
/
abcMap.c
scl
/
sclCon.h
abci
/
abcMap.c
scl
/
sclLib.h
abc
/
abcNtk.c
mio
/
mio.h
abc
/
abcObj.c
mio
/
mio.h
abci
/
abcPart.c
mio
/
mio.h
abci
/
abcPrint.c
if
/
if.h
abci
/
abcPrint.c
mio
/
mio.h
abci
/
abcRec3.c
if
/
if.h
abci
/
abcRenode.c
if
/
if.h
abci
/
abcSpeedup.c
if
/
if.h
abci
/
abcTiming.c
mio
/
mio.h
abc
/
abcUtil.c
mio
/
mio.h
acb
/
acbFunc.c
mio
/
mio.h
bac
/
bacBlast.c
mio
/
mio.h
bac
/
bacPrsBuild.c
mio
/
mio.h
bac
/
bacPtr.c
mio
/
mio.h
bac
/
bacPtrAbc.c
mio
/
mio.h
bac
/
bacWriteBlif.c
mio
/
mio.h
bac
/
bacWriteVer.c
mio
/
mio.h
cba
/
cbaBlast.c
mio
/
mio.h
cba
/
cbaWriteBlif.c
mio
/
mio.h
cba
/
cbaWriteVer.c
mio
/
mio.h
io
/
ioReadBlif.c
mio
/
mio.h
io
/
ioReadBlifMv.c
mio
/
mio.h
io
/
ioWriteBlif.c
mio
/
mio.h
io
/
ioWriteBlif.c
if
/
if.h
io
/
ioWriteBlifMv.c
mio
/
mio.h
io
/
ioWriteBook.c
mio
/
mio.h
io
/
ioWriteDot.c
mio
/
mio.h
io
/
ioWriteEdgelist.c
mio
/
mio.h
io
/
ioWriteEdgelist.c
if
/
if.h
io
/
ioWriteVerilog.c
mio
/
mio.h
main
/
mainFrame.c
if
/
if.h
main
/
mainInt.h
if
/
if.h
ver
/
verCore.c
mio
/
mio.h
src
base
Generated by Doxygen 1.13.2 © 2025 EPTansuo. All rights reserved.
鲁ICP备2021046540号