yosys_backend(spice
	spice.cc
)
