{ stdenv, python3Packages, yosys, symbiyosys, yices, git }:

python3Packages.buildPythonPackage rec {
	pname = "nmigen";
	version = "0.1";

	src = python3Packages.fetchPypi {
		inherit pname version;
		sha256 = "1fhichp1flyj4f6n8dmmsj011yjibdkdikl45v7izcqfycmaqm8v";
	};

	checkInputs = [ yosys symbiyosys yices ];
	checkPhase = "python -m unittest discover nmigen.test -v";

	nativeBuildInputs = [ python3Packages.setuptools_scm git ];
	propagatedBuildInputs = [ python3Packages.bitarray python3Packages.pyvcd python3Packages.jinja2 python3Packages.setuptools ];

 	 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 ];
	};
}