HeavyX/examples/helloworld_ecp5.nix

{ pkgs, hx }:

let
  symbiflowInput = pkgs.runCommand "helloworld-symbiflow-input" {
      buildInputs = [ (pkgs.python3.withPackages(ps: [hx.drvs.nmigen hx.drvs.heavycomps])) hx.drvs.yosys ];
    }
    ''
    mkdir $out

    python ${./helloworld_ecp5.py} > $out/top.il

    cat > $out/top.lpf << EOF
    LOCATE COMP "clk100" SITE "P3";
    IOBUF PORT "clk100" IO_TYPE=LVDS;
    LOCATE COMP "serial_tx" SITE "A11";
    IOBUF PORT "serial_tx" IO_TYPE=LVCMOS33;
    EOF

    echo -n "--um-45k --speed 8 --package CABGA381" > $out/device
    '';
in
  hx.lib.symbiflow.buildBitstream {
    name = "helloworld-bitstream";
    src = symbiflowInput;
  }