Наукова періодика України Радіоелектронні і комп’ютерні системи

Ostroumov S. В. 
Event-B patterns for developing FPGA-based hardware / S. В. Ostroumov, L. V. Laibinis, E. A. Troubitsyna // Радіоелектронні і комп’ютерні системи. - 2010. - № 6. - С. 154–160. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2010_6_28
The paper describes the first step of methodology for designing dependable hardware which is based on field programmable gate array technology. This step means the development of patterns using Event-B language useful thanks to mathematical proofs of a model. The report shows and describes the patterns developed according to synchronism technique because a great number of systems are synchronous. The patterns describe different component interconnections which are often used in hardware design. These patterns are the necessary condition to convert correctly developed model into hardware description language (e.g. VHDL).
  Повний текст PDF - 330.531 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Ostroumov S.
  • Laibinis L.
  • Troubitsyna E.

    • Бібліографічний опис для цитування:

    Ostroumov S. В. Event-B patterns for developing FPGA-based hardware / S. В. Ostroumov, L. V. Laibinis, E. A. Troubitsyna // Радіоелектронні і комп’ютерні системи. - 2010. - № 6. - С. 154–160. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2010_6_28.
      Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського