Formally verified ARTIQ RTIO core in nMigen
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

18 lines
459 B

  1. let
  2. pkgs = import <nixpkgs> {};
  3. nmigen-latest = pkgs.python3Packages.nmigen.overrideAttrs(oa: {
  4. src = pkgs.fetchFromGitHub {
  5. owner = "M-Labs";
  6. repo = "nmigen";
  7. rev = "39602ae3fdd143f3aa130278fb185cf3ff98d6da";
  8. sha256 = "1b0rjbb6is6nzbcnxrwh5iv4k9xcac0ijq5kp47wdg9rhbnaa5w0";
  9. };
  10. });
  11. in
  12. pkgs.mkShell {
  13. buildInputs = [
  14. (pkgs.python3.withPackages(ps: [nmigen-latest]))
  15. pkgs.yosys pkgs.symbiyosys
  16. ];
  17. }