Магазин вернулся к тысяче восьми лет старой магазина SystemVerilog Verification Test Platform Руководство по написанию 33 -й версии китайской версии Spiel Science Publishing
Вес товара: ~0.7 кг. Указан усредненный вес, который может отличаться от фактического. Не включен в цену, оплачивается при получении.
Описание товара
Основная информация
Название: Проверка SystemVerilog
Оригинальная цена: 55,00 Юань
Автор: Чжан Чун
Пресса: Science Press
Дата публикации: 2016-04-01
ISBN: 9787030253064
Слова: 541
Номер страницы: 0
Издание: 31
Рамка
Книга: B5
Товарный вес:
Оглавление
Глава 1 Проверка Введение
1.1 Процесс проверки
1.1.1 тесты на разных уровнях
1.1.2 План проверки
1.2 Методология проверки
1.3 Функция базовой тестовой платформы
1.4 Обработка теста
1.5 Метод науки Основы
1.6 Случайные стимулы сдержанных
1.7 Какой у вас случайный объект
1.7.1 Конфигурация оборудования и среды
1.7.2 Введите данные
1.7.3 Соглашение ненормальное, неправильное и нарушение
1.7.4 Задержка и синхронизация
1.7.5 Параллельный случайный тест
1,8 Скорость покрытия функций
1.8.1 От функционального покрытия до стимулирующей обратной связи
1.9 Компонент тестовой платформы
1.10 Слоистая тестовая платформа
1.10.1 Платформа тестирования не слоистой
1.10.2 Сигнальный и командный слой
1.10.3 Функциональный слой
1.10.4 Стандартный слой
1.10.5 Уровень тестирования и скорость покрытия функций
1.11 Установить слоистую тестовую платформу
1.11.1 Создайте простой драйвер
1.12 Стадия симуляционной среды
1.13 Ограниченное повторное использование кода
1.14 Производительность тестовой платформы
1.15 Заключение
Глава 2 Типы данных
2.1 Встроенный -в типе данных
2.1.1 Тип логики (логика)
2.1.2 Двойной тип данных
2.2 Массив с фиксированной шириной
2.2.1 Оператор и инициализация массива с фиксированной шириной
2.2.2 Постоянный массив
2.2.3 Основные операции массива——для и предания
2.2.4 Основные операции массива——Копия и сравнение
2.2.
2.2.6 Массив слияний
2.2.7 Примеры слияния массива
2.2.8 Выбор слияния массива и массива
2.3 Динамический массив
2.4 очередь
2.5 Асвязанный массив
2.6 Ссылки
2.7 Метод массива
2.7.1 Метод сокращения массива
2.7.2 Метод позиционирования массива
2.7.3 Сортировка массива
2.7.4 Используйте метод позиционирования массива, чтобы установить доску для оценки
2.8 Выберите тип хранения
2.8.1 Гибкость
2.8.2 Сумма недвижимости
2.8.3 Скорость
2.8.4 Сортировка
2.8.5 Выберите лучшую структуру данных
2.9 Создайте новый тип с использованием Typedef
2.10 Создать пользовательскую структуру
2.10.1 Используйте стойку для создания нового типа
2. 10.2 Инициализация структуры
2.10.3 Создайте комбинацию, которая может вместить разные типы
2.10.4 Структура слияния
2.10.5 Выбор между комбинированной структурой и комбинированной структурой
2.11 Тип преобразования
2.11.1 Статическое преобразование
2.11.2 Динамическое преобразование
2.11.3 Оператор потоковой передачи
2.12 иен
2.12.1 Определить значение перечисления
2.12.2 Подпрограммы типа
2.12.3 Преобразование типа
2.13 Постоянная
2.14 строка
2.15 Ширина выражения
2.16 Заключение
Глава 3 Распределение процесса и программа
3.1 оператор процесса
3.2 Задачи, функции и недействительные функции
3.3 Сводка задач и функции
3.3.1 Снимите начало в подпрограмме.....конец
3.4 Параметры подпрограммы
3.4.1 C Параметры подпрограммы стиля языка
3.4.2 Направление параметра
3.4.3
3.4.4 Значение по умолчанию параметров
3.4.5 Используйте имена для передачи параметров
3.4.6 Общие ошибки кода
3.5 Вернуться к подпрограмме
3.5.1 Оператор возврата
3.5.2 Верните массив из функции
3.6 Локальное хранение данных
3.6.1 Автоматическое хранение
3.6.2 Инициализация переменных
3.7 Временное значение
3.7.1 Временная единица и точность
3.7.2 Временные параметры
3.7.3 Время и переменные
3.7.4 Сравнение времени $ и в реальном времени
3.8 Заключение
Глава 4 Дизайн соединения и тестовая платформа
4.1 Разделите тестовую платформу и дизайн
4.1.1 Связь между тестовой платформой и DUT
4.1.2 Связь с портами
4.2 Интерфейс
4.2.1 Используйте интерфейс, чтобы упростить соединение
4.2.2 Интерфейс подключения и порт
4.2.3 Используйте Modport, чтобы группировать сигнал в интерфейсе
4.2.4 Используйте Modport в дизайне шины
4.2.5 Создание модуля мониторинга интерфейса
4.2.6. Преимущества и недостатки интерфейса
4.2.7 Больше боковых и информации
4.3 Предисловие
4.3.1 Используйте блоки тактовых блоков, чтобы контролировать время синхронных сигналов
4.3.2 Сравнение логики и проводов в интерфейсе
4.3.3 Время Verilog
4.3.4 Конкурентный статус тестовой платформы One Design Room
4.4.4 Программные блоки (программа блока) и TimingRegion
4.3.6 Конец симуляции
4.3.7 Задержка между назначенными платформами проектирования и тестирования
4.4 Драйвер и выборка интерфейса
4.4.1 Синхронизация интерфейса
4.4.2 Отбор проб интерфейса
4.4.3 Драйвер сигнала интерфейса
4.4.4 Сигналы интерфейса привода через блоки часов
4.4.5 Двухчастотный сигнал в интерфейсе
4.4.6 Почему это в программе 4.4.7.
4.5 Подключите эти модули
4.5.1 Интерфейс в списке портов должен быть подключен
4.6 Домен действия верхнего слоя
4.7 Программа——Взаимодействие модуля
4.8 SystemVerilog утверждение
4.8.1 ImmateAssert сразу
4.8.2 Индивидуальные утверждения
4.8.3 Параллелизм
4.8.4 Для дальнейшего обсуждения утверждения
4.9 маршрутизатор банкомата на четырех порта
4.9.1 Используйте маршрутизатор банкомата порта
4.9.2 Используйте сетевой список сети на вершине банкомата
4.9.3 Упростить соединение с интерфейсом
4.9.4 АМТ интерфейс
4.9.5 модель маршрутизатора атм с использованием интерфейса
4.9.6. Используйте списк сети в верхней части банкомата интерфейса
……
Глава 5 Основа по программированию для объекта
Глава 6 Рандомизация
Глава 7 Связь между потоками и потоками
Глава 8 Руководство по расширенным навыкам для объекта -ориентированного программирования
Глава 9 скорость покрытия функций
Глава 10 Усовершенствованный интерфейс
Глава 11 Полная платформа тестирования системы Verilog
Глава 12 Интерфейс между системой Verilog и C -Langue
Краткое содержание
«Проверка системы SystemVerilog (Руководство по написанию платформы тестирования, оригинальная книга 2)» может использоваться в качестве основных этапов чтения для обучения языковому языку проверки системы.Книга описывает принцип работы языка и содержит множество примеров. Эти примеры демонстрируют, как использовать методы программирования объекта (ООП) для установления основной случайной тестовой платформы, основанной на охвате и ограниченной.
Абстрактный
Глава 1 Проверка Введение
“Некоторые люди считают, что нам не хватает языка программирования, который может описать этот идеальный мир……”
——«Матрица», 1999
Представьте, что вы назначены построить дом для других.С чего начать?Рассматриваете ли вы, как выбрать цвет дверей и окон, покрытий и ковров, или материал в ванной?конечно, нет!Прежде всего, вы должны рассмотреть, как владелец дома будет использовать пространство внутри дома, чтобы вы могли определить, какой тип дома вы должны построить.Вопрос, который вы должны подумать, заключается в том, нравится ли они готовить и нуждается в кухне с высоким уровнем мощностью, или они любят есть пиццу на вынос во время просмотра фильмов дома?Нужна ли им исследование или дополнительная спальня, или это более просто, чем требования бюджета?
Прежде чем начать детали языка SystemVerilog, вам необходимо понять, как составить план для проверки вашего дизайна и влияния этого плана проверки на структуру тестовой платформы.Так же, как во всех домах есть кухня, спальни и ванные комнаты, все тестовые платформы также должны делиться некоторыми сооружениями, которые используются для создания стимулов и стимулов для проверки.В этой главе дадут некоторые руководящие предложения и стили кодирования для строительства и проектирования тестовой платформы для удовлетворения потребностей персонализированных.Эти технологии используют некоторые концепции в книге «SystemVerilog Gradeology» от Bergeron и других в 2006 году, но не включают основные категории.
Как инженер по проверке, наиболее важным принципом, который вы можете узнать, является“Уязвимость программы больше, чем недостатки”СущностьНе смей найти следующую лазейку из -за застенчивости. Каждый раз, когда вы находите уязвимость, вы должны решительно вызвать полицию и записывать ее.Команда проверки всего проекта предполагает, что в дизайне есть уязвимости, поэтому каждый раз, когда уязвимость встречается перед потоковой пленкой, это означает, что у него, наконец, есть одна меньшая лазейка в руках клиентов.Вы должны проверить дизайн, а также как можно более тщательно и извлечь возможные лазейки, хотя эти уязвимости могут быть легко отремонтированы.Не позволяйте дизайнеру занять все награды——Без вашего терпения и проверки реконструкции шаблона дизайн может работать не правильно!
об авторе
Автор: (США) Крис·Переводчик: Zhang Chunmai Song Ping Zhao Yi Xin