1. Главная
  2. Ресурсы
  3. Библиотечный поиск
О корректностиэквивалентныхпреобразований впроцессефункционально-потокового, высокоуровневогосинтеза СБИС Непомнящий О.В.2023 год

О корректности эквивалентных преобразований в процессе функционально-потокового, высокоуровневого синтеза СБИС : научное издание
статья из журнала

Дополнительные ссылки: eLibrary
База данных: Каталог библиотеки СФУ
Библиографическое описание: О корректности эквивалентных преобразований в процессе функционально-потокового, высокоуровневого синтеза СБИС : научное издание / О. В. Непомнящий. - Текст : непосредственный // Информационные технологии. - 2023. - Т.29, №1. - С. 3-11. - ISSN 1684-6400, DOI 10.17587/it.29.3-11.
Аннотация: Рассмотрен оригинальный метод и маршрут функционально-потокового синтеза сверхбольших интегральных схем. Представлен механизм редукции степени параллелизма исходных алгоритмов с учетом налагаемых ограничений целевой платформы. Предлагается использовать разработанные методы формальной верификации для подтверждения адекватности результатов трансформации исходного описания из функционально потокового языка параллельного программирования в языки описания аппаратуры.
The original method and route of functional-flow synthesis of ultra-large integrated circuits is considered. A way of reducing the degree of parallelism and the original algorithms is presented. When transferring the algorithm to the target platform, the imposed restrictions are taken into account. It is proposed to use the developed methods of formal verification to confirm the adequacy of the results of the transformation We mean to the transformation from the algorithms descried in the functional-flow parallel programming language to the hardware description languages.
Год издания: 2023
Авторы: Непомнящий О.В.
Издательство: ООО "Издательство "Новые технологии, Москва
Источник: Информационные технологии
Выпуск: Т.29, №1
Номера страниц: 3-11
Держатель оригинала документа: Сибирский федеральный университет
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

Похожие публикации

Методы преобразованияпараллелизма впроцессевысокоуровневогосинтеза СБИС Рыженко Игорь НиколаевичНепомнящий Олег ВладимировичЛегалов Александр Иванович2022 год

Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС : научное издание

  • Рыженко Игорь Николаевич и др.
  • 2022 год
Метод оценки ресурсовв процессефункционально-потокового высокоуровневогосинтеза СБИС Непомнящий Олег Владимирович2022 год

Метод оценки ресурсов в процессе функционально-потокового высокоуровневого синтеза СБИС : научное издание

  • Непомнящий Олег Владимирович
  • 2022 год
О корректностиэквивалентныхпреобразований впроцессефункционально-потокового, высокоуровневогосинтеза СБИС Непомнящий О. В.2023 год

О корректности эквивалентных преобразований в процессе функционально-потокового, высокоуровневого… : статья из журнала

  • Непомнящий О. В.
  • 2023 год
МЕТОДАРХИТЕКТУРНО-НЕЗАВИСИМОГО ВЫСОКОУРОВНЕВОГОСИНТЕЗА СБИС Непомнящий Олег ВладимировичРыженко Игорь НиколаевичЛегалов Александр Иванович2018 год

МЕТОД АРХИТЕКТУРНО-НЕЗАВИСИМОГО ВЫСОКОУРОВНЕВОГО СИНТЕЗА СБИС : статья из журнала

  • Непомнящий Олег Владимирович и др.
  • 2018 год
Методвысокоуровневогосинтеза и программныйинструментарий дляописания алгоритмовфункционирования СБИС Непомнящий О.В.Рыженко И.Н.2020 год

Метод высокоуровневого синтеза и программный инструментарий для описания алгоритмов… : научное издание

  • Непомнящий О.В. и др.
  • 2020 год
РЕЗУЛЬТАТЫ СРАВНЕНИЯМЕТОДОВВЫСОКОУРОВНЕВОГОСИНТЕЗА СБИС Непомнящий Олег ВладимировичРыженко Игорь Николаевич2020 год

РЕЗУЛЬТАТЫ СРАВНЕНИЯ МЕТОДОВ ВЫСОКОУРОВНЕВОГО СИНТЕЗА СБИС : доклад, тезисы доклада

  • Непомнящий Олег Владимирович и др.
  • 2020 год
