О РЕАЛИЗАЦИИ УСТРОЙСТВ ПРОВЕРКИ СИММЕТРИЧНОСТИ БУЛЕВЫХ ФУНКЦИЙ
Abstract
Приводятся результаты экспериментов схемной реализации на FPGA (Field-Programmable Gate Arrays – программируемые пользователями вентильные матрицы) устройств проверки симметричности булевых функций, задаваемых векторами их значений согласно таблицам истинности.
About the Authors
П. Бибило
Объединенный институт проблем информатики НАН Беларуси
Belarus
А. Седун
Белорусский государственный экономический университет
Belarus
References
1. Panasenko, S.P. Algoritm shifrovaniya ICE / S.P. Panasenko // INFORMOST. Radioelektronika i telekommunikatsii. - 2006. - № 3. - S. 34-36.
2. Skliarova, I. Reconfigurable Hardware SAT Solvers: A Survey of Systems / I. Skliarova, A.B. Ferrari // IEEE Trans. on Computers. - 2004. - Vol. C-53. - № 11. - P. 1449-1461.
3. Povarov, G.N. O gruppovoi invariantnosti bulevykh funktsii / G.N. Povarov // Primenenie logiki v nauke i tekhnike. - M. : Izd-vo AN SSSR, 1960. - S. 263-340.
4. Bibilo, P.N. Sintez logicheskikh skhem s ispol'zovaniem yazyka VHDL / P.N. Bibilo. - M. : Solon-R, 2002. - 384 s.
5. Reingol'd, E. Kombinatornye algoritmy. Teoriya i praktika / E. Reingol'd, Yu. Ni¬vergel't, N. Deo. - M. : Mir, 1980. - 478 s.
6. Kuzelin, O.M. Sovremennye semeistva PLIS firmy Xilinx : sprav. posobie / O.M. Kuzelin, D.A. Knyshev, Yu.V. Zotov. - M. : Goryachaya liniya - Telekom, 2004. - 440 s.
For citations:
,
. Informatics. 2008;(4(20)):135-137.
(In Russ.)
Views: 521
Email this article 