Project

General

Profile

Overview

Курс предназначен для студентов старших курсов, специализирующихся в области проектирования и верификации микропроцессоров. Цели курса — познакомить слушателей с методами спецификации микропроцессоров и методами генерации тестовых программ, а также выработать соответствующие практические навыки. Основу курса составляют практичекие занятия, посвященные спецификации инструкций и созданию автоматизированных генераторов тестовых программ для MIPS-совместимого микропроцессора. Практикум основан на языке спецификации nML (Sim-nML) и инструменте создания генераторов тестовых программ MicroTESK.

Материлы к курсу доступны здесь.

Issue tracking  Details

open closed Total
Bug 0 0 0
Feature 0 0 0
Support 0 0 0
User Story 0 0 0
Developer Request 0 0 0
Task 0 0 0
Feature_ 0 0 0

View all issues | Summary | Calendar | Gantt

Time tracking

  • Estimated time: 0.00 hour
  • Spent time: 0.00 hour

Details | Report

Members

Manager: Alexander Kamkin

Developer: Alexander Kamkin, Artem Kotsynyak, Mikhail Chupilko, Sergey Smolov, Taya Sergeeva

Project Creator: Alexander Kamkin