УМНОЖЕНИЕ МАТРИЦ ВЗАДАЧАХ СИНТЕЗАЛОГИЧЕСКИХ СХЕМ НАФУНКЦИОНАЛЬНО-ПОТОКОВОМ ЯЗЫКЕ Романова Д.С.2025 год

УМНОЖЕНИЕ МАТРИЦ В ЗАДАЧАХ СИНТЕЗА ЛОГИЧЕСКИХ СХЕМ НА ФУНКЦИОНАЛЬНО-ПОТОКОВОМ ЯЗЫКЕ : научное издание

  • Романова Д.С.
  • 2025 год
Методы редукциипараллелизма впроцессевысокоуровнегосинтеза цифровыхинтегральных схем Романова Д.С.Непомнящий О.В.Легалов А.И.2022 год

Методы редукции параллелизма в процессе высокоуровнего синтеза цифровых интегральных схем : научное издание

  • Романова Д.С. и др.
  • 2022 год

Показать ещё

Формальнаяверификация припроектированиисверхбольшихинтегральных схем Титовская Т.С.Непомнящий О.В.Леонова А.В.2014 год

Формальная верификация при проектировании сверхбольших интегральных схем : статья из журнала

  • Титовская Т.С. и др.
  • 2014 год
Automation of FormalVerification ofPrograms in thePifagor Language Ushakova Maria SergeevnaLegalov Alexander Ivanovich2015 год

Automation of Formal Verification of Programs in the Pifagor Language : научное издание

  • Ushakova Maria Sergeevna и др.
  • 2015 год
ИНСТРУМЕНТАЛЬНАЯПОДДЕРЖКА ФОРМАЛЬНОЙВЕРИФИКАЦИИ ПРОГРАММ,НАПИСАННЫХ НА ЯЗЫКЕФУНКЦИОНАЛЬНО-ПОТОКОВОГО… Ушакова Мария СергеевнаЛегалов Александр Иванович2015 год

ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ПРОГРАММ, НАПИСАННЫХ НА ЯЗЫКЕ ФУНКЦИОНАЛЬНО… : статья из журнала

  • Ушакова Мария Сергеевна и др.
  • 2015 год
High-Level DesignFlows for VLSICircuit Nepomnyashchy Oleg V.Legalov Alexander I.Sirotinina Natalia J.2014 год

High-Level Design Flows for VLSI Circuit : статья из журнала

  • Nepomnyashchy Oleg V. и др.
  • 2014 год
Метод оценки ресурсовв процессефункционально-потокового высокоуровневогосинтеза СБИС Непомнящий Олег Владимирович2022 год

Метод оценки ресурсов в процессе функционально-потокового высокоуровневого синтеза СБИС : статья из журнала

  • Непомнящий Олег Владимирович
  • 2022 год
ФОРМАЛЬНАЯВЕРИФИКАЦИЯПАРАЛЛЕЛЬНЫХ ПРОГРАММ Кропачева Мария Сергеевна2012 год

ФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ : статья из журнала

  • Кропачева Мария Сергеевна
  • 2012 год
АЛГОРИТМЫ СИНТЕЗАЛОГИЧЕСКИХ СХЕМ НАФУНКЦИОНАЛЬНО-ПОТОКОВОМ ЯЗЫКЕПАРАЛЛЕЛЬНОГОПРОГРАММИРОВАНИЯ Романова Д.С.Легалов А.И.2023 год

АЛГОРИТМЫ СИНТЕЗА ЛОГИЧЕСКИХ СХЕМ НА ФУНКЦИОНАЛЬНО-ПОТОКОВОМ ЯЗЫКЕ ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ : научное издание

  • Романова Д.С. и др.
  • 2023 год
Верификацияфункционально-потоковых параллельныхпрограмм с помощьюинтервальных формул Удалова Юлия Васильевна2016 год

Верификация функционально-потоковых параллельных программ с помощью интервальных формул : статья из журнала

  • Удалова Юлия Васильевна
  • 2016 год