Современные технологии моделирования и верификации цифровых систем на кристаллах
Программно-аппаратная реализация методов моделирования для верификации и тестирования цифровых систем, имплементируемых в кристаллы, содержащие миллионы вентилей. Современные маршруты верификации SoC, линтинг-технология на ранних стадиях проекта.
Подобные документы
Аналитические оценки методов параллельного моделирования с неисправностями цифровых устройств на логическом уровне представления. Оценка времени моделирования в зависимости от числа вычислительных ядер. Параметры масштабируемости разработанных методов.
статья, добавлен 27.07.2016Исследование структуры и особенностей цифровых систем управления. Рассмотрение сущности процесса квантования сигналов и его свойств. Определение преимуществ и недостатков цифровых систем управления. Анализ основных методов исследования цифровых систем.
презентация, добавлен 26.06.2014Современные технологии цифровых систем передачи автоматической коммутации цифровых потоков. Применение технологии SDH на современных волоконно-оптических транспортных сетях и сетях доступа. Характеристики высокоскоростных технологий DWDM, UWDM, NWDM.
дипломная работа, добавлен 24.01.2012Создание методик идентификации и верификации параметров электрорадиоизделий иностранного производства, предназначенных для расчета надежности систем связи. Методика идентификации параметров ЭРИ ИП в формате блок-схемы; американский и китайский подходы.
дипломная работа, добавлен 14.08.2020Изучение основных методов диагностирования цифровых устройств, принципы выбора, особенности их технического обслуживания, общие методы контроля. Сигнатурный анализ цифровых устройств как разновидность метода компактного тестирования, его эффективность.
методичка, добавлен 29.10.2013Анализ вопросов построения системы охранного телевидения и компьютерных систем видеоконтроля. Классификация цифровых систем видеоконтроля. Изучение цифровых систем видеоконтроля, представленных на рынке. Сравнительные черты цифровых систем видеоконтроля.
дипломная работа, добавлен 29.04.2017Задача верификации объектов организации средствами видеоконтроля. Использование алгоритма обнаружения угрозы и обработки видеоизображений. Общая последовательность действий системы видеоконтроля для обнаружения угрозы в пределах контролируемой зоны.
статья, добавлен 10.01.2016Основные проблемы управления при синтезе цифровых систем стабилизации параметров технологических процессов. Примеры оптимизации параметров регулятора, получения дискретных моделей цифровых устройств. Сравнительный анализ непрерывной и цифровой систем.
статья, добавлен 29.04.2017Диагностирование модели цифрового устройства, характеристика различающих последовательностей. Использование графового представления описания устройства на HDL. Особенности метода поиска дефектов/ошибок проектирования при верификации HDL-моделей.
статья, добавлен 19.06.2018Техническая эксплуатация цифровых систем и устройств, понятие их жизненного цикла. Основы контроля и технической диагностики, основные проблемы повышения надежности элементов. Виды, методы и технические средства контроля и диагностики цифровых систем.
учебное пособие, добавлен 10.12.2011Использование методов компьютерного моделирования при разработке и проектировании новых оптико-электронных систем (ОЭС). Разработка общей методологии (принципов и методов) компьютерного моделирования ОЭС. Методы оценки адекватности компьютерной модели.
автореферат, добавлен 04.02.2018Роль и место цифровых систем передачи в единой сети связи. Кодеры и декодеры цифровых систем передачи. Аппаратура линейного тракта. Принципы объединения цифровых потоков. Функции секционных и трактовых заголовков. Виды топологии транспортных сетей SDH.
курсовая работа, добавлен 26.11.2013Перспективы развития кабельных систем и цифровых радиорелейных линий. Современные тенденции развития телекоммуникационных сетей. Развитие технологии Ethernet, появление нового транспорта PoS. Использование оптических кабелей в качестве среды передачи.
реферат, добавлен 04.03.2011Анализ перспектив развития информационной сферы жизнедеятельности общества. Основные характеристики кабельных и цифровых радиорелейных линий как способа передачи информации, современные тенденции систем телекоммуникаций и формат цифрового телевидения.
реферат, добавлен 10.11.2014Новые классы цифровых нелинейных радиоэлектронных динамических систем с модулированным шагом временной сетки. Анализ основных статистических характеристик радиоэлектронных динамических систем. Оценка интервалов корреляции сигналов нелинейных систем.
статья, добавлен 29.07.2017Проведение верификации прикладного программного обеспечения программного технического комплекса защиты системы внутриреакторного контроля. Выполнение функциональных требований, предъявляемых к реализации функции защиты по запасу до кризиса теплообмена.
статья, добавлен 19.11.2018Анализ требований, предъявляемых к информационно-телекоммуникационным сетям. Характеристика методов аналитического и гибридного моделирования сетей. Разработка методов расчета однородных замкнутых сетей систем массового обслуживания общего вида.
статья, добавлен 26.02.2017- 18. Разработка и исследование методов определения входных воздействий в цифровых системах управления
Проведение исследования влияния трансформированной погрешности на качество функционирования цифровой системы управления. Изучение ошибок аналого-цифрового преобразования. Особенность моделирования работы систем с цифровыми регуляторами в Matlab.
автореферат, добавлен 31.01.2019 Характеристика особенностей аппаратуры цифровых систем передачи. Технические особенности кабелей. Расчет участков напряжений дистанционного питания. Защита сигнала от шумов в линейном тракте. Качество передачи информации и необходимое оборудование.
курсовая работа, добавлен 08.02.2017Достоинства цифровых систем передачи по сравнению с аналоговыми системами. Разработка, расчет и внедрение проекта модернизации сети телекоммуникаций г. Тараз с заменой декадно-шаговых АТС на цифровые и заменой межстанционных линий на оборудования SDH.
дипломная работа, добавлен 16.11.2014Современные цифровые технологии блокчейн, основные задачи, которые решаются с использованием технологий блокчейн. Алгоритм и главные модели взаимодействия основных участников блок-хэшчейн сети, для регистрации оплаты жилищно-коммунального хозяйства.
статья, добавлен 12.01.2021Компьютерное моделирование интегральных цифровых приборов. Структурная схема счетчика, эскиз топологии и топологические размеры. Параметры транзисторов и модели вентилей. Расчет быстродействия триггеров. Определение межсоединений и паразитных емкостей.
курсовая работа, добавлен 22.10.2017Решается проблема мобильного сопряжения автоматизированных средств тестового диагностирования и цифровых систем, конфигурируемых на кристалле. Предложена структура мультипроцессорного векторного преобразователя, обладающего высоким быстродействием.
статья, добавлен 15.09.2019- 24. Исследование динамики дискретных систем фазовой синхронизации второго порядка с нелинейным фильтром
Применение системы фазовой синхронизации в цифровых радиопередающих и радиоприемных системах. Анализ обобщенной модели импульсных и цифровых систем фазовой синхронизации с различными типами фазовых детекторов и нелинейных фильтров в цепи управления.
автореферат, добавлен 21.02.2013 Создание spice-модели компонентов для моделирования схемы в среде Altium Designer. Определение параметров полупроводниковых приборов, индуктивных элементов и цифровых компонентов. Методика расчетов в процессе проектирования цифровых электронных схем.
курсовая работа, добавлен 26.10.2017