По экспертным оценкам, верификация занимает от 40 до 80% стоимостных и временных ресурсов современных проектов. Особые трудности вызывает поиск и диагностирование ошибок на заключительном этапе — при работе с изготовленным прототипом.

Белорусскими учеными разработана аппаратно-программная система внутрисхемной эмуляции микропроцессоров различных типов — универсальный внутрисхемный эмулятор UniICE.

Одним из наиболее эффективных методов увеличения производительности вычислительных систем является использование параллельной обработки. Ученые из Белоруссии предлагают реализацию параллельной обработки с помощью алгоритмов автоматического распараллеливания последовательной программы на языке высокого уровня.

Проблема организации параллельных вычислений возникла уже очень давно, но до сих пор не существует универсальных методов ее решения. Обзор средств реализации параллельной обработки позволяет сделать некоторые интересные выводы.

Широкое внедрение вычислительных систем с распределенными ресурсами существенно сдерживается отсутствием средств автоматизированной разработки компиляторов языков высокого уровня (ЯВУ) [1]. В работе [2] были описаны созданные в СНИЛ «Новые информационные технологии» (Гомельский государственный университет, http://NewIT.gsu.unibel.by) средства автоматизированной разработки распре...

С 1997 года ежегодно во второй декаде марта на базе математического факультета Гомельского государственного университета проводится Неделя компьютерных наук (Gomel Computer Science Week — GCSW)).

Важным достоинством системы HLCCAD является возможность симулировать и отлаживать схемы, включающие модели микропроцессоров (МП)и микроконтроллеров (МК).

синтез микропрограммных автоматов:симуляция модели виртуального процессора МПА (микропрограммных автоматов), отладка микропрограмм, генерация схемы микропрограммного автомата с жесткой логикой.

Мы продолжаем цикл статей о средствах автоматизации сквозной совметной разработки программного и аппаратного обеспечения встроенных цифровых систем, разработанных в Гомельском государственном университете.

Расширение рынка процессоров замедляется из-за отсутствия средств быстрого создания системного программного обеспечения и из-занеобходимости переучиваться с одной среды разработки программного обеспечения на другую при переходе от одного микроконтроллера к другому.