1. Benini L., De Micheli G. // Logic Synthesis and Verification. 2002. P. 197-223.
2. Brayton B. R., Hachtel G. D., Sangiovanni-Vincentelli A. L. // Proc. of the IEEE. 1990. Vol. 78, N 2. P. 264-300.
3. Rabai Zh. M., Chandrakasan A., Nikolich B. Tsifrovye integral'nye skhemy. Metodologiya proektirovaniya. M., 2007.
4. Roy K., Prasad S. C. Low Power CMOS VLSI Circuit Design. New York, 2000.
5. Power Compiler. Automatic Power Management within Galaxy™ Implementation Platform: http://pdf.aminer.org/000/285/870/power_compiler_a_gate_level_power_optimization_and_synthesis_system.pdf [Electronic resource]. Date of access: 01.02.2014.
6. Cheremisinova L. D. // Informats. tekhnologii. 2010. № 8. S. 27-35.
7. Najm F. N. A. // IEEE Trans. on VLSI. 1994. N 12. P. 446-455.
8. Pedram M. Power // ACM Trans. Design Automation Electronic Systems. 1996. Vol. 1. P. 3-56.
9. Lukoshko G., Konnov E. // Radiolyubitel'. 1997. № 9. S. 39-40.
10. Rudell R. Logic Synthesis for VLSI Design // MemorandumNo. UCB/ERL M89/49, Electronics Research Laboratory, College of Engeneering, University of California, Berceley, CA 94720. 1989.
11. Detjens E. et al. // Proc. IEEE Int. Conf. on CAD (ICCAD). 1987. P. 116-119.
12. Sentovich E. M. et al. SIS: A System for Sequential Circuit Synthesis // University of California, Berkeley, Technical Report No. UCB/ERL M92/41 [Electronic resource]. 1992. Mode of access: http://www.eecs.berkeley.edu/Pubs/TechRpts/1992 ERL-92-41.pdf. Date of access: 25.02.2015.
13. Cheremisinov D. I., Cheremisinova L. D. // Informats. tekhnologii. 2011. № 5. S. 17-23.
14. Brayton R. K., Hachtel G. D., McMullen C., Sangiovanni-Vincentelli A. L. Logic minimization algorithms for VLSI synthesis. Boston, 1984.
15. Brayton R. K., Rudell R., Sangiovanni-Vincentelli A. L. et al. // IEEE Trans. on Computer-Aided Design. 1989. Vol. CAD-6, N 6. P. 1062-1081.
16. Keutzer K. // Proc. 24th ACM/IEEE Design Automation Conf. 1987. P. 341-347.
17. Bibilo P. N., Litskevich V. G. // Mikroelektronika. 2002. № 1. S. 66-77.
18. Mailhot F., De Mitcheli G. // IEEE Trans. on Computer-Aided Design of Integr. Circ. and Systems. 1993. Vol. 12, N 5. P. 599-620.
19. Stok. L., Tiwari V. // Logic Synthesis and Verification. Boston; Dardrecht; London, 2002. P. 115-140.
20. Cheremisinova L. D. Sintez i optimizatsiya kombinatsionnykh struktur SBIS. Minsk, 2007.
21. Cheremisinova L. D. // Informatika. 2010. № 4. S. 112-122.
22. Cheremisinova L. D., Kirienko N. A. // Informats. tekhnologii. 2013. № 3. C. 8-14.
23. Berkeley PLA test set [Electronic resource]. Mode of access: http://www1.cs.columbia.edu/~cs6861/sis/espressoexamples. Date of access: 25.02.2015.
24. Bibilo P. N., Cheremisinova L. D., Kardash S. N. i dr. // Programmnaya inzheneriya. 2013. № 8. S. 35-41.