Главная         Авторы   Статьи   Год проведения   Тематика   Организации        Конференция МЭС

Тематика

Листинг работ с разбиеним по тематике докладов. Нажмите на название работы для того, чтобы увидеть ее подробное описание. Выборку можно ограничить, указав диапазон годов проведения конференции, или выбрав одну конкретную тему.

Выбрать: с по год
 
Все темы

Генетические алгоритмы в САПР СБИС
Исследование магнитных свойств материалов
Клеточные автоматы
Методы высокоуровневого моделирования
Методы и алгоритмы автоматизации топологического проектиров...
Методы логического синтеза и функционально-логического моде...
Методы моделирования электрических характеристик СБИС
Методы приборно-технологического моделирования СБИС
Методы цифровой обработки информации и цифровые фильтры
Методы электро-теплового моделирования
Модели приборов для схемотехнического моделирования
Моделирование каналов передачи данных
Нетрадиционные вычислительные системы
Проблемы разработки АЦП
Проблемы разработки сенсорной микросхемотехники
Проектирование СБИС сигнальных процессоров
Проектирование аналоговых и смешанных функциональных блоков...
Проектирование микро-электромеханических систем
Проектирование помехоустойчивых систем
Проектирование приборов наноэлектроники
Проектирование приборов наноэлектроники на базе джозефсонов...
Проектирование радиационно-стойких СБИС
Проектирование систем на кристалле (СнК) и IP-блоков
Проектирование технологических процессов
Проектирование фотоприёмных СБИС
Проектирование цифровых функциональных блоков СБИС
Проектирование элементной базы для космической и навигацион...
Проектирование элементов СБИС
Проектирование элементов памяти
Выборка по тематике: Методы высокоуровневого моделирования
Выбраны работы: с 2005 по 2018 год
В выборке - 95 работ
SАБВГДИКМОПРСТУЭ
S 
 
SystemVerilog утверждения для верификации и имитационного моделирования
А 
 
Автоматизация проектирования сетей-на-кристалле со специализированной топологией
Автоматизация процесса создания тестовых окружений обеспечивающая сквозной маршрут разработки, верификации и исследования СФ-блоков и СнК
Автоматизация синтеза VHDL-AMS моделей для смешанного и аналогового поведенческого моделирования
Адаптация генетических алгоритмов для выполнения в эластичной вычислительной среде c учетом особенностей их применения в САПР
Адаптация тестов для оценки производительности 64-разрядного универсального суперскалярного микропроцессора
Алгоритм назначения операций для специализированных процессоров с кластеризованными ресурсами
Анализ и решение проблем реализации платформенного подхода к построению верификационной инфраструктуры для СнК и СФ-блоков
Аппаратное ускорение цифрового моделирования
Архитектура планировщика процессора сопоставления ППВС «Буран»
Б 
 
Быстрый алгоритм учета зависимостей данных при анализе и тестировании программного обеспечения СБИС
В 
 
Верификация поведения цифровых устройств с помощью моделей высокого уровня
Верификация систем на основе цифровых СБИС с диверсификацией
Возможности использования виртуальных платформ для верификации RTL-моделей сложно функциональных блоков в составе «Систем на кристалле»
Возможности распределенной подсистемы топологического проектирования, построенной на основе клиент-серверных технологий
Вопросы применения и реализации потоковой модели вычислений
Г 
 
Графический потоковый метаязык для асинхронного распределенного программирования
Графы связей и размещение узлов в "сетях - на - кристалле"
Д 
 
Динамическое управление вычислениями в распределенных системах
И 
 
Имитационное моделирование при оценке живучести цифровых систем управления
Использование UVM для автономной верификации цифровой аппаратуры
Исследование методов и средств верификации проектов и генерации тестов МЭС
Исследование пиковой производительности современных микропроцессоров
Исследование принципов работы блока ввода данных для параллельной потоковой вычислительной системы
Исследование способов повышения эффективности стохастического тестирования моделей микропроцессоров
Исследование способов построения блока динамического предсказания ветвлений для перспективных микропроцессоров разработки НИИСИ РАН
Исследование эффективности аппаратной реализации отслеживания зависимостей по данным в структуре конвейера сопроцессора СР2 микропроцессора КОМДИВ128-RIO
Исследования модели распределенного топологического проектирования СБИС средствами иерархической клиент-серверной архитектуры
К 
 
К вопросу оценки точности алгоритмов дискретной оптимизации
Классификация состояний беспроводной сенсорной сети с использованием методов машинного обучения
Комбинаторная генерация тестовых программ для микропроцессоров на основе формальных спецификаций системы команд
Комплексная платформа функциональной верификации компании Mentor Graphics
М 
 
