МУЛЬТИВЕРСНЫЙ ПАРАЛЛЕЛЬНЫЙ СИНТЕЗ ЦИФРОВЫХ СТРУКТУР НА ОСНОВЕ SYSTEMC СПЕЦИФИКАЦИИ
Journal Title: Радиоэлектроника и информатика - Year 2017, Vol 4, Issue 4
Abstract
Обобщаются исследования, связанные с мультиверсным параллельным синтезом цифровых структур на основе SystemC спецификации, цель которого – существенное уменьшение времени проектирования вычислительных архитектур и повышение качества цифровых изделий.
Authors and Affiliations
Владимир Обризан, Тетяна Соклакова
Keywords
Related Articles
- EP ID EP585326
- DOI 10.30837/1563-0064.4(79).2017.152298
- Views 129
- Downloads 0
ПРОГРАММНЫЕ СРЕДСТВА СИСТЕМЫ УЧЕТА ИСПОЛЬЗОВАНИЯ ВЫЧИСЛИТЕЛЬНЫХ РЕСУРСОВ УКРАИНСКОЙ ГРИД-ИНФРАСТРУКТУРЫ
Описываются программные средства, применённые при создании системы сбора и публикации информации об использовании вычислительных ресурсов грид-сети Украины NGI_UA. Система содержит актуальные данные о работе практич...
Оптимізація розміщення екологічно небезпечних об’єктів
Розглядається імплементація одного з основних мето-дів зменшення антропогенного впливу екологічно небезпечних об’єктів на навколишнє середовище – раціонального розміщення джерел забруднення. Опи-сується оптимізаційна мат...
Двобічні ітераційні методи чисельного аналізу першої крайової задачі для напівлінійного еліптичного рівняння
Розглядається проблема побудови ітераційних методів розв’язання першої крайової задачі для напівлінійного еліптичного рівняння. За допомогою функції Гріна чи квазіфункції Гріна-Рвачова розглядувана крайова задача зводить...
ИССЛЕДОВАНИЕ МЕТОДОВ МНОГОКРИТЕРИАЛЬНОЙ ОЦЕНКИ УПРАВЛЕНИЯ ДЕЯТЕЛЬНОСТЬЮ СОВРЕМЕННОГО ПРЕДПРИЯТИЯ
Исследуются методы теории оптимизации, ориенти- рованные на определение и идентификацию наилу- чших вариантов решения, не прибегая к проверке всех возможных решений путем реализации их на практи- ке, а также методы много...
АЛГОРИТМ УНИФИКАЦИИ В МЕТОДЕ РЕЗОЛЮЦИЙ ДЛЯ ЛОГИКИ ПРЕДИКАТОВ
Рассматривается проблема повышения эффективно- сти интеллектуальных систем, использующих в каче- стве механизма логического вывода метод резолюций для исчисления предикатов первого порядка. Показы- вается, что метод резо...