В статье рассмотрен метод расширенной функциональной верификации проекта, основанный на формальной модели. Данный метод позволяет «выловить» такие ошибки, которые традиционными методами обнаружить очень сложно, а в некоторых случаях и невозможно. В статье приводится пример очень простого, но не поддающегося верификации стандартными методами проекта. Также упоминаются библиотеки формальных моделей, используя которые, разработчик может обнаружить такие ошибки, о возможности существования которых он и не подозревал.
Если вам понравился материал, кликните значок — вы поможете нам узнать, каким статьям и новостям следует отдавать предпочтение. Если вы хотите обсудить материал —не стесняйтесь оставлять свои комментарии : возможно, они будут полезны другим нашим читателям!
К 130-летию со дня рождения великого советского физика Игоря Евгеньевича Тамма. Часть 4. История возникновения концепции поляритонов
В прошлом году в журнале «Современная электроника» были опубликованы три статьи, посвящённые юбилею выдающегося российского физика-теоретика Игоря Евгеньевича Тамма (СОЭЛ № 7–9, 2025). В частности, были описаны современные быстродействующие электрооптические модуляторы, поверхностные состояния Тамма, запрещённые фотонные зоны и фотонные кристаллы. В этих статьях умышленно не затрагивались темы поляритонов, оптических состояний Тамма (ОСТ) и плазмон-поляритонов Тамма (ППТ). Поскольку ключевой вклад в раннюю разработку этих явлений в основном принадлежит российским учёным, целесообразно посвятить их открытию более подробные отдельные статьи. Ниже рассмотрены два основных типа гибридных фотонных частиц: экситон-поляритоны и фонон-поляритоны. 24.04.2026 СЭ №4/2026 57 0 0
Телевизор с электронно-лучевой трубкой: разработки С.И. Катаева и их значение
«…Наступит время… когда миллионы таких приборов, таких "электрических глаз" будут всесторонне обслуживать общественную и частную жизнь, науку, технику и промышленность…» Б. Розинг Семён Исидорович Катаев (1904–1991 гг.), советский учёный и изобретатель в области телевидения, доктор технических наук, профессор, заслуженный деятель науки и техники – незаслуженно обделён вниманием популяризаторами истории электроники и телевидения в нашей стране. Тем не менее И.С. Катаев внёс значительный вклад в развитие инженерной мысли в СССР при разработке и усовершенствовании электронно-лучевых трубок (ЭЛТ), ставших на многие годы ключевой технологией, лежащей в основе экранов телевизоров и оборудования различного назначения. Катаев дополнил изобретение Зворыкина и по праву может считаться ещё одним «отцом» отечественного телевидения. В найденных документах роль Катаева прослеживается чётко, и в статье мы хотим это показать. 23.04.2026 СЭ №4/2026 80 0 0
Об оптимальной расстановке фанаутов на печатных платах
В статье рассматривается задача оптимальной расстановки фанаутов на печатных платах и анализируются ограничения существующих решений в современных САПР. Предложена математическая постановка задачи выбора фанаутов как поиска максимального набора совместимых вариантов без нарушений правил проектирования. Обоснована вычислительная сложность задачи и необходимость применения приближённых алгоритмов. Показано, что предложенный подход позволяет повысить полноту и качество разводки, включая работу с дифференциальными парами и конфликтами трассировки. 22.04.2026 СЭ №4/2026 98 0 0
Электронные системы диагностики, стимуляции и воздействия на человека на примере BAMH и управления – на примере AE-Skin
Путь будущих разработок в области современной электроники пролегает от визуального отображения окружающего пространства до тактильного. В этой связи представляют интерес система Bioinspired Adaptable Multiplanar mechano-vibrotactile Haptic (BAMH) – пневматически активируемый роботизированный электронный комплекс с интерфейсом из мягкого материала и система AE-Skin, обеспечивающая интерфейс между кожей человека и физическими поверхностями. Принцип её действия достаточно известен и заложен в управлении интерактивными экранами. В первой части статьи рассматриваются особенности новых разработок в области медицинской электроники и перспективы тактильного воздействия на кожу человека для лечения и изменения настроения. Во второй части представлен подробный разбор AE-Skin и примеры её совершенствования во всех сферах жизни человека: от управления посредством электронных тактильных датчиков миниатюрной формы до устройств на основе новых технологий, воспринимающих движения руками без прикосновения и без применения пироэлектрических детекторов, как управляющие сигналы для РЭА. 17.04.2026 СЭ №4/2026 126 0 3
