Осень

Хорошо, что я живу в лесу.

Выглянул в окно и понял, что уже осень.

Гранты для аспирантов от IBM

IBM объявила о начале конкурса по Программе «IBM Ph. D. Fellowship Awards Program. Гранты IBM для аспирантов» на 2010—2011 академический год. Программа «IBM Ph. D. Fellowship Award» является ежегодным международным конкурсом, который поощряет талантливых аспирантов, проводящих исследования в областях, ключевых для IBM, являющихся фундаментом для инноваций.

Грантами IBM Ph. D. Fellowships награждаются только аспиранты дневной формы обучения, номинирующиеся их научными руководителями.

Период приема заявок на участие: с 22 сентября до 29 октября 2009 года.

https://www.ibm.com/developerworks/university/phdfellowship/

Рост использования С++-синтеза

Шон МакКлауд, директор из Ментор Графики, сообщает, что к концу 2009 года количество фирм, использующих С++-синтез для производства, превысит 33 %. В 2008 году этот показатель составил около 14 %. Статистика была собрана в результате анонимного опроса 800 инженеров. Опрос спонсировался Ментор Графикой.

Три причины, по которым инженеры выбирают С++-синтез, это: а) проще верифицировать (68 % опрошенных); б) быстрее получается RTL (64 %); в) нужно меньше людей, что в условиях кризиса очень актуально.

А вот интересная статистика по объему рынка продуктов высокоуровневого синтеза и связанных с ними сервисов. Эти цифры собраны аналитиком Гарри Смитом и опубликованы в июльском номере журнала “IEEE Design and Test of Computers”.

Диаграмма очень интересная. Смит сообщает, что в 90-х годах у пользователей появился интерес к высокоуровневому синтезу, но инструменты были далеки от того, чтобы быть пригодными на производстве. Из-за этого доверие к ним было утрачено. В последние же годы наблюдается повторный расцвет программ высокоуровневого синтеза нового поколения. Знаю, что многие скептически относятся к С++ и SystemC как к языкам описания систем. Посмотрим спустя несколько лет, как будет на самом деле.

А ещё знакомые подсказывают, что все эти цифры — маркетинговый булщит, чтобы завлекать пользователей, типа “смотри, уже половина купила С++-синтез, так давай покупай и ты”!

Гранты от “Лаборатории Касперского”

Коллеги из Москвы шлют добрые вести.

“Лаборатория Касперского” напоминает о том, что продолжается подача заявок на участие в  программе поддержки инновационных проектов.
Студенты, аспиранты, молодые ученые, преподаватели высших учебных учреждений, профессоры и научные сотрудники могут воплотить свои идеи в жизнь уже в этом году. Сумма гранта, выделяемая на один проект, может составлять от 50 до 150 тысяч рублей!
Заявку необходимо подать до 18:00 30 сентября 2009 г. Конкурсная комиссия из числа ведущих экспертов “Лаборатории Касперского” начнет свою работу сразу после завершения срока подачи заявок и посвятит этому два месяца.
Как вы помните, подробно ознакомиться с положением “Программы поддержки инновационных проектов” и скачать необходимые для подачи заявки документы можно по адресу http://www.kasperskyacademy.com/ru/grants

Каждая хорошая история начинается со знакомства. 22—23 марта 2005 года наша кафедра проводила международную конференцию “Информационные технологии — в науку и образование”. Среди участников конференции были и гости из московского офиса “Лаборатории Касперского”: Станислав Шевченко, Сергей Новиков и Светлана Ефимова. Их лекции произвели сильное впечатление, людей в 301б было столько, что некоторым пришлось стоять.

Сотрудниками ЛК было неоднократно заявлено, что компания всегда рада сотрудничеству со студентами и университетами. 25 марта Саша Егоров собрал около 10 студентов, чтобы обсудить возможные проекты с лабораторией. Эта дата считается основанием “Клуба Касперского” в ХНУРЭ. На фотографии показано одно из первых заседаний клуба тех времен.

За четыре года было сделано многое. Например:

• начаты исследования по анализу вредоносного кода;
• проведено тестирование различных продуктов “Лаборатории Касперского”;
• разработано несколько версий “Вивария” — системы документооборота вирусных аналитиков;
• подготовлен и читается несколько лет курс “Компьютерные вирусы и средства борьбы с ними”;
• выполнены и успешно защищены несколько курсовых и дипломных работ.

Ещё один большой результат — это создание ООО “Лаборатория дизайн и тест”, целью которого есть исследования в области компьютерной безопасности. За эти четыре года наши вирусные аналитики подготовили более 5 000 описаний вредоносных программ для сайта www.securelist.com.
“Лаборатория Касперского” не стоит на месте и постоянно развивается. Конкурс инновационных проектов среди студентов и молодых ученых — и есть тому подтверждение.

Вебинар по заявкам

Вебинар Ментор Графикса по системному уровню проектирования, о котором шла речь три дня назад, появился в открытом доступе по заявке. Кому интересна тема С++-каким-то-магическим-образом-в-RTL — приглашаю к просмотру. Студентам специальности “компьютерная инженерия” смотреть обязательно. Такое у нас редко где услышишь.

