|
|
|
|
Список литературы
|
|
| |
| 1. |
Танаев В. С., Поварич М. П., Синтез граф-схем алгоритмов выбора решений, Наука и техника, Минск, 1974 |
| 2. |
Блох А. Ш., Граф-схемы и их применение, Выш. шк., Минск, 1975  |
| 3. |
Кузнецов О. П., “О программной реализации логических функций и автоматов. I”, АиТ, 1977, № 7, 163–174   ; Kuznetsov O. P., “Program Realization of Logical Functions and Automata. I”, Autom. Remote Control, 38:7, Part 2 (1977), 1077–1088 ; Кузнецов О. П., “О программной реализации логических функций и автоматов. I”, АиТ, 1977, № 9, 137–149 ; Kuznetsov O. P., “Program Realization of Logical Functions and Automata. II”, Autom. Remote Control, 38:9, Part 2 (1977), 1385–1396 |
| 4. |
Akers S. B., “Binary Decision Diagrams”, IEEE Trans. Comput., 27:6 (1978), 509–516  |
| 5. |
Bryant R. E., “Graph-based algorithms for boolean functions manipulation”, IEEE Trans. Comput., 35:8 (1986), 677–691  |
| 6. |
Bryant R. E., Meinel C., “Ordered Binary Decision Diagrams”, Logic Synthesis and Verication, Chapter 11, eds. Hassoun S., Sasao T., Brayton R. K., Kluwer Academ. Publish., 2002, 285–307 |
| 7. |
Meinel C., Theobald T., Algorithms and Data Structures in VLSI Design: OBDD – Foundations and Applications, Springer-Verlag, Berlin–Heidelberg, 1998 |
| 8. |
Карпов Ю. Г., MODEL CHECKING. Верификация параллельных и распределенных программных систем, БХВ-Петербург, СПб., 2010 |
| 9. |
Бибило П. Н., Декомпозиция булевых функций на основе решения логических уравнений, Беларус. навука, Минск, 2009 |
| 10. |
Закревский А. Д., Логический синтез каскадных схем, Наука, М., 1981 |
| 11. |
Sasao T., “FPGA design by generalized functional decomposition”, Representat. discrete functions, eds. Sasao T., Fujita M., Kluwer Academ. Publishers, 1996, 233–258 |
| 12. |
Scholl C., Functional Decomposition with Applications to FPGA Synthesis, Kluwer Academ. Publish., 2001 |
| 13. |
Бибило П. Н., Романов В. И., Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний, Беларус. навука, Минск, 2011 |
| 14. |
Cortadella J., “Timing-driven logic bi-decomposition”, IEEE Trans. Comput.-Aided Design Integrat. Circuits Syst., 22:6 (2003), 675–685 |
| 15. |
Yang S., Ciesielski M., “BDS: a BDD-based logic optimization system”, IEEE Trans. Comput.-Aided Design Integrat. Circuits Syst., 21:7 (2002), 866–876 |
| 16. |
Бибило П. Н., Леончик П. В., “Декомпозиция систем булевых функций, заданных диаграммами двоичного выбора”, Изв. РАН. Теория и системы управления, 2011, № 4, 86–101 |
| 17. |
Шнейдер А. А., “Анализ и классификация эвристических алгоритмов раскраски вершин графа”, Кибернетика, 1984, № 4, 15–22 |
| 18. |
Бибило П. Н., Енин С. В., Синтез комбинационных схем методами функциональной декомпозиции, Наука и техника, Минск, 1987 |
| 19. |
Кнут Д. Э., Искусство программирования, Ч. 1, Пер. с англ., т. 4, А, Комбинаторные алгоритмы, Вильямс, М., 2013 |
| 20. |
Stojkovich S., Stancović M., Stancović R., “Determining Assignment of Incompletely Specified Boolean Functions for Compact Representations by Binary Decision Diagrams”, 10 Int. Workshop Boolean Probl. (September 19–21 2012, Freiberg, Sachsen), 233–238 |
| 21. |
Гаврилов М. А., Девятков В. В., Пупырев Е. И., Логическое проектирование дискретных автоматов, Наука, М., 1977 |
