| from fuzzconfig import FuzzConfig |
| import nonrouting |
| import pytrellis |
| import fuzzloops |
| import interconnect |
| |
| cfg = FuzzConfig(job="JTAG", family="ECP5", device="LFE5U-45F", ncl="empty.ncl", |
| tiles=["MIB_R71C4:EFB0_PICB0", "MIB_R71C5:EFB1_PICB1", "MIB_R71C6:EFB2_PICB0"]) |
| |
| |
| def get_substs(exclk_used="YES", clk_freq="2.4", checkalways="DISABLED"): |
| if clk_freq == "NONE": |
| comment = "//" |
| else: |
| comment = "" |
| if exclk_used == "YES" and clk_freq != "NONE": |
| scomment = "" |
| else: |
| scomment = "//" |
| return dict(comment=comment, scomment=scomment, clk_freq=clk_freq, checkalways=checkalways) |
| |
| |
| def main(): |
| pytrellis.load_database("../../../database") |
| cfg.setup() |
| empty_bitfile = cfg.build_design(cfg.ncl, {}) |
| cfg.ncl = "sed.ncl" |
| |
| nonrouting.fuzz_enum_setting(cfg, "SED.CLK_FREQ", ["NONE", "2.4", "4.8", "9.7", "19.4", "38.8", "62.0"], |
| lambda x: get_substs(clk_freq=x), empty_bitfile, False) |
| nonrouting.fuzz_enum_setting(cfg, "SED.CHECKALWAYS", ["DISABLED", "ENABLED"], |
| lambda x: get_substs(checkalways=x), empty_bitfile, False) |
| nonrouting.fuzz_enum_setting(cfg, "SED.SEDEXCLK_USED", ["YES", "NO"], |
| lambda x: get_substs(exclk_used=x), empty_bitfile, False) |
| cfg.ncl = "sed_routing.ncl" |
| interconnect.fuzz_interconnect_with_netnames( |
| cfg, |
| ["R70C4_SEDSTDBY_SED", |
| "R70C4_JSEDENABLE_SED", |
| "R70C4_JSEDSTART_SED", |
| "R70C4_JSEDFRCERR_SED", |
| "R70C4_JSEDEXCLK_SED", |
| "R70C4_JSEDERR_SED", |
| "R70C4_JSEDDONE_SED", |
| "R70C4_JSEDINPROG_SED", |
| "R70C4_JAUTODONE_SED" |
| ], |
| bidir=True |
| ) |
| |
| |
| if __name__ == "__main__": |
| main() |
| |
