import pytrellis
import nonrouting
from fuzzconfig import FuzzConfig
import fuzzloops

"""
This fuzzer is ***HORRIBLE***, but the interfaces we have access to mean there is no better option.

CIB interconnect tiles have muxes that allow the connections into special function tiles from the CIB can be driven to
constant 0 or 1, as well as from general routing. But there is no way to specify this directly for the CIB connections
(which are named as LUT inputs [A-D][0-7]). So this horrible hack emerges instead, whereby we trace the CIB->EBR 
interconnect and drive constants on the EBR instead. We can't treat this as just an EBR configuration as it applies to
all CIBs, including those where this would be difficult to fuzz and location-dependant. So there's probably not much 
choice...
"""

# List of all pins to fuzz
fuzz_pins = [
    "JA0", "JA1", "JA2", "JA3", "JA4", "JA5", "JA6", "JA7",
    "JB0", "JB1", "JB2", "JB3", "JB4", "JB5", "JB6", "JB7",
    "JC0", "JC1", "JC2", "JC3", "JC4", "JC5", "JC6", "JC7",
    "JD0", "JD1", "JD2", "JD3", "JD4", "JD5", "JD6", "JD7",
    "JCE0", "JCE1", "JCE2", "JCE3", "JCLK0", "JCLK1", "JLSR0", "JLSR1"
]

cfg = FuzzConfig(job="CIBCONST", family="ECP5", device="LFE5U-25F", ncl="empty.ncl",
                 tiles=["CIB_R25C26:CIB_EBR", "CIB_R25C27:CIB_EBR", "CIB_R25C28:CIB_EBR"])


def main():
    pytrellis.load_database("../../../database")
    cfg.setup()
    empty_bitfile = cfg.build_design(cfg.ncl, {})
    cfg.ncl = "cibconst.ncl"

    def per_pin(pin):
        def get_substs(sig, val):
            if val == pin:
                val = "#SIG"
            subs = {"sig": sig, "val": val}
            return subs

        if pin.startswith("JCE"):
            options = [pin, "1"]
        elif pin.startswith("JCLK") or pin.startswith("JLSR"):
            options = [pin, "0"]
        else:
            options = [pin, "0", "1"]
        # Load the EBR database and find the correct signal
        ebrdb = pytrellis.get_tile_bitdata(
            pytrellis.TileLocator(cfg.family, cfg.device, "MIB_EBR4"))
        fconns = ebrdb.get_fixed_conns()
        sig = None
        for conn in fconns:
            if conn.source.endswith(pin):
                sig = conn.sink
                break
        assert sig is not None
        # Convert net name to NCL pin name by stripping extraneous content
        if sig[0] == "J":
            sig = sig[1:]
        sig = sig.replace("_EBR", "")

        nonrouting.fuzz_enum_setting(cfg, "CIB.{}MUX".format(pin), options,
                                     lambda x: get_substs(sig=sig, val=x),
                                     empty_bitfile, False)

    fuzzloops.parallel_foreach(fuzz_pins, per_pin)


if __name__ == "__main__":
    main()