{ stdenv, fetchFromGitHub, python3Packages, yosys, symbiyosys, yices }: python3Packages.buildPythonPackage { name = "nmigen"; src = fetchFromGitHub { owner = "m-labs"; repo = "nmigen"; rev = "ad1a40c934cc33374109069296386d66023671f1"; sha256 = "0r1agrx7z38yzsi6cnxrdv3isbcsvmpkcp0lfxg426l9r52xg4r5"; }; checkPhase = "PATH=${yosys}/bin:${symbiyosys}/bin:${yices}/bin:$PATH python -m unittest discover nmigen.test -v"; propagatedBuildInputs = [ python3Packages.bitarray python3Packages.pyvcd python3Packages.jinja2 ]; meta = with stdenv.lib; { description = "A refreshed Python toolbox for building complex digital hardware"; homepage = "https://m-labs.hk"; license = licenses.bsd2; maintainers = [ maintainers.sb0 ]; }; }