1. C. Wolf "Yosys Open SYnthesis Suite " http://www.clifford.at/yosys/. C. Wolf "Yosys Open SYnthesis Suite " http://www.clifford.at/yosys/.
2. Berkeley Logic Synthesis and Verification Group "ABC: A System for Sequential Synthesis and Verification " http://www.eecs.berkeley.edu/alanmi/abc/. Berkeley Logic Synthesis and Verification Group "ABC: A System for Sequential Synthesis and Verification " http://www.eecs.berkeley.edu/alanmi/abc/.
3. D. Shah E. Hung C. Wolf S. Bazanski D. Gisselquist and M. Milanovic "Yosys D. Shah E. Hung C. Wolf S. Bazanski D. Gisselquist and M. Milanovic "Yosys