Предлагается «базовая» структура для организации контроля вычислений на выходах комбинационных схем по классическим кодам Хэмминга с дополнительным контролем самодвойственности каждой контрольной функции. Для этого в схеме встроенного контроля применен кодер классического кода Хэмминга с от=4 информационными разрядами, позволяющий производить самодвойственное сжатие сигналов с последующим контролем вычислений. В работе приводятся некоторые результаты моделирования самодвойственных устройств, получаемых по предлагаемой структуре организации схемы встроенного контроля. Представленный способ организации схем встроенного контроля может эффективно применяться при синтезе самодвойственных устройств с большим количеством выходов с выделением групп по четыре выхода в каждой, синтезом отдельных схем встроенного контроля и их дальнейшей совместной оптимизацией для снижения показателей структурной избыточности.
Идентификаторы и классификаторы
Контроль вычислений в блоках и узлах устройств автоматики и вычислительной техники может быть организован разнообразными методами: применением методов кратного резервирования, использованием помехозащищенных и помехоустойчивых кодов, проверкой принадлежности формируемых функций заранее определенным особым классам булевых функций и пр. [1 – 5].
Остановимся на рассмотрении организации контроля вычислений комбинационными схемами автоматики с применением кодовых методов и соответствия вычисляемых функций классу самодвойственных булевых функций [6].
Список литературы
1. Согомонян Е.С., Слабаков Е.В. Самопроверяемые устройства и отказоустойчивые системы. М.: Радио и связь, 1989, 208 с.
2. Goessel M., Ocheretny V., Sogomonyan E., Marienfeld D. New Methods of Concurrent Checking: Edition 1, Dordrecht: Springer Science+Business Media B.V., 2008, 184 p.
3. Дрозд А.В., Харченко В.С., Антощук С.Г., Дрозд Ю.В., Дрозд М.А., Сулима Ю.Ю. Рабочее диагностирование безопасных информационно-управляющих систем, Под ред. А.В. Дрозда и В.С. Харченко, Харьков: Национальный аэрокосмический университет им. Н.Е. Жуковского “ХАИ”, 2012, 614 с.
4. Бестемьянов П.Ф. Методы обеспечения безопасности аппаратных средств микропроцессорных систем управления движением поездов // Электротехника, 2020, №9, С. 2-8. EDN: PUGWBC
5. Тельпухов Д.В., Жукова Т.Д., Кретинина П.Д. Разработка аналитического метода для выбора наиболее эффективного метода синтеза сбоеустойчивых комбинационных схем // Проблемы разработки перспективных микрои наноэлектронных систем (МЭС), 2021, №3, С. 159-165,. DOI: 10.31114/2078-77072021-3-159-165 EDN: AZJZQB
6. Яблонский С.В. Введение в дискретную математику: Учеб. пособие для вузов, Под ред. В.А. Садовничева, 4е изд., стер, М.: “Высшая школа”, 2003, 384 с. EDN: QJLZCB
7. Reynolds D.A., Meize G. Fault Detection Capabilities of Alternating Logic // IEEE Transactions on Computers, 1978, Vol. C-27, Issue 12, Pp. 1093-1098.
8. Аксенова Г.П. Восстановление в дублированных устройствах методом инвертирования данных // Автоматика и телемеханика, 1987, №10, С. 144-153.
9. Гессель М., Мошанин В.И., Сапожников В.В., Сапожников Вл.В. Обнаружение неисправностей в самопроверяемых комбинационных схемах с использованием свойств самодвойственных функций // Автоматика и телемеханика, 1997, №12, С. 193-200. EDN: YZRWPL
10. Sentovich E.M., Singh K.J., Moon C., Savoj H., Brayton R.K., Sangiovanni-Vincentelli A. Sequential Circuit Design Using Synthesis and Optimization // Proceedings IEEE International Conference on Computer Design: VLSI in Computers & Processors, 11-14 October 1992, Cambridge, MA, USA, pp. 328-333,. DOI: 10.1109/ICCD.1992.276282
11. Collection of Digital Design Benchmarks (Режим доступа: http://ddd.fit.cvut.cz/www/prj/Benchmarks/).
12. Гессель М., Дмитриев А.В., Сапожников В.В., Сапожников Вл.В. Самотестируемая структура для функционального обнаружения отказов в комбинационных схемах // Автоматика и телемеханика, 1999, №11, С. 162-174. EDN: OKENAD
13. Гессель М., Дмитриев А.В., Сапожников В.В., Сапожников Вл.В. Обнаружение неисправностей в комбинационных схемах с помощью самодвойственного контроля // Автоматика и телемеханика, 2000, №7, С. 140-149. EDN: OFOAVF
14. Гессель М., Морозов А.А., Сапожников В.В., Сапожников Вл.В. Построение самопроверяемых комбинационных схем на основе свойств самодвойственных функций // Автоматика и телемеханика, 2000, №2, С. 151-163. EDN: OFNYEJ
15. Гессель М., Дмитриев А.В., Сапожников В.В., Сапожников Вл.В. Исследование свойств самодвойственных самопроверяемых многотактных схем // Автоматика и телемеханика, 2001, №4, С. 148159. EDN: ODWNLL
16. Сапожников В.В., Сапожников Вл.В., Гессель М. Самодвойственные дискретные устройства, СПб: Энергоатомиздат (Санкт-Петербургское отделение), 2001, 331 с. EDN: TZFCWL
17. Сапожников В.В., Сапожников Вл.В., Валиев Р.Ш. Синтез самодвойственных дискретных систем, СПб: Элмор, 2006, 220 с. EDN: QMQCNP
18. Efanov D., Sapozhnikov V., Sapozhnikov Vl., Osadchy G., Pivovarov D. Self-Dual Complement Method up to Constant-Weight Codes for Arrangement of Combinational Logical Circuits Concurrent Error-Detection Systems // Proceedings of 17th IEEE East-West Design & Test Symposium (EWDTS’2019), Batumi, Georgia, September 13-16, 2019, pp. 136-143,. DOI: 10.1109/EWDTS.2019.8884398 EDN: GXLEWV
19. Сапожников В.В., Сапожников Вл.В., Дмитриев А.В., Морозов А.В., Гессель М. Организация функционального контроля комбинационных схем методом логического дополнения // Электронное моделирование, 2002, Том 24, №6, С. 52-66.
20. Гессель М., Морозов А.В., Сапожников В.В., Сапожников Вл.В. Логическое дополнение - новый метод контроля комбинационных схем // Автоматика и телемеханика, 2003, №1, С. 167-176. EDN: NTGMJP
21. Efanov D.V., Pivovarov D.V. The Hybrid Structure of a Self-Dual Built-In Control Circuit for Combinational Devices with Pre-Compression of Signals and Checking of Calculations by Two Diagnostic Parameters // Proceedings of 19th IEEE East-West Design & Test Symposium (EWDTS’2021), Batumi, Georgia, September 10-13, 2021, pp. 200-206,. DOI: 10.1109/EWDTS52692.2021.9581019 EDN: HMIWTK
22. Ефанов Д.В., Пивоваров Д.В. Типовая структура организации схем встроенного контроля на основе логической коррекции и контроля вычислений по двум диагностическим параметрам в эксперименте // Проблемы разработки перспективных микрои наноэлектронных систем (МЭС), 2022, №1, С. 50-58,. DOI: 10.31114/2078-7707-2022-1-50-58 EDN: UTTRFK
23. Tshagharyan G., Harutyunyan G., Shoukourian S., Zorian Y. Experimental Study on Hamming and Hsiao Codes in the Context of Embedded Applications // Proceedings of 15th IEEE East-West Design & Test Symposium (EWDTS’2017), Novi Sad, Serbia, September 29 - October 2, 2017, pp. 25-28,. DOI: 10.1109/EWDTS.2017.8110065
24. Тельпухов Д.В., Жукова Т.Д., Щелоков А.Н., Кретинина П.Д. Применение кода Хэмминга в задаче повышения сбоеустойчивости комбинационных схем // Известия ЮФУ. Технические науки, 2021, № 4 (221), С. 220-231,. DOI: 10.18522/2311-3103-2021-4-220-231 EDN: NLBWML
25. Ефанов Д.В., Пивоваров Д.В., Осадчий Г.В., Зуева М.В. Организация самопроверяемых цифровых устройств по методу логического дополнения с применением кодов Хэмминга // Проблемы разработки перспективных микрои наноэлектронных систем (МЭС), 2022, №1, С. 43-49,. DOI: 10.31114/2078-7707-2022-1-43-49 EDN: GTIHKE
26. Ефанов Д.В. Предельные свойства кода Хэмминга в схемах функционального диагностирования // Информатика и системы управления, 2011, №3, С. 7079. EDN: OFDAUH
27. Сапожников В.В., Сапожников Вл.В., Ефанов Д.В. Особенности применения кодов Хэмминга при организации самопроверяемых схем встроенного контроля // Известия высших учебных заведений. Приборостроение, 2018, Том 61, №1, С. 47-59,. DOI: 10.17586/0021-3454-2018-61-1-47-59 EDN: YNSQGS
28. Сапожников В.В., Сапожников Вл.В., Ефанов Д.В. Коды Хэмминга в системах функционального контроля логических устройств, СПб.: Наука, 2018, 151 с. EDN: VSFGDG
29. Brayton R.K., Rudell R., Sangiovanni-Vincentelli A., Wang A.R. MIS: A Multi-level Logic Optimization Program // IEEE Transactions on Computer-Aided Design, 1987, No. 7, pp. 1062-1081.
Выпуск
Другие статьи выпуска
В работе приводится обобщенная методика расчета схемы пассивного смесителя частот с управлением по току на любой промежуточной частоте с учетом резонансного характера входного импеданса источника тока и выходной нагрузки. Схема смесителя моделируется в среде Micro-Cap и результат сравнивается с расчетом. Предложена цепь компенсации гармоник на выходе плеч. Эта цепь позволяет существенно подавить уровень гармоник и повысить передаточный импеданс смесителя. Рассмотрены частотные зависимости передаточного импеданса.
Статья является развитием работ, в которых рассмотрена методика анализа диодных преобразователей частоты в базисе узловых потенциалов. В данной статье вводится в рассмотрение эквивалентная схема диода с учётом его емкостных параметров. Проведён линейный анализ диодных преобразователей частоты: балансного, двойного балансного и тройного балансного. Получены выражения для коэффициента передачи, развязки «вход-выход» и развязки «гетеродин-выход». Рассмотрено влияние технологического разброса параметров диодов на коэффициент передачи и развязки по портам. Проведена оценка частотных свойств преобразователей частоты. Представлены результаты расчёта и моделирования вышеперечисленных характеристик.
Усилитель мощности (УМ) класса Е широко используется в системах индуктивной передачи энергии (ИПЭ) для питания различных электронных устройств. Однако при обеспечении требуемых выходных характеристик систем возникают трудности в проектировании УМ, что ведёт к увеличению времени его разработки. Для оптимизации проектирования было выполнено сравнение выходных характеристик систем ИПЭ с УМ класса Е и систем ИПЭ с резонансным LC-контуром в передатчике. Сравнение проводилось в ходе численного моделирования систем в программах LTSpice и Matlab. В ходе исследования УМ класса Е работал в номинальном режиме как при одном коэффициенте связи катушек индуктивности систем ИПЭ, так и на заданном диапазоне этих коэффициентов. Иначе говоря, проводилась как статическая, так и динамическая регулировка конденсаторов УМ. В результате исследования отмечена сходимость выходных характеристик между системами ИПЭ с динамически регулируемым УМ класса Е и системами ИПЭ с резонансным LC-контуром в передатчике. На основе результатов исследования предложены правила проектирования УМ класса Е в зависимости от степени связи передающей и принимающей катушек индуктивности системы ИПЭ.
В статье рассмотрена математическая модель интервального измерения траекторной скорости доплеровским радиолокационным устройством. Проведен ее анализ и определены основные параметры и характеристики, влияющие на точность. Выявлена зависимость относительных ошибок при различных наклонных дальностях измерения. Построена аддитивная математическая модель относительной ошибки измерения траекторной скорости. Проверена корректность модели на экспериментальных данных. Для получения доплеровского сдвига частоты предложено радиолокационное устройство ближнего действия с двойным преобразованием частоты, которое обладает повышенной чувствительностью по сравнению с устройством с прямым преобразованием.
В сфере микро- и наноэлектроники многие ученые год за годом проявляют огромный интерес в поисках и исследованиях новых материалов, способствующих кардинальному расширению электронной компонентной базы, что связано, в первую очередь, со значительным ростом затрат производства при масштабировании научно-технических процессов [1]. Ярким примером таких материалов служат пористые оксидные пленки, актуальность исследования которых обусловлена их применением в фотодетекторах, светодиодах, катодах вакуумной микроэлектроники, в роли межслойной изоляции интегральных микросхем (ИМС) [2], наномембранах, антибликовых покрытий в приборах оптической электроники [3]. За счет применения этих пленок в качестве изолирующих материалов заметно повышается скорость распространения электрических сигналов, из-за более низкой диэлектрической проницаемости, чем у непористых структур, снижаются потери на электропроводность [4], что также позволяет использовать диоксид кремния, модифицированный углеродом, для уменьшения потери мощности в ИМС СВЧ-диапазона [5]. Целью данной статьи являлось исследование электрофизических свойств пористых пленок диоксида кремния. Объект исследования -тонкопленочная структура металл-диэлектрик-металл (МДМ) на основе диоксида кремния, модифицированного углеродом.
Рассматриваются базовые схемотехнические решения операционных усилителей (ОУ), ориентированные на изготовление на одном GaAs кристалле полевых транзисторов (field effect transistor, FET) со встроенным каналом n-типа и p-n-p транзисторов. Предлагается перспективная архитектура трехкаскадного ОУ на основе pHEMT (pseudo morphic high electron mobility transistor) и p-n-p HBT (hetero junction bipolar transistor), в которой реализуются малые значения систематической составляющей напряжения смещения нуля, обусловленной влиянием токов базы p-n-p транзисторов и его температурными и радиационными изменениями. Исследуется три варианта построения входных каскадов, в которых предусмотрено увеличение на 1-2 порядка крутизны усиления при работе pHEMT в микроамперных диапазонах токов (10-100 мкА).
Использование в оптических сетях технологий OFDM и MIMO позволили существенно увеличить скорости передачи данных в транспортных сетях использующих, методы оптического мультиплексирования. Более того, дальнейший прогресс в повышении пропускной способности одномодового оптоволокна связывают с усовершенствованием методов коммутации цифровых потоков на основе технологий WDM-SDM. Для реализации таких технологий потребуется новая электронно-компонентная база, реализуемая в виде специализированных микросхем, изготовляемых на КМОП транзисторах с субмикронными проектными нормами. В наших исследованиях мы будем использовать модели транзисторов с проектными нормами 65 нм.
Исследована структура слоев пористого кремния, сформированных при различных плотностях тока и продолжительностях анодной электрохимической обработки. Произведен статистический анализ распределения по размерам (диаметрам пор и толщине скелета) элементов матрицы пористого кремния, полученного в различных режимах анодирования. Разработана методика удаления приповерхностного слоя пористого кремния, вызывающего трудности при электрохимическом заполнении каналов пор металлами, и оценен эффект данной операции на структурные параметры внутренних областей пористого кремния. Даны рекомендации касательно применения слоев пористого кремния в составе гетероэпитаксиальных структур и нанокомпозитов на основе пористого кремния и германия, позволяющих обеспечить возможность реализации более оптимальных подходов к синтезу высокоэффективных термоэлектрических устройств.
Изложены возможности нового прибора разработки Компании ООО «НТ-МДТ» - сканирующего зондового микроскопа «ВЕГА», способного работать с образцами размером до 200х200х40 мм с предельным для атомно-силовой микроскопии разрешением для исследования свойств и метрологического контроля поверхностных наноструктур микро и наноэлектроники.
В статье предложен вариант реализации КИХ-фильтров для многостадийной архитектуры сигма-дельта АЦП с использованием перекодировочных таблиц. Приведены примеры разбиения подобного фильтра на подтаблицы и показан минимальный по площади вариант.
Теоретически исследуется поглощение света квантовой проволокой с переходом носителей из валентной зоны в донорные состояния в присутствие поперечного электрического поля. Примесный центр моделируется потенциалом нулевого радиуса. Получены выражения для коэффициента поглощения света с учётом процессов рассеяния носителей. Анализируются частотные зависимости коэффициента поглощения света при различных значениях напряженности электрического поля и при различных значениях энергии связанного состояния. Показана возможность управления положением максимума поглощения света с помощью электрического поля.
При создании высокопроизводительных вычислительных систем много усилий уделяется вопросам надежности. Децентрализованная архитектура параллельной потоковой вычислительной системы и распределение ресурсов, поддержанное на уровне аппаратуры, позволяют без дополнительных аппаратных затрат реализовать т. н. метод программного мажорирования. В статье рассматриваются варианты реализации функционала мажоритарного элемента в параллельной потоковой вычислительной системе на основе процессора сопоставлений с использованием особенностей его функционирования. Проанализированы преимущества и недостатки вариантов реализации функционала мажоритарного элемента.
Выполнен сравнительный анализ производительности отечественных и зарубежных МК с ядром Cortex-M3. Представлены оценки быстродействия и эффективности выполнения операций отечественных МК К1986ВЕ92QI, К1986ВЕ91Т и их зарубежных аналогов STM32F103C8, STM32F100RBT6. Разработаны тестовые программы для измерения быстродействия при выполнении арифметических операций с целыми числами и числами с плавающей точкой. Проведен сравнительный анализ скорости обращения к портам ввода/вывода с помощью библиотек CMSIS, SPL «Миландр» и «STMicroelectronics». Представлен программный код тестов вычисления числа п и чисел ряда Фибоначчи. Разработаны тесты и представлены результаты расчета числа из ряда Фибоначчи рекурсивным вызовом функции и линейным алгоритмом расчета в цикле.
В этой статье рассмотрены методы сокращения до нескольких секунд времени загрузки от подачи питания до старта инициализации операционной системы. Рассмотренные методы являются универсальными, и для реализации некоторых из них нужна аппаратная поддержка. Эти методы испытаны в вычислительных комплексах на основе процессоров Эльбрус и проанализирована их эффективность.
В данной работе описывается новый способ аппаратного преобразования чисел из системы остаточных классов в двоичную систему счисления. Предложенный для этой цели метод опорных точек основывается на использовании небольшого арифметического блока и сокращенных таблиц поиска (Look up Table (LUT)), что позволяет пользоваться быстродействием LUT и в то же время решать проблему большой площади на кристалле. Метод опорных точек сравнивается с реализацией, основанной на модифицированной Китайской теореме об остатках. Результаты свидетельствуют о том, что новый метод имеет существенный выигрыш в задержке на критическом пути, а также обладает гибкостью, позволяющей подстраивать аппаратную реализацию под нужды разработчика.
В данной работе представлены результаты параметрической оптимизации эвристическим поиском модального фильтра на двухсторонней печатной плате с лицевыми и боковыми связями. Данное устройство позволяет защитить радиоэлектронное оборудование от импульса сверхширокополосной помехи. Оптимизация выполнялась по трем основным критериям: амплитудному, диапазонно-временному и интервальновременному. Для оптимизированных параметров представлены результаты ослабления при изменении граничных условий на концах пассивных проводников на короткое замыкание (КЗ) - холостой ход (ХХ) и ХХ-КЗ. Показано, что при изменении граничных условий ослабление оценивается амплитудой дополнительных импульсов, а не импульсов мод. Достигнуто ослабление в 4 раза по отношению к половине э. д. с. при нагрузках на концах пассивных проводников по 50 Ом и 10 раз при ХХ-КЗ. Разность максимальной и минимальной погонных задержек импульсов максимизирована до 2,45 нс/м. Достигнуто выравнивание разностей погонных задержек мод 3 и 2, 7 и 6 (0,77 нс/м), а также максимизация для мод 6 и 3 (0,91 нс/м).
С использованием средств TCAD проведена оценка влияния радиационного воздействия в диапазоне доз 20кРад - 1000кРад и толщины подзатворного окисла на сдвиг порогового напряжения и чувствительность пМОП-дозиметра на базе КМОП-технологии с изоляцией LOCOS, в котором роль подзатворного окисла выполняет толстый изолирующий слой (FOXFET). Модель FOXFET сформирована в TCAD посредством моделирования КМОП-технологического маршрута с проектными нормами 0.6 мкм. Результаты моделирования показали, что чувствительность падает с ростом дозы облучения, наибольший спад наблюдается при малых дозах до 50 кРад, при дальнейшем увеличении дозы вплоть до 1000кРад наблюдается плавное снижение, которое можно объяснить постепенным насыщением ловушек в окисле зарядом. Существенный рост чувствительности прибора наблюдается с ростом толщины окисла. С помощью моделирования также рассчитаны зависимости чувствительности дозиметра от режимов формирования локального окисла.
Представлены результаты совершенствования анализа распространения импульсных сигналов в связанных линиях передачи на примере многокаскадных структур на основе витка меандровой линии (МЛ). Для этого получены условия разложения сверхкороткого импульса (СКИ) в многокаскадных МЛ с произвольным поперечным сечением и количеством каскадов. Их апробация выполнена на примере структур с лицевой связью из 2, 3 и 4 витков, показавших ослабление амплитуды СКИ 9,3, 24,1 и 84,9 раза соответственно. Кратко описан математический аппарат и функционал программного модуля для анализа отклика таких структур. Представлена демонстрация работы модуля. Результаты работы позволят упростить и ускорить анализ многокаскадных структур на основе связанных линий.
В настоящей статье рассмотрены методы учета паразитных эффектов корпуса и разварочных проволочек. Представлена методика моделирования QFN корпусов, которая может быть использована при построении табличных моделей корпусов различных размеров. Методика основана на использовании результатов трехмерного электромагнитного моделирования. Методика моделирования использована при построении табличной модели отечественного QFN корпуса, размерами 3×3 мм2. Для верификации разработанной методики используются измерения СВЧ МИС диапазона частот 2-7 ГГц до корпусирования и после. Приведено сравнение результатов моделирования и измерений СВЧ МИС в корпусе.
К современным импульсным источникам вторичного электропитания предъявляют требования по обеспечению электромагнитной совместимости. Для удовлетворения требованиям стандартов разработчики применяют специальные схемотехнические решения и входные фильтры. Чтобы правильно спроектировать фильтр разработчику нужно знать профиль кондуктивных помех, создаваемых преобразователем. В данной работе предложен подход к определению профиля кондуктивных помех на основе упрощённой модели микрополосковой линии Хаммерстада-Дженсена. Описанный в работе метод позволяет эвристически оценить паразитные параметры межсоединений на основе длин проводников между компонентами и параметров технологического стека на этапе разработки схемы. Приведены результаты сравнения профиля электромагнитных помех полученного в результате классического моделирования схемы преобразователя, моделирования по предложенному методу и профиля, полученного в результате измерений характеристик собранного макета преобразователя в лаборатории ЭМС. Предложенный метод позволил обнаружить гармонические составляющие помех в мегагерцовом диапазоне частот.
Представлены результаты анализа и оптимизации эволюционными методами витка меандровой микрополосковой линии с учетом влияния температуры окружающей среды в диапазоне от минус 50 до 150 °C. Использована простая температурная модель линейного изменения параметров витка. В результате анализа выявлено, что изменение температуры во всем диапазоне приводит к уменьшению погонных задержек четной и нечетной мод витка до 3,23 и 2,42% соответственно и уменьшению максимальной амплитуды импульсного сигнала на выходе линии до 0,17% но увеличению среднего геометрического волновых сопротивлений четной и нечетной мод линии до 3%. Продемонстрирована возможность параметрической одно- и двухкритериальной оптимизации поперечного сечения витка с учетом влияния температуры с помощью двух методов оптимизации: генетических алгоритмов и эволюционных стратегий. Выявлено хорошее согласование результатов оптимизации двумя методами, но при близких наборах оптимальных параметров время оптимизация эволюционными стратегиями оказалось в 7 раз меньше.
Снижение потребляемой мощности является одной из важнейших задач проектирования современных СБИС. Существуют различные подходы к решению данной задачи. Одним из методов, позволяющих сократить потребляемую мощность является использование библиотек многоразрядных триггеров. Наиболее длительным этапом маршрута проектирования библиотеки многоразрядных триггеров является этап характеризации. В данной статье предлагается методика, позволяющая пользователю сократить временные затраты на характеризацию многоразрядного триггера за счет незначительной потери точности.
В данной работе разбирается применение алгоритмов машинного обучения для прогнозирования мощности рассеивания энергии за счет переключений компонентов схем на начальном этапе физического проектирования интегральных схем (ИС) для конкретной архитектуры. Реалистичная оценка потребляемой мощности возможна на заключительных этапах маршрута проектирования ИС, что может создать дополнительную итеративность в маршруте для оптимизации энергопотребления. Предложенный метод позволяет довольно точно спрогнозировать конечное значение рассматриваемого вида энергопотребления с высокой точностью для различных типов стандартных ячеек при различных сценариях и конфигурациях планировки. Недостатком метода является необходимость прохождения полного маршрута проектирования выбранной схемы с выбранным диапазоном параметров для сбора данных, нужных для обучения моделей машинного обучения, что требует дополнительных машинных и временных ресурсов.
Метод моделирования цифровых микроэлектронных систем широко используется при проектировании последних. При этом важным этапом является проверка проекта на правильность функционирования цифровой системы. На компьютерную модель проекта подаются проверочные тесты, и разработчик анализирует правильность или ошибочность изменения выходных и внутренних сигналов проектируемой системы. При этом должна осуществляться проверка правильности как выполнения всех функций системы, так и всех возможных последовательностей функций. В данной работе предлагается модель и методика проверки последовательностей функций цифровой системы.
В данной работе рассматривается труднорешаемая комбинаторная задача построения топологического рисунка графа. В соответствии с предложенным в данной статье подходом решение этой задачи разбивается на несколько этапов, вводятся основные определения и ограничения предлагаемых математических моделей. Основой построения моделей служат методы дискретной оптимизации и теория вращения вершин графа. Для построения математической модели решается задача выделения плоской части графа, которая рассматривается как комбинаторная задача нахождения подмножества изометрических циклов графа. Представленный метод выделения плоской части графа основан на выделении базиса изометрических циклов графа модифицированным алгоритмом Гаусса с последующим выделением плоской части методом градиентного спуска. Рассматриваются методы построения топологического рисунка графа с минимальным числом пересечений.
В работе рассматривается алгоритм распределения соединений по слоям в задаче многослойной глобальной трассировки, базирующейся на биоинспирированных методах поиска. Решение задачи глобальной трассировки базируется на подходе, включающем две стадии. На первой стадии решается задача однослойной трассировки. На второй -выполняется «распределение соединений по слоям». Разработанные алгоритмы реализованы в виде двух программ: эвристического распределения соединений по слоям и разнесения соединений по слоям методом муравьиной колонии. Решения, полученные в процессе выполнения глобальной трассировки предложенным алгоритмом, на 2-5% лучше, в сравнении с достигнутыми результатами известных трассировщиков. Общая оценка временной сложности лежит в пределах О(n2)-О(n3).
Работа посвящена анализу перспектив использования языка визуальных языков моделирования для синтеза системного проекта ПЛИС. Проанализированы общие подходы использования визуальных языков и выявлены основные направления их применения при проектировании (синтезе) проекта ПЛИС. Показано, что применение визуальных языков позволяет ускорить и упростить процесс проектирования посредством повторного использования уже имеющихся шаблонов архитектуры.
Обратное проектирование СБИС - мощный инструмент, используемый при верификации проекта для повышения быстродействия средств моделирования аппаратуры, а также для обнаружения незаконных вложений в процессе ее производства. Задача обратного проектирования СБИС заключается в построении спецификации устройства путем анализа его аппаратной реализации в виде СБИС. Основным этапом обратного проектирования является декомпиляция плоского нетлиста транзисторной схемы, которая состоит в извлечении из него описания на уровне логических элементов. В работе предлагаются программные средства выделения логической схемы из плоского SPICE-описания транзисторной схемы. Приводятся примеры обратного инжиниринга практических примеров транзисторных схем.
Выполнен цикл моделирования электрических характеристик связанных автогенераторных схем. Обсуждаются результаты моделирования четырёх связанных мемристорных осцилляторов, для которых обеспечиваются режимы синхронизации с коллективным захватом частоты при возможном различии фаз.
Издательство
- Издательство
- ИППМ РАН
- Регион
- Россия, Москва
- Почтовый адрес
- 124365 Москва, Зеленоград, ул. Советская, дом 3
- Юр. адрес
- 123182 Россия, Москва, пл. Академика Курчатова, д. 1
- ФИО
- Гаврилов Сергей Витальевич (Директор)
- E-mail адрес
- ippm@ippm.ru
- Контактный телефон
- +7 (499) 7299890
- Сайт
- https://ippm.ru