#!/usr/bin/env python3

from fuzzconfig import *
import numpy as np
import os

device_class = os.getenv("ICEDEVICE")

assert device_class == "5k"

working_dir = "work_%s_upip" % (device_class, )

os.system("rm -rf " + working_dir)
os.mkdir(working_dir)
def randbin(n):
    return  "".join([np.random.choice(["0", "1"]) for i in range(n)])
for idx in range(num):
    with open(working_dir + "/upip_%02d.v" % idx, "w") as f:
        glbs = ["glb[%d]" % i for i in range(np.random.randint(6)+1)]

        print("""
            module top (
                input  [%d:0] glb_pins,
                input  [%d:0] in_pins,
                output [15:0] out_pins,
                output [%d:0] led_pins
            );
            wire [%d:0] glb, glb_pins;
            SB_GB gbufs [%d:0] (
                .USER_SIGNAL_TO_GLOBAL_BUFFER(glb_pins),
                .GLOBAL_BUFFER_OUTPUT(glb)
            );
        """ % (len(glbs)-1, len(pins) - len(glbs) - 16 - 1, len(led_pins)-1, len(glbs)-1, len(glbs)-1), file=f)
        bits = ["in_pins[%d]" % (i % (len(pins) - len(glbs) - 16 - 1)) for i in range(60)]
        bits = list(np.random.permutation(bits))    
        #Internal oscillators
        tmp =  ["in_pins[%d]" % i for i in range(len(pins) - len(glbs) - 16 - 1)]
        tmp = list(np.random.permutation(tmp))
        for osc in ["LF", "HF"]:
            bit_pu = tmp.pop()
            bit_en = tmp.pop()
            bit_clk = "clk_" + osc
            glbs.append(bit_clk)
            param = ""
            if osc == "HF": #only HFOSC has a divider:
                param = "#(.CLKHF_DIV(\"0b%s\"))" % randbin(2) 
            
            route = np.random.choice(["", "/* synthesis ROUTE_THROUGH_FABRIC = 1 */"])
            
            print("""
                SB_%sOSC %s osc_%s (
                    .CLK%sPU(%s),
                    .CLK%sEN(%s),
                    .CLK%s(%s)
                ) %s;
            """ % (
                osc, param, osc, osc, bit_pu,
                osc, bit_en, osc, bit_clk, route
            ), file=f)
        glbs_orig = list(glbs)
        #256k SPRAM blocks    
        for i in range(num_spram256ka):
            tmp = list(np.random.permutation(bits))
        
            bits_addr       = [tmp.pop() for k in range(14)]
            bits_mask       = [tmp.pop() for k in range(4)]
            bits_wdata      = [tmp.pop() for k in range(16)]
            bit_wren        = tmp.pop()
            bit_cs          = tmp.pop()
            bit_clock       = tmp.pop()
            bit_standby     = tmp.pop()
            bit_sleep       = tmp.pop()
            bit_poweroff    = tmp.pop()
            
            glbs_choice = ["clk", "a", "msk", "wd", "we", "cs", "stb", "slp", "po"]
            
            if len(glbs) != 0:
                s = np.random.choice(glbs_choice)
                glbs_choice.remove(s)
                if s == "clk":  bit_clock       = glbs.pop()
                if s == "a":    bits_addr[np.random.randint(len(bits_addr))] = glbs.pop()
                if s == "msk":  bits_mask [np.random.randint(len(bits_mask ))] = glbs.pop()
                if s == "wd":   bits_wdata[np.random.randint(len(bits_wdata))] = glbs.pop()
                if s == "we":   bit_wren        = glbs.pop()
                if s == "cs":   bit_cs          = glbs.pop()
                if s == "stb":  bit_standby     = glbs.pop()
                if s == "slp":  bit_sleep       = glbs.pop()
                if s == "po":   bit_poweroff    = glbs.pop()
            bits_addr = "{%s}" % ", ".join(bits_addr)
            bits_mask  = "{%s}" % ", ".join(bits_mask)
            bits_wdata = "{%s}" % ", ".join(bits_wdata)

            print("""
                wire [15:0] rdata_%d;
                SB_SPRAM256KA spram_%d (
                    .ADDRESS(%s),
                    .DATAIN(%s),
                    .MASKWREN(%s),
                    .WREN(%s),
                    .CHIPSELECT(%s),
                    .CLOCK(%s),
                    .STANDBY(%s),
                    .SLEEP(%s),
                    .POWEROFF(%s),
                    .DATAOUT(rdata_%d)
                );
            """ % (
                i, i,
                bits_addr, bits_wdata, bits_mask, bit_wren, 
                bit_cs, bit_clock, bit_standby, bit_sleep,
                bit_poweroff, i
            ), file=f)
            bits = list(np.random.permutation(bits))
            if np.random.choice(["XOR", "MULT"]) == "MULT":
                #stress routing at sides more with a multiply
                print("""
                wire [31:0] mult_res_%d;
                assign mult_res_%d = rdata_%d * %s;
                """ % (
                    i, i, i, ("{%s}" % ", ".join(bits[0:32]))
                ), file=f)
                for k in range(32):
                    bits[k] = "mult_res_%d[%d]" % (i, k)
            else:
                for k in range(16):
                    bits[k] = "rdata_%d[%d] ^ %s" % (i, k, bits[k])
        
        # Internal PWM IP
        tmp = list(np.random.permutation(bits))
        glbs = list(glbs_orig)
        bit_cs = tmp.pop()
        bit_clk = np.random.choice([glbs.pop(), tmp.pop()])
        bit_rst = np.random.choice([glbs.pop(), tmp.pop()])
        bit_den = tmp.pop()
        bit_exe = tmp.pop()
        
        bits_dat = [tmp.pop() for k in range(8)] 
        bits_addr = [tmp.pop() for k in range(4)] 

        print("""
            wire [2:0] pwm_out;
            SB_LEDDA_IP ledda (
                .LEDDCS(%s),
                .LEDDCLK(%s),
                .LEDDDAT7(%s),
                .LEDDDAT6(%s),
                .LEDDDAT5(%s),
                .LEDDDAT4(%s),
                .LEDDDAT3(%s),
                .LEDDDAT2(%s),
                .LEDDDAT1(%s),
                .LEDDDAT0(%s),
                .LEDDADDR3(%s),
                .LEDDADDR2(%s),
                .LEDDADDR1(%s),
                .LEDDADDR0(%s),
                .LEDDDEN(%s),
                .LEDDEXE(%s),
                .LEDDRST(%s),
                .PWMOUT0(pwm_out[0]),
                .PWMOUT1(pwm_out[1]),
                .PWMOUT2(pwm_out[2])
            );
        """ % (
        bit_cs, bit_clk, bits_dat[7], bits_dat[6], bits_dat[5], bits_dat[4],
        bits_dat[3], bits_dat[2], bits_dat[1], bits_dat[0], bits_addr[3],
        bits_addr[2], bits_addr[1], bits_addr[0], bit_den, bit_exe, bit_rst
        ), file=f)        
        
        bits.append("pwm_out[0]")
        bits.append("pwm_out[1]")
        bits.append("pwm_out[2]")

        # Constant current LED driver
        current_choices = ["0b000000", "0b000001", "0b000011", "0b000111", "0b001111", "0b011111", "0b111111"]
        current_modes = ["0b0", "0b1"]
        
        currents = [np.random.choice(current_choices) for i in range(3)]
        
        bit_curren = np.random.choice(bits)
        bit_rgbleden = np.random.choice(bits)
        bits_pwm = [np.random.choice([np.random.choice(bits), "pwm_out[%d]" % i]) for i in range(3)]

        print("""
            SB_RGBA_DRV #(
                .CURRENT_MODE(\"%s\"),
                .RGB0_CURRENT(\"%s\"),
                .RGB1_CURRENT(\"%s\"),
                .RGB2_CURRENT(\"%s\")
            ) rgba_drv (
                .CURREN(%s),
                .RGBLEDEN(%s),
                .RGB0PWM(%s),
                .RGB1PWM(%s),
                .RGB2PWM(%s),
                .RGB0(led_pins[0]),
                .RGB1(led_pins[1]),
                .RGB2(led_pins[2])
            );
        """ % (
            np.random.choice(current_modes), currents[0], currents[1], currents[2],
            bit_curren, bit_rgbleden, bits_pwm[0], bits_pwm[1], bits_pwm[2]
        ), file = f)
        
        # TODO: I2C and SPI
        
        print("assign out_pins = rdata_%d;" % i, file=f)
        print("endmodule", file=f)
    with open(working_dir + "/upip_%02d.pcf" % idx, "w") as f:
        p = list(np.random.permutation(pins))
        for i in range(len(pins) - len(glbs) - 16):
            print("set_io in_pins[%d] %s" % (i, p.pop()), file=f)
        for i in range(16):
            print("set_io out_pins[%d] %s" % (i, p.pop()), file=f)
        for i in range(len(led_pins)):
            print("set_io led_pins[%d] %s" % (i, led_pins[i]), file=f)

output_makefile(working_dir, "upip")