1. Bystrodeistvuyushchie matrichnye BIS i SBIS. Teoriya i proektirovanie / B.N. Faizulaev [i dr.]; pod obshch. red. B.N. Faizulaeva i I.I. Shagurina. - M., 1989. - 304 s.
2. Lukoshko, G.K. KMOP - bazovye matrichnye kristally serii K1574 / G.K. Lukoshko, E.V. Konnov // Radiolyubitel'. - 1997. - № 9. - S. 39-40.
3. Bibilo, P.N. Osnovy yazyka VHDL / P.N. Bibilo. - M.: SOLON-R, 2002. - 224 s.
4. Bibilo, P.N. Cistemy proektirovaniya integral'nykh skhem na osnove yazyka VHDL. StateCAD, ModelSim, LeonardoSpectrum / P.N. Bibilo. - M.: SOLON-Press, 2005. - 384 s.
5. Sistema «Custom Logic» avtomatizirovannogo proektirovaniya upravlyayushchei logiki zakaznykh tsifrovykh SBIS / P.N. Bibilo [i dr.] // Mikroelektronika. - 2004. - T. 32. - № 5.
6. Sistema logicheskogo proektirovaniya «Sintez BMK» / P.N. Bibilo [i dr.] // UsiM. - 2001. - № 3. - S. 28-35.
7. Bukhteev, A.V. Sistemy na kristalle. Novye tendentsii / A.V. Bukhteev, V.V. Nemudrov // Elektronika: nauka, tekhnologii, biznes.- 2004. - № 3. - S. 52-56.
8. Kochanov, D.A. Razrabotka leksicheskogo analizatora dlya translyatora VHDL-opisanii logicheskikh skhem / D.A. Kochanov // Materialy Pyatoi Mezhdunar. konf. «Computer-Aided Design of Discrete Devices» (CAD DD'04), Minsk, 15-17 noyabrya 2004 g. - Minsk: OIPI NAN Belarusi, 2004. - T. 2. - S. 179-186.
9. Cheremisinov, D. Schematic netlist converter / D. Cheremisinov // Proceedings of the Tourth Int. Conf. on Computer-Aided Design of Discrete Devices (CAD DD'2001), Minsk, Nov. 14-16, 2001. - Minsk, 2001. - Vol. 1 - P. 121-125.
10. Kirienko, N.A. Kompilyatsiya funktsional'no-strukturnykh opisanii logicheskikh skhem / N.A. Kirienko // Avtomatizatsiya proektirovaniya diskretnykh sistem: sb. nauch. st. - Minsk: In-t tekhn. kibernetiki AN Belarusi, 1995. - S. 92-101.
11. Toropov, N.R. Preobrazovanie mnogoyarusnoi kombinatsionnoi seti v dvukh"yarus-nuyu / N.R. Toropov // Logicheskoe proektirovanie: sb. nauch. st. - Minsk: In-t tekhn. kibernetiki AN Belarusi, 2000. - Vyp. 5. - S. 4-14.
12. Cheremisinova, L.D. K faktorizatsionnomu metodu sinteza mnogourovnevykh skhem na BIS / L.D. Cheremisinova // Tsifrovaya obrabotka informatsii i upravlenie v chrezvychainykh situatsiyakh: materialy Pervoi Mezhdunar. konf. «Computer-Aided Design of Discrete Devices» (CAD DD'01), Minsk, 14-17 noyabrya 1998 g. - Minsk, 1998. - T. 2. - S. 227-232.
13. Toropov, N.R. Minimizatsiya sistem bulevykh funktsii v klasse DNF / N.R. Toropov // Logicheskoe proektirovanie: sb. nauch. st. - Minsk: In-t tekhn. kibernetiki AN Belarusi, 1999. - Vyp. 4. - S. 4-19.
14. Kardash, S.N. Sintez kombinatsionnykh skhem iz bibliotechnykh elementov / S.N. Kardash // Metody logicheskogo proektirovaniya: sb. nauch. tr. - Minsk: OIPI NAN Belarusi, 2003. - Vyp. 2. - S. 33-40.
15. Kardash, S.N. Sintez kombinatsionnykh skhem, realizuemykh v sostave bazovykh matrichnykh kristallov / S.N. Kardash // Materialy Pyatoi Mezhdunar. konf. «Computer-Aided Design of Discrete Devices» (CAD DD'2004), Minsk, 15-17 noyabrya 2004 g. - Minsk: OIPI NAN Belarusi, 2004. - T. 2. - S. 171-178.
16. Goldberg, E. BerkMin: A fast and robust SAT-solver / E. Goldberg, Ya. Novikov // Proceedings of Design, Automation and Test in Europe Conference. - Paris, 2002. - S. 142-149.
17. Romanov, V.I. Ispol'zovanie mekhanizma produktsii dlya organizatsii dinamicheskogo menyu v SAPR funktsional'no-logicheskikh skhem / V.I. Romanov // Aktual'nye problemy radioelektroniki: nauchnye issledovaniya, podgotovka kadrov: materialy konferentsii. - Minsk: MGVRK, 2006. - C. 295-297.