- •Введение
- •Обзор современного состояния субмикронной и глубоко-субмикронной технологий
- •Проектирование цифровых интегральных схем
- •Задачи и методы схемотехнического моделирования сбис
- •Этапы проектирования сбис
- •Общие вопросы характеризации цифровых библиотек
- •Характеризация логических элементов
- •Характеризация элементов памяти
- •Анализ переходных процессов
- •Описание характеристик ячеек из библиотеки
- •Языки моделирования цифровых библиотек
- •Обзор средств, существующих в настоящее время
- •Средства проектирования компании cadence
- •Системное проектирование
- •Аппаратное проектирование и верификация
- •Математическое макетирование
- •Топологическое проектирование
- •Средства проектирования компании synopsys
- •Средства проектирования компании mentor graphics
- •Системный уровень
- •Уровень регистровых передач
- •Логический уровень
- •Заказное проектирование аналоговых и смешанных схем
- •Топологическое проектирование
- •Краткое описание возможностей SystemC
- •Контекст SystemC
- •Аспекты SystemC
- •Точность моделирования
- •Модели вычислений
- •Функциональное моделирование
- •Моделирование на уровне транзакций
- •Уровень rtl и связь с реализацией
- •Верификационные расширения
- •Построение модели функционального виртуального прототипа
- •Модели использования fvp
- •Создание встроенных программ
- •Функциональная верификация
- •Анализ fvp с помощью транзакций
- •Программы для характеризации цифровых библиотек
- •Spice-подобные программы моделирования
- •Интерфейс к пользовательским моделям
- •Программная система Charisma
- •Характеризация цифровой ячейки по помехоустойчивости
- •Помехоустойчивость цифровых бис к воздействию внешних помех
- •Устойчивость цепей питания цифровых бис
- •Анализ устойчивости цифровых бис к воздействию внутренних помех
- •Влияние помех в шинах питания на входы бис
- •Рекомендуемые схемотехнические методы борьбы с помехами в шинах питания бис
- •Помехи, генерируемые в сигнальных шинах из-за перекрестного взаимодействия
- •Помехи в сигнальных шинах, вызванные «состязаниями» сигналов
- •Конечная верификация проекта
- •Электрическая верификация
- •Временная верификация
- •Функциональная верификация
- •Заключение
- •Библиографический список
- •Оглавление
- •394026 Воронеж, Московский просп., 14
Аспекты SystemC
Точность моделирования
Как и в случае VSIA (Virtual Socket Interface Alliance) классификации проектных моделей системного уровня [4, 5], при изучении любой модели и ее сравнении с конечной реализацией мы можем измерить точность модели по нескольким независимым направлениям. Сюда входит структурная точность: степень различия между моделью и фактической реализацией структуры. Модель может быть точным поведенческим представлением функциональности модуля и его внешнего интерфейса, но при этом ее внутренняя структура может сильно отличаться от структуры конечной реализации IP блока или модуля. Например, модуль может содержать аппаратные и программные подсистемы, но при этом абстрактная функциональная модель может не отражать любую из этих внутренних структур. Аппаратно реализованный IP блок будет иметь детальный интерфейс выводов (pins) на основе сигналов, но структура модели интерфейса может использовать абстрактный интерфейс с более сложными типами данных с целью более эффективного выполнения модели.
Временная точность системных моделей может очень сильно меняться. Вначале временная точность может быть просто на уровне упорядочивания событий - так что хотя время может выводиться в наносекундах или тактах, важным является только последовательность выполнения моделей. Время может также рассматриваться как ограничение на уровне реализации, и выполнение системной модели с ограничением на время может проводиться в основном для анализа корректности, выполнения и общей производительности системы. На системном уровне наиболее точное время обычно с точностью до такта - более точные временные характеристики важны в основном только на уровне реализации.
Функциональная точность отражает, насколько точно системная модель воспроизводит полную функциональность конечной реализации. С целью упрощения модели, уменьшения времени на ее создание или повышения скорости выполнения, проектные команды могут опустить моделирование сложных или редко используемых функциональных аспектов. Например, могут быть пропущены различные диагностические или тестовые режимы, если они редко используются; в случае DSP приложения функциональная модель может использовать арифметику и типы данных с плавающей запятой, даже если конечная реализация использует арифметику с фиксированной запятой. В этом случае, хотя модель и не совсем точно отображает конечную реализацию, моделирование с плавающей запятой будет гораздо быстрее.
Модели также могут отличаться по точности или полноте организации данных. Это означает степень соответствия между расположением данных в модели и в конечной реализации. В модели могут использоваться гораздо более быстрые схемы расположения данных (если такие есть) нежели чем в конечной реализации. Другое направление точности связано с моделированием коммуникационных интерфейсов и протоколов. В отличие от предельно точных сигнальных интерфейсов и протоколов на аппаратном уровне моделирование абстрактных коммуникаций на основе транзакций и абстрактных структур данных позволяет создать гораздо более быструю модель без потери требуемой точности (конечно в зависимости от того, как эта модель будет использоваться).