{ stdenv, fetchFromGitHub, python3Packages, yosys, symbiyosys, yices }: python3Packages.buildPythonPackage { name = "nmigen"; src = fetchFromGitHub { owner = "m-labs"; repo = "nmigen"; rev = "b45c5119f573e156a3aad4a362ca210d6e40505e"; sha256 = "1qyh6h8amqz9z6l2h0rj4lzpkm1i2fgbxn5m0p6igwflqk0svffz"; }; 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 ]; }; }