[submodule "verific"]
	path = verific
	url = git@github.com:silimate/verific.git
[submodule "yosys-slang"]
	path = yosys-slang
	url = git@github.com:silimate/yosys-slang.git