?
Профессиональная верификация: Руководство по продвинутой функциональной верификации
М. :
ДМК Пресс, 2025.
Уилкокс П., Романов А. Ю.
Научный редактор: Романов А. Ю.
Переводчик: Романов А. Ю.
Книга, которую вы держите в руках, продолжает серию «Книжная полка истового
инженера», которая издается при поддержке компании YADRO.
Данная книга представляет собой учебник по теоретическим основам продвинутой
функциональной верификации и содержит лучшие практики, используемые в настоящее
время. В ней подробно описана унифицированная методология верификации
(UVM) и раскрыты такие темы, как функциональный виртуальный прототип, функциональное
покрытие, утверждения, формальная верификация, тестбенчи, косимуляция,
эмуляция, аппаратное ускорение верификации и т. д.
Каждая глава книги предваряется краткими тезисами и конспектом, а в конце завершается
контрольными вопросами, что делает ее отличным базовым учебником для
преподавания верификации в вузах и для самостоятельного обучения.
Физулин А. В., Степанянц В. Г., Американов А. А. и др., FUTURE TRANSPORTATION 2026 Vol. 6 No. 6 Article 264
Добавлено: 12 ноября 2026 г.
Малюкова П. А., Бакшеева К. А., Рудаков К. И. и др., Письма в Журнал технической физики 2026 Т. 52 № 23 С. 27–30
Представлены результаты исследования излучения кожи человека под действием ментальной нагрузки на частоте 247 ГГц. Разработана экспериментальная установка на базе приемника на основе перехода сверхпроводник-изолятор-сверхпроводник. Проведены исследования на 22 добровольцах в возрасте от 18 до 73 лет. Исследована корреляция детектора на основе перехода сверхпроводник-изолятор-сверхпроводник и датчика кожно-гальванической реакции. ...
Добавлено: 12 ноября 2026 г.
Бакшеева К. А., Журин Ю. В., Ожегов Р. В. и др., Письма в Журнал технической физики 2026 Т. 52 № 23 С. 19–22
Представлены исследования особенностей терагерцевого (THz) излучения кожи человека при воздействии ментальной нагрузки. Исследования проведены при помощи однопиксельной THz-камеры на основе сверхпроводникового интегрального приемника. Полученные радиояркостные изображения показали наличие выбросов в области переносицы и надбровных дуг, что может служить индикатором психологического состояния человека. ...
Добавлено: 12 ноября 2026 г.
Stoianova A. D., Trofimets V. Y., Matrokhina K. V., International Journal of Engineering, Transactions A: Basics 2025 Vol. 38 No. 4 P. 701–709
Добавлено: 10 ноября 2026 г.
Добавлено: 10 ноября 2026 г.
Добавлено: 10 ноября 2026 г.
Lukyanchuk V., Норман Г. Э., Кондратюк Н. Д. и др., Scientific Reports 2026 Vol. 16 No. 1 Article 16435
Добавлено: 10 ноября 2026 г.
В статье представлен программный инструмент, разработанный для обработки терагерцовых тепловых изображений лица человека, полученных в ходе контролируемого психофизиологического эксперимента. В эксперименте однопиксельный детектор с частотой 500 ГГц в сочетании с двухзеркальной сканирующей системой формирует последовательность низкоразрешенных тепловых кадров (700 × 51 пиксель) лица испытуемого в условиях релаксации и стрессовых когнитивных и физических нагрузок. Целью обработки ...
Добавлено: 9 ноября 2026 г.
Avdoshin S.M., Pesotskaya E.Y., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 6, part 2 P. 133–146
Добавлено: 8 ноября 2026 г.
Добавлено: 8 ноября 2026 г.
IEEE Computer Society (Conference Publishing Services, CPS), 2026.
Добавлено: 7 ноября 2026 г.
Sergey Avdoshin, Elena Pesotskaya, Салех Х. М. и др., Procedia Computer Science 2026 Vol. 292 P. 1332–1341
Добавлено: 7 ноября 2026 г.
Дубленский Д. С., КАНУННИКОВ Т. Н., Махмудов Т. Н. и др., Известия высших учебных заведений. Электроника 2026 Т. 31 № S4.1 С. 137–148
Ключевым принципом функционирования беспилотного летательного аппарата является непрерывный сбор и обработка данных с бортовых датчиков, осуществляемая под управлением операционной системы реального времени (RTOS). Для мультикоптеров, где критически важна минимальная задержка реакции системы на изменения в полете, основным фактором становится производительность вычислительного ядра полетного контроллера. Исторически сложилось, что для этих целей доминирующим выбором стали микроконтроллеры на ...
Добавлено: 7 ноября 2026 г.
Колмогорова А. В., Ekaterina Yavshitz, Margolina A. и др., Association for Computational Linguistics, 2026.
Добавлено: 4 ноября 2026 г.
IEEE Circuits and Systems Society, 2026.
Добавлено: 4 ноября 2026 г.
Учебное пособие содержит описания восьми лабораторных работ по дисциплине «Функциональные узлы и компоненты систем контроля и управления»: исследование транзисторных усилительных каскадов, источников тока и токовых зеркал, каскодного и дифференциального каскадов и комплементарного повторителя, основных схем включения операционного усилителя, измерительных выпрямителей и пиковых детекторов, релаксационных генераторов и одновибраторов, линейных стабилизаторов напряжения, измерительного канала с мостовым датчиком, ...
Добавлено: 3 ноября 2026 г.
Association for Computational Linguistics, 2026.
Добавлено: 3 ноября 2026 г.
СПб.: АО "ЦТСС", 2025.
В научном издании представлены труды Двенадцатой всероссийской научно-практической конференции по имитационному моделированию и его применению в науке и промышленности «Имитационное моделирование. Теория и практика» (ИММОД-2025) по следующим направлениям: - теоретические основы и методология имитационного и комплексного моделирования; - методы исследования и оценки качества моделей, валидация и верификации моделей; - методы и системы распределенного моделирования; - ...
Добавлено: 17 апреля 2026 г.
Гордин В. А., Smirnov M. A., Russian Meteorology and Hydrology 2025 No. 50 P. 1016–1028
Для интерполяции комплексного прогноза геопотенциала и температуры в точки регулярной сетки проводилась статистическая оценка трехмерных авто- и кросс-кореляционных функций для инкрементов от первого приближения. В качестве первого приближения использованы поля прогноза по модели ICON. ...
Добавлено: 17 февраля 2026 г.
Степанянц В. Г., , in: 2025 International Russian Automation Conference (RusAutoCon).: IEEE, 2025. P. 982–986.
Добавлено: 3 октября 2025 г.
Poplavsky E., Кузнецова А. М., Troitskaya Y., Journal of Marine Science and Engineering 2023 Vol. 11 No. 6 Article 1239
В данной работе представлен анализ нового метода восстановления параметров пограничного слоя атмосферы в ураганах. Данный метод основан на аппроксимации верхней параболической части профиля скорости ветра и восстановлении нижней логарифмической части. На основе логарифмической части получены скорость трения, скорость приземного ветра и коэффициент аэродинамического сопротивления. Полученные данные используются для верификации данных моделирования в модели WRF-ARW. Изучен ...
Добавлено: 10 декабря 2024 г.
Mikhail Romashikhin, Романов А. Ю., , in: 2023 International Russian Automation Conference (RusAutoCon) 10-16 Sept. 2023.: Sochi: IEEE, 2023. P. 330–334.
Добавлено: 13 июня 2024 г.