yosys/backends/spice
..
Makefile.inc
spice.cc