1. Kuehlmann, A. Combinational and Sequential Equivalence Checking / A. Kuehlmann,
2. A.J. Cornelis van Eijk // Logic synthesis and Verification ; ed. S. Hassoun, T. Sasao, R.K. Brayton. - Kluwer Academic Publishers, 2002. - P. 343-372.
3. Advanced Formal Verification / R. Drechsler [et al.]. - Boston, Dordrecht, London : Kluwer
4. Academic Publishers, 2005. - 249 p.
5. Novikov, D.Ya. Programmnyi kompleks dlya verifikatsii kombinatsionnykh ustroistv v protsesse logicheskogo proektirovaniya / D.Ya. Novikov, L.D. Cheremisinova // Chetvertyi Belorusskii kosmicheskii kongress : Materialy kongressa, Minsk, 25-27 oktyabrya 2011 g. : v 2 t. / OIPI NAN Belarusi ; redkol.: A.V. Tuzikov [i dr.]. - Minsk, 2011. - T. 2. - S. 289-293.
6. Sorensson, N. MiniSat v1.13 A SAT Solver with Conflict-Clause Minimization /
7. N. Sorensson, N. Een // The International Conference on Theory and Applications of Satisfiability Testing (SAT 2005) [Electronic resource]. - 2005. - Mode of access : http://www.lri.fr/~simon/contest
8. results/descriptions/solvers/minisat_static.pdf. - Date of access : 16.02.2009.
9. Kunz, W. SAT and ATPG: Algorithms for Boolean Decision Problems / W. Kunz,
10. J. Marques-Silva, S. Malik // Logic synthesis and Verification ; ed. S. Hassoun, T. Sasao and
11. R.K. Brayton. - Kluwer Academic Publishers, 2002. - P. 309-341.
12. Goldberg, E. BerkMin: A fast and robust SAT-Solver / E. Goldberg, Y. Novikov // European
13. Design and Test Conference (DATE’02) : Proc. of the conf., Paris, 4-8 March 2002 / Le Palais des Congres. - Paris, 2002. - P. 142-149.
14. Cheremisinova, L. SAT-Based Approach to Verification of Logical Descriptions with Functional Indeterminacy / L. Cheremisinova, D. Novikov // 8th Intern. Workshop on Boolean Problems : Proc. of the Workshop, Freiberg, 18-19 September 2008 / Techn. univ. Bergakademie ; ed. by
15. B. Steinbach. - Freiberg, 2008. - P. 59-66.
16. Cheremisinova, L.D. Formal'naya verifikatsiya opisanii s funktsional'noi neopredelennost'yu na osnove proverki vypolnimosti kon"yunktivnoi normal'noi formy / L.D. Cheremisinova, D.Ya. Novikov // Avtomatika i vychislitel'naya tekhnika. - 2010. - № 1. - C. 5-16.
17. Zakrevskii, A.D. Generatory psevdosluchainykh logiko-kombinatornykh ob"ektov v
18. S++ / A.D. Zakrevskii, N.R. Toropov // Logicheskoe proektirovanie. - Minsk : In-t tekhn. kibernetiki NAN Belarusi, 1999. - Vyp. 4. - S. 49-63.
Email this article 