1. Gavrilov, S.V., Metody analiza logicheskikh korrelyatsii dlya SAPR tsifrovykh KMOP SBIS (Methods of Analysis of Logical Correlations in CAD for Digital CMOS VLSI), Moscow: Tekhnosfera, 2011.
2. Yosys Open Synthesis Suite. Version 0.8. http://www.clifford.at/yosys/.
3. ABC: A System for Sequential Synthesis and Verification. Berkeley Logic Synthesis and Verification Group. https://people.eecs.berkeley.edu/~alanmi/abc/.
4. Kernighan, B.W. and Lin, S., An efficient heuristic procedure for partitioning graphs, Bell Syst. Tech. J., 1970, vol. 49, no. 2, pp. 291–307.
5. Fiduccia, C.M. and Mattheyses, R.M., A linear-time heuristic for improving network partitions, in Proceedings of the 19th Design Automation Conference DAC, Las Vegas, NV,
1982, pp. 175–181.