АВТОМАТИЗАЦИЯ ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ
Abstract
Дается краткий обзор теоретических результатов, полученных в лаборатории логического проектирования ОИПИ НАН Беларуси в области автоматизации логического проектирования дискретных устройств и сверхбольших интегральных схем. Сообщается также о разработанных в лаборатории комплексах программ и системах логического проектирования.
About the Authors
П. Бибило
Объединенный институт проблем информатики НАН Беларуси
Belarus
Belarus
Л. Черемисинова
Объединенный институт проблем информатики НАН Беларуси
Belarus
Belarus
References
1. Zakrevskii A.D., Toropov N.R. Sistema programmirovaniya LYaPAS-M. - Mn.: Nauka i tekhnika, 1978. - 238 s.
2. Toropov N.R. Dialogovaya sistema programmirovaniya LES. - Mn.: Nauka i tekhnika, 1982. - 264 s.
3. Tomashev V.F. Mobil'nyi LYaPAS M-translyator (variant dlya BESM 6). - Mn.: In t tekhn. kibernetiki AN BSSR, 1982. - 105 s.
4. Toropov N.R. Algoritmicheskii yazyk LYaPAS // Logicheskoe proektirovanie: sb. nauch. tr. - Mn.: In-t tekhn. kibernetiki NAN Belarusi, 2001. - Vyp. 6. - S. 6-25.
5. Bibilo P.N. Kremnievaya kompilyatsiya zakaznykh SBIS. - Mn.: In-t tekhn. kibernetiki AN Belarusi, 1996. - 268 s.
6. Zakrevskii A.D., Vasilenok V.K. Opisanie algoritmov logicheskogo upravleniya. - Mn.: In-t tekhn. kibernetiki AN BSSR, 1985. - 67 s.
7. Zakrevskii A.D. Parallel'nye algoritmy logicheskogo upravleniya. - Mn.: In-t tekhn. kibernetiki NAN Belarusi, 1999. - 202 s.
8. Sistema LOGIKA-M sinteza upravlyayushchikh ustroistv v bazise PLM i mikroprotsessorov / A.D. Zakrevskii, V.K. Vasilenok, L.D. Cheremisinova i dr. // Upravlyayushchie sistemy i mashiny. - 1987. - № 3. - S. 31-36.
9. Sistema logicheskogo sinteza ustroistv upravleniya na baze programmiruemykh kontrollerov / L.D. Cheremisinova, V.K. Vasilenok, E.V. Zheludko i dr. - Mn.: In-t tekhn. kibernetiki AN BSSR, 1988. - 100 s.
10. Cheremisinov D.I. Sistema sinteza programm dlya mikroprotsessorov. - Mn.: In t tekhn. kibernetiki AN BSSR, 1989. - 84 s.
11. Cheremisinov D.I. Schematic netlist converter // Proc. of the Fourth Int. Conf. on Computer-Aided Design of Discrete Devices (CAD DD'2001), Minsk, Belarus, November 14-16, 2001. - Minsk: Institute of Engineering Cybernetics, NAS of Belarus, 2001. - V. 1. - P. 121-125/
12. Bibilo P.N. Osnovy yazyka VHDL. - M.: Solon-R, 2000. - 200 s.
13. Bibilo P.N. Sintez logicheskikh skhem s ispol'zovaniem yazyka VHDL. - M.: Solon R, 2002. - 384 s.
14. Cheremisinova L.D. Opisanie i verifikatsiya parallel'nykh algoritmov logicheskogo upravleniya // Logicheskoe proektirovanie: sb. nauch. tr. - Mn.: In-t tekhn. kibernetiki NAN Belarusi, 2001. - Vyp. 6. - S. 69-87.
15. Tropashko V.V. Dokazatel'stvo gipotezy o polnoi redutsiruemosti setei // Proektirovanie sistem logicheskogo upravleniya: sb. nauch. tr. - Mn.: In t tekhn. kibernetiki AN BSSR, 1986. - S. 13-21.
16. Cheremisinova L.D. Realizatsiya parallel'nykh algoritmov logicheskogo upravleniya. - Mn.: In-t tekhn. kibernetiki NAN Belarusi, 2002. - 246 s.
17. Kovalev A.V., Pottosin Yu.V. K dekompozitsii parallel'nykh algoritmov logicheskogo upravleniya // Avtomatika i vychislitel'naya tekhnika. - 1988. - № 1. - S. 8-13.
18. Zakrevskii A.D. Logicheskii sintez kaskadnykh skhem. - M.: Nauka, 1981. - 416 c.
19. Cheremisinov D.I. Instrumental'nyi kompleks dlya razrabotki programmnogo obespecheniya mikroprotsessorov. - Mn.: In-t tekhn. kibernetiki AN BSSR, 1988. - 58 s.
20. Utkin A.A. Analiz logicheskikh setei i tekhnika bulevykh vychislenii. - Mn.: Nauka i tekhnika, 1979. - 152 s.
21. Utkin A.A. Eksperimental'noe issledovanie algoritmov «VYPOLNIMOST''» // Avtomatika i vychislitel'naya tekhnika. - 1990. - № 6. - S. 66-74.
22. Goldberg E., Novikov Ya. BerkMin: A fast and robust SAT-solver // Proceedings of Design, Automation and Test in Europe Conference. - 2002. - P. 142-149.
23. Zakrevskii A.D. Kombinatorika logicheskogo proektirovaniya // Avtomatika i vychislitel'naya tekhnika. - 1990. - № 2. - S. 68-79.
24. Zakrevskii A.D. Kombinatornye zadachi nad logicheskimi matritsami v logicheskom proektirovanii i iskusstvennom intellekte // Uspekhi sovremennoi radioelektroniki. - 1998. - № 2. - S. 59-67.
25. Pottosin Yu.V. Zadachi teorii grafov v logicheskom proektirovanii // Logicheskoe proektirovanie: sb. nauch. tr. - Mn.: In-t tekhn. kibernetiki NAN Belarusi, 2001. - Vyp. 6. - S. 106-130.
26. Sintez asinkhronnykh avtomatov na EVM / pod red. A.D.Zakrevskogo. - Mn.: Nauka i tekhnika, 1975. - 184 s.
27. Pogartsev A.G. Novye algoritmy sovmestnoi minimizatsii bulevykh funktsii // Avtomatika i vychislitel'naya tekhnika. - 1980. - № 1. - S. 34-41.
28. Bibilo P.N., Enin S.V. Sintez kombinatsionnykh skhem metodami funktsional'noi dekompozitsii. - Mn.: Nauka i tekhnika, 1987. - 189 s.
29. Sistema logicheskogo proektirovaniya diskretnykh ustroistv na programmiruemykh matrichnykh BIS / P.N. Bibilo, E.I. Gol'dberg, I.P. Karkotskaya i dr. - Mn.: In-t tekhn. kibernetiki AN BSSR, 1987. - 82 s.
30. Kompleks programm sinteza kombinatsionnykh skhem v bazise PLM i MLV / A.A. Dud-kin, Yu.V. Pottosin, A.A. Sinichka i dr. - Mn.: In-t tekhn. kibernetiki AN BSSR, 1988. - 67 s.
31. Sistema logicheskogo proektirovaniya zakaznykh SBIS na baze regulyarnykh matrichnykh struktur / A.D. Zakrevskii, P.N. Bibilo, S.N. Kardash i dr. // Mikroelektronika. - 1995. - № 5. - C. 349-354.
32. Toropov N.R. Minimizatsiya sistem bulevykh funktsii v klasse DNF // Logicheskoe proektirovanie. - Mn.: In-t tekhn. kibernetiki NAN Belarusi. - 1999. - Vyp. 4. - S. 4-19.
33. Sistema «Custom Logic» avtomatizirovannogo proektirovaniya upravlyayushchei logiki zakaznykh tsifrovykh SBIS / P.N. Bibilo, I.V. Vasil'kova, S.N. Kardash i dr. // Mikroelektronika. - 2004. - T. 32. - № 5.
34. Butov A.A. Realizatsiya sistem ne polnost'yu opredelennykh bulevykh funktsii v bazise skhem malogo i srednego urovnei integratsii // Upravlyayushchie sistemy i mashiny. - 1979. - № 6. - S. 97-103.
35. Shneider A.A., Kardash S.N. Algoritmy sinteza odnoyarusnykh kombinatsionnykh skhem iz PLM // Avtomatika i vychislitel'naya tekhnika. - 1987. - № 5. - S. 62-67.
36. Pottosin Yu.V. Dekompozitsiya asinkhronnykh avtomatov // Avtomatika i vychislitel'naya tekhnika. - 1978. - № 4. - S. 1 - 7.
37. Bibilo P.N. Sintez kombinatsionnykh PLM-struktur dlya SBIS. - Mn.: Nauka i tekhnika, 1992. - 232 s.
38. Cheremisinova L.D. Minimizatsiya ploshchadi matritsy Vainbergera, realizuyushchei sistemu DNF // Upravlyayushchie sistemy i mashiny. - 1999. - № 2. - S. 39-46.
39. Cheremisinova L.D. Simple folding of array-based VLSI structures // 6th Int. Workchop on Boolean problems, Freiberg (Sachsen), Sept. 19-20, 2004. - 2004. - P. 245-250.
40. Sistema logicheskogo proektirovaniya «Sintez BMK» / P.N. Bibilo, N.A. Kirienko, L.V. Krasil'nikova i dr. // Upravlyayushchie sistemy i mashiny. - 2001. - № 3. - S. 28-35.
41. Loginova I.P. «Modelirovanie otzhiga» i minimizatsiya ploshchadi PLM na osnove mnogokratnoi svertki // Logicheskoe proektirovanie: sb. nauch. tr. - Mn.: In-t tekhn. kibernetiki NAN Belarusi, 1997. - Vyp. 2. - S. 25-41.
42. Algoritmy resheniya logiko-kombinatornykh zadach: sb. nauch. tr. - Mn.: In-t tekhn. kibernetiki AN BSSR, 1979. - Vyp. 5.
43. Enin S.V., Filatchenkov A.I. Dialogovaya sistema programm dlya analiza i modelirovaniya diskretnykh ustroistv s neispravnostyami // Elektronnoe modelirovanie. - 1986. - T. 8. - № 3. - S. 25-29.
44. Toropov N.R. Issledovatel'skaya SAPR diskretnykh upravlyayushchikh ustroistv. - Mn.: In-t tekhn. kibernetiki AN Belarusi, 1993. - 60 s.
45. Bibilo P.N. Logicheskoe proektirovanie diskretnykh ustroistv s primeneniem produktsionno-freimovoi modeli predstavleniya znanii // Izvestiya RAN. Teoriya i sistemy upravleniya. - 1999.- № 2. - I. - S. 130-138; 1999. - № 4. - II. - S. 124-132.
46. Ekspertnaya sistema logicheskogo raspoznavaniya EKSILOR / A.D. Zakrevskii, A.A. Utkin, V.I. Romanov i dr. - Mn.: In-t tekhn. kibernetiki AN Belarusi, 1993. - 55 s.
Review
For citations:
, . Informatics. 2004;(4(04)):18-29. (In Russ.)
Views:
592
ISSN 1816-0301 (Print)
ISSN 2617-6963 (Online)
ISSN 2617-6963 (Online)
Email this article 