Маршрут проектирования "систем на кристалле" на базе IP -библиотеки платформы "МУЛЬТИКОР"
Маршрут эффективной разработки ИС
Математическая модель отладки проектов сложных цифровых схем и микросистем на основе представления последних в виде семейства стационарных динамических систем
Метод автоматизации процесса разработки коммутационной среды для многоядерной системы с ассиметричным доступом к памяти
Метод генерации функциональных тестов для HDL-описаний на основе проверки HLDD-моделей
Метод извлечения EFSM-моделей из HDL-описаний: применение к функциональной верификации
Методика автоматизированного выбора микроконтроллера при проектировании изделий электронно-вычислительной техники
Методика верификации межсоединений на базе унифицированной тестовой инфраструктуры
Методика расчёта вероятности возникновения ошибок в высокоскоростных каналах связи
Методика характеризации компилятора ROM с использованием управляемых генераторов тока
Метод оптимального свертывания схемы - эффективный подход для качественного решения неполиномиальных комбинаторных задач большой и сверхбольшой размерности в автоматизированном конструировании МЭА
Метод синтеза тестовых программ для аналого-цифровых интегральных схем с применением сети автоматов
Метод создания и отладки комплексных тестов для функциональной верификации СнК, ориентированный на их повторное использование на всех этапах проектирования
Методы встраивания средств тестирования в устройства с использованием средств автоматизации реинжиниринга
Методы высокоуровневого и логического моделирования в САПР СБИС
Многокритериальный подход к автоматизации проектирования радиосетей
Мобильное сопряжение средств диагностирования и цифровых систем, конфигурируемых на кристалле
Модели и методы диагностирования цифровых систем на кристаллах
Моделирование и верификация коммуникационных фабрик при проектировании систем на кристалле
Моделирование на уровне транзакций для системного проектирования и отладки систем-на-кристалле
Модернизированная методика проектирования сложных блоков программно-технических комплексов с учетом их параметров надежности
Муравьиный алгоритм определения критических связей в СБИС
О 
 
Об одном методе построения метрик функционального покрытия в тестировании микропроцессоров
Об оценке функциональной устойчивости динамической сенсорной локальной сети
Оптимизационные преобразования VHDL-моделей цифровых систем
Оптимизация некоторых этапов маршрута проектирования процессора КОМДИВ64-РИО
Основные подходы к верификации блока вещественной арифметики
Особенности использования возможностей объектно-ориентированного программирования SystemVerilog для функциональной верификации многоядерных СнК
Особенности статического временного анализа и разработки файлов SDC для комплексной системы на кристалле с множественными асинхронными тактовыми доменами
Отладка и тестирование моделей СБИС с использованием прототипов, реализованных на ПЛИС
Отслеживание изменения состояния динамического объекта в реальном времени с использованием микропроцессорного модуля
Оценка влияния цифровых датчиков на эффективность систем управления
П 
 
Пакет ZUBR автоматизированного проектирования цифровых систем на основе программируемых логических интегральных схем (ПЛИС)
Повышение эффективности проектирования интегральных схем на ПЛИС с ограниченными трассировочными ресурсами
Подсистема анализа самосинхронных логических схем АСИАН
Подсистема обработки структурно-функциональных описаний схем в системе автоматизированного проектирования
Практические аспекты верификации проектов СБИС
Проектирование регулярных схем с последовательными соединениями транзисторов
Прототипирование кода драйверов OS Linux в пространстве пользователя с использованием языка высокого уровня lua
Р 
 
Размещение узлов в гетерогенной сети-на-кристалле
Разработка потактовой поведенческой модели системы на кристалле на языке C++
Распознавание и интерпретация ошибочного поведения при динамической верификации аппаратуры
Реконфигурация маршрутов в RapidIO системе при наличии неисправных соединений
Реконфигурируемый блок помехоустойчивого кодирования для систем на кристалле
С 
 
САПР строго самосинхронных электронных схем РОНИС
САТОК - система тестирования самосинхронных микросхем
Снижение аппаратурных затрат и увеличение коэффициента компрессии средств тестирования константных неисправностей КМОП цифровых СБИС
Современные методы функциональной верификации RTL-моделей блоков СБИС микропроцессора
Современные средства транслирования моделей устройств из языка высокого уровня Verilog-A во внутреннее представление системы Spectre
Создание онтологической модели систем автоматизированного проектирования в среде Protege 4.2
Специализация архитектуры многоядерной параллельной потоковой вычислительной системы для решения задачи быстрого преобразования Фурье
Спецификация и валидация протоколов систем на кристалле: проблемы и пути их решения
Способы регулирования вычислений в параллельной потоковой вычислительной системе
Сравнительный анализ эффективности различных вариантов метода динамического программирования для решения оптимизационных задач на этапе размещения элементов микросхем
Средства проектирования высокопроизводительных потоковых вычислительных систем
Средства распределения вычислений в ППВС «Буран» и варианты реализации блока выработки хэш-функций
Средства системной отладки рекуррентного вычислителя
Т 
 
Тесты аттестации архитектуры RTL-модели 64-разрядного суперскалярного микропроцессора
Технология отладки "систем на кристалле" серии "МУЛЬТИКОР"
Технология построения синхронных эластичных схем и еe применение к оптимизации производительности аппаратного декодера H.264 CABAC
У 
 
Универсальная система отладки СБИС по интерфейсу JTAG на основе скан-технологии
Ускорение направленного тестирования встроенного и внешнего ПО СБИС путем учета потока данных при ограничении вариативности траекторий выполнения
Э 
 
Эволюция многоядерных гетерогенных вычислительных систем в области обработки видеоданных

Copyright © 2009-2018 ИППМ РАН. All Rights Reserved.

Разработка сайта - ИППМ РАН