SRC +=    src/aig/fsim/fsimCore.c \
    src/aig/fsim/fsimFront.c \
    src/aig/fsim/fsimMan.c \
    src/aig/fsim/fsimSim.c \
    src/aig/fsim/fsimSwitch.c \
    src/aig/fsim/fsimTsim.c