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

Тематика

---

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

Выбрать: с 2005 2006 2008 2010 2012 2014 2016 2018 2020 2021 2022 2023 2024 по 2005 2006 2008 2010 2012 2014 2016 2018 2020 2021 2022 2023 2024 год

Все темы Веб-технологии в САПР СБИС Генетические алгоритмы в САПР СБИС Исследование магнитных свойств материалов Клеточные автоматы Методы высокоуровневого моделирования Методы и алгоритмы автоматизации топологического проектиров... Методы логического синтеза и функционально-логического моде... Методы моделирования электрических характеристик СБИС Методы приборно-технологического моделирования СБИС Методы цифровой обработки информации и цифровые фильтры Методы электро-теплового моделирования Модели приборов для схемотехнического моделирования Моделирование каналов передачи данных Нейронные сети Нетрадиционные вычислительные системы Проблемы разработки АЦП Проблемы разработки сенсорной микросхемотехники Проектирование СБИС сигнальных процессоров Проектирование аналоговых и смешанных функциональных блоков... Проектирование микро-электромеханических систем Проектирование помехоустойчивых систем Проектирование приборов наноэлектроники Проектирование приборов наноэлектроники на базе джозефсонов... Проектирование радиационно-стойких СБИС Проектирование систем на кристалле (СнК) и IP-блоков Проектирование технологических процессов Проектирование фотоприёмных СБИС Проектирование цифровых функциональных блоков СБИС Проектирование элементной базы для космической и навигацион... Проектирование элементов СБИС Проектирование элементов памяти

Выборка по тематике: Методы высокоуровневого моделирования

Выбраны работы: с 2005 по 2024 год

В выборке - 148 работ

M

S

А

Б

В

Г

Д

И

К

М

О

П

Р

С

Т

У

Ф

Э

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