Вебинар по заявке “Проектирование аппаратуры на С++”

Новый полезный блог

Сегодня узнал о существовании нового полезного блога “Советы по повышению персональной продуктивности с помощью программного обеспечения и онлайновых сервисов”, а короче ProductivityBlog.com.ua. Не знаю, стоит ли описывать этот блог после такого содержательного названия?

Например, среди записей есть:

• Как сгенерировать календарь в Экселе?
• Полезная программа для ведения заметок, задач и поручений
• Быстрое написание отчетов о расходах времени и денег

Автор блога — Александр Бабич, ИТ-тренер с суровым опытом: чего стоит только подборка записей о проведенных и подготовленных тренингах в количестве 199 (сто девяносто девять) штук. Саша — известный популяризатор новых методов в образовании. Я до сих пор помню замечательную поездку весной 2006-го в Полтавский педагогический университет на семинар по образованию, который организовал Саша.

Был на вебинаре Ментор Графики

Сегодня прошел вебинар (веб + семинар) фирмы Mentor Graphics на тему «Hardware Designs Reuse Using C++ and High Level Synthesis». Лекция в тезисах:

• поддерживается синтез ANSI C++ в RTL;
• повышение производительности инженеров в 10—20 раз, а также сокращение времени на верификацию;
• качество синтеза эквивалентно ручному;
• доступны различные параметризируемые типы данных, которые хорошо синтезируются в аппаратуру;
• объектно-ориентированная архитектура устройства, например, можно делать устройства с одним интерфейсом, но с разной реализацией;
• можно посмотреть результаты планирования выполнения микроопераций на диаграмме Ганта: временные задержки, распределение по тактам.

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

Вопрос: как обстоит дело с поддержкой SystemC?
Ответ*: наши пользователи в основном используют чистый С++, потому что они программисты и совсем не знают SystemC.

Вопрос: как происходит совместный программно-аппаратный синтез?
Ответ: никак. На данный момент это всего-лишь инструмент для C++ в RTL синтеза и всё.

Вопрос: необходимо ли использование каких-то С++ расширений или директив?
Ответ: нет, не нужно. Наши С++ модели можно легко скормить любому компилятору и вы получите те же самые результаты моделирования. Директивы могут быть использованы в случаях, когда необходимо указать параллелизм в цикле и т. п.

* здесь и далее вольный пересказ

Есть возможность посмотреть более подробные демонстрации на сайте Ментор Графики.

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

Обновление в Блоггере

Не прошло и ста лет, как в Блоггере появился более-менее вменяемый визивиг-редактор.

Патент на высокоуровневый синтез

На прошлой неделе готовил лекцию о языке SystemC и наткнулся на статью Stephen A. Edwards, «The Challenges of Synthesizing Hardware from C-Like Languages», о различных С-подобных языках, применяющихся для описания аппаратуры. Среди различных языков и инструментов была ссылка на американский патент № 6 226 776 о синтезе С в железо, который сейчас якобы принадлежит фирме Synopsys. Автор статьи описывает патент, как «претендующий на широкую поддержку языка ANSI C»: упоминается поддержка указателей, рекурсии, динамического распределения памяти.

Я заинтересовался этим патентом. Около 85 страниц из всех 108-и — это примеры на С и соответствующие им результаты синтеза на Верилоге. Ещё 14 страниц — это словесное описание всех примеров. И последние четыре страницы посвящены описанию формулы изобретения. Модели в основном представлены в виде цифровых автоматов, намного реже — data-flow модели. Как такового метода преобразования С в цифровой автомат там не было. Я обратил внимание на один пример, в котором из одной функции вызывались две другие.

int sum1 (int n)
{
    int i, sum = 0;
    for (i = 0; i < n; i++)
        sum += i;
    return sum;
}

int sum2 (int array[], int size)
{
    int i, sum = 0;
    for (i = 0; i < size; i++)
        sum += array[i];
    return sum;
}

int f1()
{
    int i;
    int array[10];
    int size = sizeof(array)/sizeof(*array);
    for (i = 0; i < size; i++)
        array[i] = i * 2;
    return sum1(size) + sum2(array, size);
}

* This source code was highlighted with Source Code Highlighter.

Перед тем, как читать дальше, подумайте: сколько состояний автомата нужно, чтобы выполнить этот алгоритм? Мне тоже сначала показалось, что должно быть немного. Но в предложенном варианте синтеза для выполнения этого алгоритма нужно 16 состояний автомата. Так как мой компилятор С++ в VHDL ещё не способен откомпилировать такой код, то решил нарисовать граф-схему алгоритма вручную.

Все функции уже встроены, и предполагается, что инициализация переменных происходит по сигналу reset. Таким образом, в этом автомате получается всего лишь семь состояний (см. Баранов С. И. Синтез цифровых автоматов).

Вот не могу понять: у них там в 2001 году не знали то, что у нас было известно ещё в 1974?