Публикации

• 01.07.2013 17:56
  Анализ потребляемой мощности для опытных образцов СНК "МЦСТ-R1000"

  Описана простая экспериментальная методика измерения статической и динамической составляющих мощности потребления внутренней логики микросхемы. Приведены результаты ее использования для СнК «МЦСТ-R1000». По результатам анализа предложены решения для уменьшения мощности потребления СнК «МЦСТ-R1000».

  
  

• 01.07.2013 17:39
  Варианты распределенной сети питания для многоядерных микропроцессоров

  Рассмотрены процессы в распределённой сети питания микропроцессора с общим потреблением более 100 Вт. Предложена методика учета индуктивностей развязывающих конденсаторов. Проведена сравнительная оценка падений напряжения питания ядра в распределённой сети питания для вариантов микропроцессоров в корпусе BGA и в корпусе LGA.

  
  
• 
  01.07.2013 17:19

  Применимость инcтрумента Spin к верификации протоколов когерентности памяти

  Рассматривается применимость метода model checking и инструмента Spin, в котором реализованы алгоритмы метода, к верификации протоколов когерентности памяти. Анализируются основные процедуры и оптимизации Spin.

  
  
• 
  27.06.2013 15:57

  Подходы к разработке человеко-машинного интерфейса контроля и управления прикладными программами

  Рассматриваются подходы к созданию человеко-машинного интерфейса в среде разработки Beremiz для управления прикладными программами, исполняемыми на программируемых логических контроллерах с отечественными микропроцессорами SPARC и «Эльбрус» в области АСУТП.

  
  
• 
  27.06.2013 14:10

  Разработка прикладных программ для ВК на базе отечественных микропроцессоров с архитектурой SPARC

  Особое внимание уделено использованию кросс-компилятора архитектуры SPARC из среды Windows. Рассказывается про структуру прикладной программы, отладку и управления ей с помощью элементов человеко-машинного интерфейса.