Современные технологии моделирования и верификации цифровых систем на кристаллах
Программно-аппаратная реализация методов моделирования для верификации и тестирования цифровых систем, имплементируемых в кристаллы, содержащие миллионы вентилей. Современные маршруты верификации SoC, линтинг-технология на ранних стадиях проекта.
Подобные документы
Общие сведения о цифровых измерительных приборах. Обобщенная структурная схема ЦИП. Процесс преобразования аналогового сигнала в цифровой код. Помехоустойчивость. Цифровые вольтметры постоянного тока, структурная схема неинтегрирации с преобразованием.
реферат, добавлен 17.11.2008Разработка структурной схемы цифровых радиорелейных линий. Выбор радиотехнического оборудования. Расчет устойчивости связи, построение профиля пролета и расчет величины просвета. Минимально-допустимый множитель ослабления и расчет замираний на пролетах.
курсовая работа, добавлен 12.10.2015Появление виртуального пространства, в рамках которого осуществляется взаимодействие государства, общества и бизнеса. Влияние интеграции глобальной сети и средств массовой информации на социальную и политическую сферы. Применение цифровых технологий.
статья, добавлен 29.03.2021- 79. Моделирование динамических параметров логических элементов для синтеза цифровых интегральных схем
Разработка средств автоматизации расчета динамических параметров логических элементов, составляющих базу данных для синтеза цифровых интегральных микросхем. Расчет параметров логических элементов, необходимых для работы систем автоматического синтеза.
автореферат, добавлен 31.07.2018 Анализ статистических и частотных свойств двумерных цифровых сигналов QAM-технологии и представление его в пространстве состояний. Разработка алгоритма оптимальной адаптивной экстраполяции сигнала QAM, анализ его эффективности и оценка вероятности ошибки.
автореферат, добавлен 31.07.2018Использование цифровых систем на сетях связи для прокладки оптического кабеля. Понятие виртуального контейнера. Использование метода синхронного мультиплексирования и гибкого отображения структуры. Преимущества технологии SDH. Выбор системы передачи.
контрольная работа, добавлен 13.11.2017Перспективы развития полунатурного моделирования и быстрого прототипирования при разработке механической части устройств. Этапы разработки системы автоматической ориентации станции тропосферной связи. Ее структурная схема и обобщенный алгоритм работы.
статья, добавлен 29.06.2017Исследование программы для моделирования процессов и расчета электронных устройств на аналоговых и цифровых элементах. Проектирование эмиттерного повторителя в Electronic Workbench. Разработка схем усилителя и регулируемого стабилизатора напряжения.
контрольная работа, добавлен 11.05.2016Имитационное моделирование работы радиолокационной системы терагерцового диапазона радиоволн с разработкой численных моделей и программно-алгоритмического обеспечения исследований распространения электромагнитного импульса в волноводных трактах.
статья, добавлен 06.11.2018- 85. Техническая эксплуатация информационно-коммуникационных сетей связи предприятия ОАО "Ростелеком"
Установки и монтаж телекоммуникационных систем. Мониторинг и диагностика работоспособности линий абонентского доступа, цифровых и волоконно-оптических систем передач. Определение характера и места повреждения кабеля. Модель организации управления сетью.
отчет по практике, добавлен 18.01.2015 Подходы к применению приборно-технологического моделирования маршрутов. Спектр задач моделирования маршрутов изготовления, модели активных и пассивных элементов. Конструктивно-технологический вариант устройства и изготовление партий микросхемы КР1446ХК1.
дипломная работа, добавлен 14.06.2012Подавление помех и когерентное накопление сигналов - одни из наиболее важных задач стохастических радаров с цифровой пространственно-временной обработкой. Характеристика схемы формирования грубых отсчетов с рандомизацией бинарно-знаковой статистики.
статья, добавлен 30.10.2018История развития систем передачи информации с импульсно-кодовой модуляцией. Плезиохронная иерархия цифровых систем передачи (PDH) в РФ. Принцип формирования групповых сигналов PDH. Использование ЦСП ИКМ-3О на телефонных сетях для связи между АТС.
реферат, добавлен 22.09.2013Основы методов передачи сигналов и временного объединения цифровых потоков в цифровых системах передачи, их характеристики и схемы построения, основы проектирования и эксплуатации. Принципы построения аппаратуры оконечных станций и линейного тракта.
книга, добавлен 05.11.2009Краткая характеристика систем аккумуляторных батарей и их аппаратурной реализации в цифровых сетевых устройствах. Системные элементы идентичных источников вторичного электропитания. Трудности реализации микроминиатюризации механизма электропитания.
статья, добавлен 14.01.2017Суть методов функциональной стандартизации и технологии открытых систем. Появление сбоев и отказов в условиях воздействия внешних и внутренних факторов. Критерии анализа сложных телекоммуникационных систем на предсказуемость поведением элементов.
статья, добавлен 14.10.2018Техническая характеристика, область применения и описание архитектуры цифровой системы коммутации. Стандартные элементы в SIP-сети. Процесс установления соединения с использованием SIP-протокола. Использование алгоритмов сжатия и кодирования данных.
контрольная работа, добавлен 03.04.2015Особенность распознавания диктора по голосу при идентификации. Анализ изучения типичной схемы верификации. Исследование роли процедуры параметризации. Разделение допущенных пользователей в ограниченной и строго контролируемой группе абонентов системы.
статья, добавлен 23.03.2018Изучение нового алфавита цифровых знаков на основе 4-сегментного цифрового формата индикатора. Преимущества начертания знаков на основе новых цифровых форматов перед начертанием знаков на основе 7-сегментного формата, их использование при моделировании.
статья, добавлен 14.07.2020Алгоритм исследования метода оптимизации управляющего автомата. Генерация формального описания. Доказательство эквивалентности моделей автоматов. Анализ отчетов верификации и синтеза. Описание метода, основанного на замещении символов входного алфавита.
автореферат, добавлен 01.07.2018Расчет баланса мощности и максимального количества станций при кольцевой и звездообразной сети. Виды технологии линейного кодирования в оборудовании DSL в зависимости от требований к расстоянию и пропускной способности, их сравнение и коммутация.
контрольная работа, добавлен 18.09.2012Материалы, используемые для формирования элементов МСТ в LIGA-технологии. LIGA-технологии как возможность создания элементов МСТ большой толщины с вертикальными сторонами. Технология поверхностной микрообработки. MUMPs-технология, планарные элементы МСТ.
курс лекций, добавлен 26.10.2013Разработка математической модели силовой схемы агрегатов бесперебойного питания для работы в режиме реального времени и программного обеспечения для реализации алгоритма. Программное обеспечение для устройства сопряжения тестирующего комплекса.
автореферат, добавлен 13.04.2018Основные методы повышения надежности цифровых комплексных систем автоматического управления летательным аппаратом, описываемых нелинейными дифференциальными уравнениями высоких порядков. Способы модернизации бортовой цифровой вычислительной системы.
доклад, добавлен 27.01.2012Проектирование электрических схем и узлов цифровых устройств, выполняющих арифметические и логические операции. Содержание пояснительной записки и графической части курсового проекта. Расчетная часть на примере задачи минимизации по методу Квайна.
методичка, добавлен 25.09.2010