Средства функциональной верификации компании Mentor Graphics
Исследование и верификация системы на архитектурном и алгоритмическом уровне. Аппаратная эмуляция, контроль эквивалентности. Аналоговое и смешанное моделирование систем на кристалле. Матрица конфигурации Questa, обобщенная структурная схема платформы.
Подобные документы
Реализация программного средства "Действия над матрицами". Разработка кода программного продукта на основе готовой спецификации на уровне модуля. Использование инструментальных средств на этапе отладки программного модуля. Выбор стратегии тестирования.
отчет по практике, добавлен 19.04.2015Структурная схема модели системы, временная диаграмма, блок-схема моделирующего алгоритма, математическая модель, описание машинной программы решения задачи, результаты моделирования. Сравнение имитационного моделирования и аналитического расчета.
курсовая работа, добавлен 28.06.2011Имитационное моделирование как один из наиболее широко используемых методов при решении задач анализа и синтеза сложных систем. Особенности имитационного моделирования систем массового обслуживания. Анализ структурной схемы системы передачи пакетов.
курсовая работа, добавлен 28.05.2013Ознакомление с современными концепциями построения моделирующих систем. Характеристика основных приемов имитационного моделирования. Перевод алгоритма на язык программирования. Понятие и этапы верификации: установления правильности машинной программы.
курсовая работа, добавлен 30.03.2011Разработка системы расчета характеристик разомкнутых экспоненциальных сетевых моделей, выполняющая имитационное моделирование заданной сетевой модели. Построение модели на языке GPSS, анализ эффективности аналитической модели, выполняющей роль эталона.
курсовая работа, добавлен 01.12.2010Описание морской ледостойкой стационарной платформы имени Ю. Корчагина. Анализ системы технической эксплуатации электрооборудования. Должностные обязанности энергослужбы, компьютеризированная система организации технического обслуживания и ремонта.
дипломная работа, добавлен 29.11.2011Характеристика предприятия, оценка его конкурентоспособности. Экономическая безопасность предприятия. Сущность и задачи розничной торговли. Виды переоценки. Адаптация платформы 1С:Предприятие. Структура конфигурации. Режим проведения торговых операций.
дипломная работа, добавлен 14.01.2012Подбор и описание компонентов, обеспечивающих защиту информации, активов компании, для дальнейшего построения на их основании надежной и защищенной корпоративной сети на примере сети "JDSONS". Аудит и контроль изменений конфигурации информационных систем.
курсовая работа, добавлен 11.09.2012Откачка и подкачка, схема. Смежное распределение памяти. Аппаратная поддержка регистров перемещения и границы. Стратегии динамического распределения памяти. Внешняя и внутренняя фрагментация. Схема адресной трансляции по двухуровневой таблице страниц.
лекция, добавлен 24.01.2014- 60. Моделирование информационной системы библиотеки с использованием методологии IDEF0 и средства ERwin
Создание контекстной диаграммы информационной системы библиотеки. Основные компоненты и особенности ведения каталогов книг и читателей. Моделирование систем поиска и формирования заказов. Разработка диаграммы дерева узлов и логической модели базы данных.
курсовая работа, добавлен 24.06.2013 Моделирование системы массового обслуживания (СМО) для транспортного цеха с использованием языка GPSS Wоrld. Детальная схема и блок-схема моделирующего алгоритма и их описание. Математическая модель и ее описание. Анализ результатов моделирования.
реферат, добавлен 28.06.2011Особенности инициализации регистров для дисковых операций чтения, записи и верификации. Анализ метода доступа к дисковой памяти, поддерживающей использование оглавления, блокирование и разблокирование записей. Обеспечение адресации дисковых секторов.
лабораторная работа, добавлен 20.11.2012Назначение и область применения набора MicroCamp, расположение элементов на его плате. Обобщенная структурная схема и технические характеристики мобильного робота. Обзор микроконтроллера Atmega 8. Разработка программного обеспечения для набора MicrоCamp.
курсовая работа, добавлен 15.07.2012Основные понятия компьютерного моделирования. Функциональная схема робота. Системы компьютерной математики. Исследование поведения одного звена робота с использованием системы MathCAD. Влияние значений изменяемого параметра на амплитуду угла поворота.
курсовая работа, добавлен 26.03.2013Построение перспективной проекции, алгоритм удаления невидимых линий и поверхностей, получения изменений формы и движения объекта. Обобщенная структурная диаграмма программы, предназначение данных и основных переменных. Блок-схема процедур и функций.
курсовая работа, добавлен 08.02.2011Стандартная библиотека для всех 32-разрядных операционных систем - OpenGL. Структурная схема программы. Описание разработанного класса, реализации технологии Com, динамических библиотек. Средства использования сервисов, предоставляемых Microsoft Office.
курсовая работа, добавлен 14.11.2010Модели вычислительных процессов, оценка трудоемкости алгоритма методами теории марковских цепей. Модели мультиплексного и селекторного каналов. Экспоненциальные стохастические сети и их параметры. Матрица вероятностей передач, элементы автоматики.
курсовая работа, добавлен 08.11.2012Программные средства имитационного моделирования систем массового обслуживания. Программная среда Matlab, ее структура и основные компоненты, функциональные особенности, а также назначение. Разработка подсистем моделирования. Инструкция пользователя.
дипломная работа, добавлен 10.07.2017Моделирование как основная функция вычислительных систем. Разработка концептуальной модели для системы массового обслуживания и ее формализация. Аналитический расчет и алгоритмизация модели, построение блок-диаграмм. Разработка и кодирование программы.
курсовая работа, добавлен 18.12.2011Теоретические аспекты функционирования Business intelligence - систем в сфере логистики. Анализ условий для разработки системы поддержки принятия решений. Характеристика процесса создания программного продукта, применение аналитической платформы QlikView.
курсовая работа, добавлен 09.09.2017Анализ инцидентов информационной безопасности. Структура и классификация систем обнаружения вторжений. Разработка и описание сетей Петри, моделирующих СОВ. Расчет времени реакции на атакующее воздействие. Верификация динамической модели обнаружения атак.
дипломная работа, добавлен 17.07.2016Теория автоматического управления. Передаточная функция системы по ее структурной схеме. Структурная схема и передаточная функция непрерывной САР. Устойчивость системы. Исследование переходного процесса. Расчет и построение частотных характеристик.
курсовая работа, добавлен 14.03.2009Применение приемов работы со средой моделирования и с программным комплексом Mat LAB. Особенности моделирования работы системы автогрузовых перевозок. Разработка библиотеки функциональных блоков. Структурная модель системы, расчет ее характеристик.
контрольная работа, добавлен 28.10.2013Анализ функциональной структуры и обеспечивающей части АСУ. Проектирование функциональной структуры подсистемы управления проблемами, разработка модели в среде CPN Tools и алгоритма работы. Описание программного и технического обеспечения проекта.
дипломная работа, добавлен 26.06.2011Разработка концептуальной модели системы обработки информации для узла коммутации сообщений. Построение структурной и функциональной блок-схем системы. Программирование модели на языке GPSS/PC. Анализ экономической эффективности результатов моделирования.
курсовая работа, добавлен 04.03.2015