Информатика

Новости науки и технологий

Экологический вестник

Информатика
Новости науки и технологий
Экологический вестник

Меню журнала

О журнале

Приветственное слово

Редакционная коллегия

Правила для авторов

Подать статью через электронную систему подачи и рецензирования статей ОИПИ НАН Беларуси

Список выпусков

Список рубрик

Предложить статью

Рубрика "логическое проектирование" журнала "Информатика"

VHDL-модели математических функций, основанные на кусочно-полиномиальной интерполяции , Кочанов Д. А. , №9 январь-март 2006 Информатика, Информатика, (2005)
Адресные последовательности для многократного тестирования ОЗУ , Ярмолик В. Н. , Ярмолик С. В. , № 42 апрель-июнь 2014 Информатика, Информатика, (2013)
Алгоритм покрытия разреженных булевых матриц , Леончик П. В. , Гордон В. С. , №14 апрель-июнь 2007 Информатика, Информатика, (2006)
Алгоритмы энергосберегающего кодирования состояний автомата , Закревский А. Д. , №29 январь-март 2011 Информатика, Информатика, (2010)
Анализ количественных характеристик различия при тестировании ОЗУ , Курбацкий А. Н. , Ярмолик С. В. , Ярмолик В. Н. , №19 июль-сентябрь 2008 Информатика, Информатика, (2008)
Анализ энергопотребления многовходового сумматора по модулю два , Мурашко Н. И. , №9 январь-март 2006 Информатика, Информатика, (2005)
Верификация логических схем, реализующих системы частичных булевых функций , Бибило П. Н. , Новиков Д. Я. , №31 июль-сентябрь 2011 Информатика, Информатика, (2011)
Внедрение функциональных неисправностей ОЗУ в описания цифровых устройств на языке VHDL , Иванюк А. А. , №18 апрель-июнь 2008 Информатика, Информатика, (2008)
Встроенная аппаратура неразрушающего самотестирования для схем ОЗУ на основе локально-симметричных тестов , Ярмолик С. В. , Занкович А. П. , №8 октябрь-декабрь 2005 Информатика, Информатика, (2005)
Декомпозиция системы булевых функций по заданным входным функциям , Шестаков К. М. , Поттосин Ю. В. , №8 октябрь-декабрь 2005 Информатика, Информатика, (2005)
Декомпозиция частичных булевых функций - поиск подходящего разбиения , Закревский А. Д. , №14 апрель-июнь 2007 Информатика, Информатика, (2007)
Декомпозиция частичных булевых функций - проверка на разделимость по заданному разбиению , Закревский А. Д. , №13 январь-март 2007 Информатика, Информатика, (2006)
ДНФ-реализация частичных булевых функций многих переменных , Романов В. И. , Торопов Н. Р. , Закревский А. Д. , №25 январь-март 2010 Информатика, Информатика, (2009)
Импликативный метод анализа частичных булевых функций , Новиков Д. Я. , Черемисинова Л. Д. , №34 апрель-июнь 2012 Информатика, Информатика, (2012)
Исследование свойств разложимости систем булевых функций , Поттосин Ю. В. , Тагави Афшорд С. Х. , №40 октябрь-декабрь 2013 Информатика, Информатика, (2013)
Исследование эффективности логической минимизации в процессе синтеза комбинационных схем , Леончик П. В. , Бибило П. Н. , №13 январь-март 2007 Информатика, Информатика, (2006)
Канонические булевы формулы многоугольников , Закревский А. Д. , №22 апрель-июнь 2009 Информатика, Информатика, (2009)
Квазислучайное тестирование вычислительных систем , Ярмолик С. В. , Ярмолик В. Н. , №39 июль-сентябрь 2013 Информатика, Информатика, (2013)
Метод минимизации системы не полностью определенных булевых функций , Шестаков К. М. , Поттосин Ю. В. , Торопов Н. Р. , №23 июль-сентябрь 2009 Информатика, Информатика, (2009)
Метод минимизации системы полностью определенных булевых функций , Шестаков К. М. , Поттосин Ю. В. , Торопов Н. Р. , №18 апрель-июнь 2008 Информатика, Информатика, (2007)
Метод многоблочной параллельной декомпозиции системы частичных булевых функций , Поттосин Ю. В. , №55 июль-сентябрь 2017 Информатика, Информатика, (2017)
Метод увеличения стабильности физически неклонируемой функции типа «арбитр» , Заливако С. С. , Иванюк А. А. , Клыбик В. П. , № 53 январь-март 2017 Информатика, Информатика, (2016)
Методика проектирования быстродействующего генератора псевдослучайной последовательности максимальной длины , Мурашко Н. И. , №13 январь-март 2007 Информатика, Информатика, (2006)
Минимизация на топологическом уровне площади регулярных схем с последовательным соединением МОП-транзисторов , Логинова И. П. , Черемисинова Л. Д. , №22 апрель-июнь 2009 Информатика, Информатика, (2009)
Минимизация систем булевых функций в классе дизъюнктивных нормальных форм , Леончик П. В. , №9 январь-март 2006 Информатика, Информатика, (2005)
Моделирование неисправностей в структурах СБИС на языке VHDL , Золоторевич Л. А. , №5 январь-март 2005 Информатика, Информатика, (2004)
Моделирование функциональных неисправностей цифровых устройств средствами языка VHDL , Иванюк А. А. , №13 январь-март 2007 Информатика, Информатика, (2006)
Морфизмы моделей поведения распределенных систем , Черемисинов Д. И. , №5 январь-март 2005 Информатика, Информатика, (2004)
Нахождение задержек регулярных схем с последовательными соединениями транзисторов , , №18 апрель-июнь 2008 Информатика, Информатика, (2007)
Нахождение отношения параллельности на множестве цепочек алгоритма управления , Черемисинова Л. Д. , №13 январь-март 2007 Информатика, Информатика, (2006)
О реализации модулярных сумматоров на FPGA , Бибило П. Н. , Городецкий Д. А. , №29 январь-март 2011 Информатика, Информатика, (2010)
Обнаружение кодочувствительных неисправностей запоминающих устройств с многократным использованием маршевых тестов , Ярмолик С. В. , Ярмолик В. Н. , №9 январь-март 2006 Информатика, Информатика, (2005)
Описание параллельных и секвенциальных автоматов на языке VHDL , Бибило П. Н. , №5 январь-март 2005 Информатика, Информатика, (2005)
Оптимизационные преобразования логической схемы на основе блочного разбиения , Бибило П. Н. , Кириенко Н. А. , №23 июль-сентябрь 2009 Информатика, Информатика, (2009)
Оптимизация логической схемы автомата Мура на программируемой матричной логике , Титаренко Л. А. , Баркалов А. А. , Хмелевский С. Я. , №14 апрель-июнь 2007 Информатика, Информатика, (2006)
Оптимизация скобочных представлений булевых функций с учетом энергопотребления , Черемисинова Л. Д. , Кириенко Н. А. , №31 июль-сентябрь 2011 Информатика, Информатика, (2011)
Отображение логических сетей в заданный технологический базис , Черемисинов Д. И. , № 53 январь-март 2017 Информатика, Информатика, (2016)
Оценка вероятности отказа невосстанавливаемой системы с использованием методов алгебры логики , Поттосин Ю. В. , Зайцева Е. Н. , №14 апрель-июнь 2007 Информатика, Информатика, (2007)
Параллельная проверка ДНФ на тавтологию , Торопов Н. Р. , №6 апрель-июнь 2005 Информатика, Информатика, (2005)
Повышение быстродействия комбинационной схемы путем конвейеризации , Поттосин Ю. В. , Кардаш С. Н. , №37 январь-март 2013 Информатика, Информатика, (2012)
Построение последовательностей для тестирования D-триггеров синхронных последовательностей схем , Кочанов Д. А. , №20 октябрь-декабрь 2008 Информатика, Информатика, (2008)
Построение тестов и верификация потоковых моделей цифровых устройств на языке VHDL , Золоторевич Л. А. , №34 апрель-июнь 2012 Информатика, Информатика, (2012)
Построение тестов контроля цифровых систем на уровне межрегистровых передач , Ильинкова А. В. , Золоторевич Л. А. , №25 январь-март 2010 Информатика, Информатика, (2009)
Построение тестов полного перебора для оценки энергопотребления последовательностных схем , Черемисинова Л. Д. , №56 октябрь-декабрь 2017 Информатика, Информатика, (2017)
Применение конфигурируемых генераторов импульсов для идентификации ПЛИС , Иванюк А. А. , №32 октябрь-декабрь 2011 Информатика, Информатика, (2011)
Применение оценок сложности диаграмм двоичного выбора при синтезе логических схем , Авдеев Н. А. , Бибило П. Н. , №46 апрель-июнь 2015 Информатика, Информатика, (2015)
Программные средства для решения логико-комбинаторных задач , Романов В. И. , №8 октябрь-декабрь 2005 Информатика, Информатика, (2005)
Проектирование конфигурируемого сдвигового регистра с линейной обратной связью , Иванюк А. А. , №39 июль-сентябрь 2013 Информатика, Информатика, (2013)
Развитие табличного метода декомпозиции системы полностью определенных булевых функций , Садников Д. В. , №6 апрель-июнь 2005 Информатика, Информатика, (2005)
Реализация эвристического метода декомпозиции булевых функций , Торопов Н. Р. , Закревский А. Д. , №20 октябрь-декабрь 2008 Информатика, Информатика, (2008)
Решение большинства линейных логических уравнений несовместной системы на суперкомпьютере , Торопов Н. Р. , Закревский А. Д. , №9 январь-март 2006 Информатика, Информатика, (2005)
Решение системы дизъюнктивных уравнений методом перемножения ДНФ , Торопов Н. Р. , №19 июль-сентябрь 2008 Информатика, Информатика, (2008)
СиВер - система синтеза и верификации комбинационных логических систем , Кардаш С. Н. , Бибило П. Н. , Романов В. И. , №12 октябрь-декабрь 2006 Информатика, Информатика, (2006)
Синтез комбинационных схем в базисе библиотечных элементов КМОП СБИСС учетом энергопотребления , Черемисинов Д. И. , Черемисинова Л. Д. , №40 октябрь-декабрь 2013 Информатика, Информатика, (2013)
Синтез композиционного микропрограммного устройства управления с оптимальным кодированием элементарных операторных линейных цепей , Вишневский Р. Г. , Баркалов А. А. , №5 январь-март 2005 Информатика, Информатика, (2004)
Синтез микропрограммного автомата с множественным кодированием наборов микроопераций , Баркалов А. А. , Буковец А. Ф. , №6 апрель-июнь 2005 Информатика, Информатика, (2004)
Синтез устройства управления модифицированными операторными линейными цепями , Баркалов А. А. , Титаренко Л. А. , Бегановский Я. А. , №14 апрель-июнь 2007 Информатика, Информатика, (2006)
Сравнение схемных реализаций VHDL-моделей, использующих частичную определенность булевых функций , Бибило П. Н. , №9 январь-март 2006 Информатика, Информатика, (2005)
Тестирование ОЗУ на основе адаптивного сжатия выходных данных , Ярмолик С. В. , Ярмолик В. Н. , №23 июль-сентябрь 2009 Информатика, Информатика, (2009)
Топологическая оптимизация регулярных МОП-структур методом двудольной свертки , Черемисинова Л. Д. , №18 апрель-июнь 2008 Информатика, Информатика, (2007)
Управляемое случайное тестирование , Ярмолик С. В. , Ярмолик В. Н. , №29 январь-март 2011 Информатика, Информатика, (2011)
Формирование адресных последовательностей с максимальным средним Хэмминговым растоянием для многократного тестирования ОЗУ , Ярмолик С. В. , Ярмолик В. Н. , №12 октябрь-декабрь 2006 Информатика, Информатика, (2006)
Функциональные VHDL-модели элементов FPGA семейства Spartan 3 для конвертации проектов цифровых систем в заказные СБИС , Бибило П. Н. , Соловьев А. Л. , №34 апрель-июнь 2012 Информатика, Информатика, (2012)
Энергосберегающее кодирование состояний конечного автомата. Метод квадратов , Закревский А. Д. , №8 октябрь-декабрь 2005 Информатика, Информатика, (2005)
Энергосберегающее покрытие библиотечными элементами схемы, реализующей диаграмму двоичного выбора , Поттосин Ю. В. , №30 апрель-июнь 2011 Информатика, Информатика, (2011)
Энергосберегающее противогоночное кодирование состояний асинхронного автомата , Поттосин Ю. В. , №46 апрель-июнь 2015 Информатика, Информатика, (2015)