参考： http://www.clifford.at/yosys/ http://www.clifford.at/yosys/files/yosys-austrochip2013.pdf https://chips4makers.io/blog/open-source-mixed-rtl-synthesis.html http://www.clifford.at/yosys/files