OVM/OVM методология/Основы верификации - История изменений

Anastasiya: /* Основы верификации */

2013-04-09T13:45:47Z

‎Основы верификации

Vidokq: /* Два домена (Две области) */

2013-03-16T00:36:02Z

‎Два домена (Две области)

Vidokq: /* Два домена (Две области) */

2013-03-16T00:27:20Z

‎Два домена (Две области)

Vidokq: /* Два домена (Две области) */

2013-03-16T00:24:54Z

‎Два домена (Две области)

Vidokq: /* Два домена( Две области) */

2013-03-16T00:19:04Z

‎Два домена( Две области)

Vidokq: /* Компоненты анализа */

2013-03-16T00:08:48Z

‎Компоненты анализа

Vidokq: /* Операционные компоненты */

2013-03-16T00:00:33Z

‎Операционные компоненты

Vidokq: /* Операционные компоненты */

2013-03-15T23:59:56Z

‎Операционные компоненты

Vidokq: /* Transactors(?????????????????????????) */

2013-03-15T23:55:34Z

‎Transactors(?????????????????????????)

Vidokq: /* Второй Testbench */

2013-03-15T21:51:44Z

‎Второй Testbench

@@ Строка 8: / Строка 8: @@
-Функционально проверить устройство означает, сравнить цель разработчика с полученным  поведением на  их эквивалентность. Мы считаем устройство проверенным, когда, к всеобщему удовлетворению, оно работает в соответствии с целью разработчика. Этот основной принцип часто теряется при использовании testbenches, среды контроля, отладки, моделирования , и все другие средства, применяемые в современных технологических проверках. Чтобы узнать, работает ли верно устройство, вы должны сравнить его с некоторыми известными эталоном, который представляет цель разработчика. Каждый testbench имеет своего рода эталонную модель и средство для сравнения функциональность устройство с эталоном.
+Функционально проверить устройство означает, сравнить цель разработчика с полученным  поведением на  их эквивалентность. Мы считаем устройство проверенным, когда, к всеобщему удовлетворению, оно работает в соответствии с целью разработчика. Этот основной принцип часто теряется при использовании testbenches, среды контроля, отладки, моделирования , и все другие средства, применяемые в современных технологических проверках. Чтобы узнать, работает ли верно устройство, вы должны сравнить его с некоторым известным эталоном, который представляет цель разработчика. Каждый testbench имеет своего рода эталонную модель и средство для сравнения функциональность устройство с эталоном.
 	Когда мы говорим "устройство", мы имеем в виду проверяемое устройство, часто называемое тестируемое устройство или DUT. Чтобы проверить, DUT, как правило, представлен  форме подходящей для производства, которое может быть перенесено на кремний с помощью автоматизированных и ручных средств. Мы различаем DUT от эскиза на обратной стороне салфетки или окончательного нанесенный на кристалл, ни один из которых не может быть проверен. Эталонная модель отражает цели разработчика, то есть то, что устройство должно делать.Эталон может принимать различные формы, такие как документ, описывающий работу DUT,  golden модель, которая содержит уникальный алгоритм, или assertions, которые представляют протокол.
@@ Строка 20: / Строка 20: @@
 ==== Два вопроса====
-	Проверка устройства включает в себя два вопроса:Does it work? (Работает ли это устройство?) и Are we done? (Сделали ли мы?). Это основные, и некоторые сказали бы, очевидные вопросы. Тем не менее они
+	Проверка устройства включает в себя два вопроса:Does it work? (Работает ли это устройство?) и Are we done? (Сделали ли мы?). Это основные, и некоторые сказали бы, очевидные вопросы. Тем не менее они мотивируют всю механику каждого проверочного потока. Первый вопрос - это Does it work? Этот вопрос исходит от основной идеи верификации. Он спрашивает, соответствует ли устройство эталону? Второй вопрос - Are we done? Он спрашивает, довольны ли мы сравнительным анализом полученной схемы и эталона для определения работает ли устройство согласно цели, если нет, то почему. Мы используем эти ценные вопросы для создания основы разработки эффективных testbenches.
-мотивируют всю механику каждой проверочного потока. Первый вопрос - это Does it work? Этот вопрос исходит от основной идеи верификации. Он спрашивает, Соответствует ли устройство эталону? Второй вопрос - Are we done? Он спрашивает, довольны ли мы сравнительным анализом полученной схемы и эталона для определения работает ли устройство согласно цели, если нет, то почему. Мы используем эти ценные вопросы создания основы для разработки эффективных testbenches.
 ====Does it work?====

← Предыдущая		Версия 00:36, 16 марта 2013
Строка 405:		Строка 405:
	Данные должны быть перемещены из оперативной области в область анализа таким образом, чтобы не мешать работе DUT и сохранить оптимальный выбор событий. Это достигается с помощью специального интерфейса связи называемого портом анализа. Порт анализа представляют собой особый вид порта транзакций, в котором издатель передает данные одному или нескольким получателям. Издатель оповещает всех получателей, когда новые данные готовы.		Данные должны быть перемещены из оперативной области в область анализа таким образом, чтобы не мешать работе DUT и сохранить оптимальный выбор событий. Это достигается с помощью специального интерфейса связи называемого портом анализа. Порт анализа представляют собой особый вид порта транзакций, в котором издатель передает данные одному или нескольким получателям. Издатель оповещает всех получателей, когда новые данные готовы.

−	Одной из ключевых особенностей порта анализа является то, что он имеет единственную функцию, write(). ~~Анализ FIFO(стек~~(fifo) анализа), каналы, используемые для подключения к порту анализа для анализа компонентов, неограниченные. Это гарантирует, что издатель не блокирует, а передает свои данные в ~~стек~~ анализа в точно такой же дельта-цикл, в котором они были созданы.	+	Одной из ключевых особенностей порта анализа является то, что он имеет единственную функцию, write(). Очередь(fifo) анализа, каналы, используемые для подключения к порту анализа для анализа компонентов, неограниченные. Это гарантирует, что издатель не блокирует, а передает свои данные в очередь (fifo) анализа в точно такой же дельта-цикл, в котором они были созданы.

@@ Строка 411: / Строка 411: @@
-Как правило, оперативная и область анализа связаны портами анализа и интерфейсами управления и конфигурации. Порты анализа кран подачи выпускают данные относящиеся к операциям DUT. Эти данные могут включать шину транзакций, коммуникационные пакеты и информацию о состоянии (успех или ошибка конкретных операций). Компоненты  области анализа анализируют данные и принимают решения. Результатами этих решений могут быть сообщения оперативной области, используя  интерфейсы управления и конфигурирования. Интерфейсы управления и конфигурирования  могут быть использованы для запуска и остановки Stimulus генератор, изменения ограничений, изменения процента ошибок, или манипулирование другими параметрами, влияющих на работу testbench.
+Как правило, оперативная и область анализа связаны портами анализа и интерфейсами управления и конфигурации. Порты анализа - шлюз, через который выходят данные относящиеся к операциям DUT. Эти данные могут включать шину транзакций, коммуникационные пакеты и информацию о состоянии (успех или ошибка конкретных операций). Компоненты  области анализа анализируют данные и принимают решения. Результатами этих решений могут быть сообщения оперативной области, используя  интерфейсы управления и конфигурирования. Интерфейсы управления и конфигурирования  могут быть использованы для запуска и остановки Stimulus генератор, изменения ограничений, изменения процента ошибок, или манипулирование другими параметрами, влияющих на работу testbench.
 == Заключение==
 В этой главе мы рассмотрели, как структурировать весь процесс проверки. Этот процесс основывается на двух фундаментальных вопросах, Does it work? и Are  we done? Простые примеры показали, как построить testbench  для аппаратного ответа на эти вопросы такими устройствами как генератор сигналов и табло. Далее будет показано, как применять на уровне транзакций методы моделирования для создания практических, масштабируемых, многоразовых  компонент testbench, которые отвечают на эти вопросы и показывают, как подключить их  testbenches.

← Предыдущая		Версия 00:24, 16 марта 2013
Строка 405:		Строка 405:
	Данные должны быть перемещены из оперативной области в область анализа таким образом, чтобы не мешать работе DUT и сохранить оптимальный выбор событий. Это достигается с помощью специального интерфейса связи называемого портом анализа. Порт анализа представляют собой особый вид порта транзакций, в котором издатель передает данные одному или нескольким получателям. Издатель оповещает всех получателей, когда новые данные готовы.		Данные должны быть перемещены из оперативной области в область анализа таким образом, чтобы не мешать работе DUT и сохранить оптимальный выбор событий. Это достигается с помощью специального интерфейса связи называемого портом анализа. Порт анализа представляют собой особый вид порта транзакций, в котором издатель передает данные одному или нескольким получателям. Издатель оповещает всех получателей, когда новые данные готовы.

−	Одной из ключевых особенностей порта анализа является то, что он имеет единственную функцию, write(). Анализ FIFO(~~????~~), каналы, используемые для подключения к порту анализа для анализа компонентов, неограниченные. Это гарантирует, что издатель не блокирует, а передает свои данные в ~~анализ FIFO~~ в точно такой же дельта-цикл, в котором они были созданы.	+	Одной из ключевых особенностей порта анализа является то, что он имеет единственную функцию, write(). Анализ FIFO(стек(fifo) анализа), каналы, используемые для подключения к порту анализа для анализа компонентов, неограниченные. Это гарантирует, что издатель не блокирует, а передает свои данные в стек анализа в точно такой же дельта-цикл, в котором они были созданы.

@@ Строка 399: / Строка 399: @@
 Например, контроллер может запустить Stimulus генератор, а затем ждать сигнала от coverage collectors, чтобы уведомить его, когда тест будет завершен. Контроллер, в свою очередь, останавливает Stimulus генератор. Более сложные вариации на эту тему возможны. В пример возможные конфигурации, контроллер инициализирует Stimulus генератор начальным набором ограничений и запускает его. При достижении определенного соотношения  типов пакетов, coverage collectors сигнализирует контроллеру. Вместо того, чтобы остановить Stimulus генератор, контроллер может отправить ему новый набор ограничений.
-== Два домена( Две области)==
+== Два домена (Две области)==
 Мы можем разделить множество компонент в testbench на отдельные  области. Оперативная область - множество компонент, в том числе DUT, которые управляют DUT. Это Stimulus генератор, шина функциональной модели (BFM), и аналогичные компоненты, которые генерируют сигналы и возвращают ответы, которые управляют моделированием. DUT, ответчик, и драйвер операций, наряду с компонентами окружающей среды, которые непосредственно обращаются или отвечают драйверам и передатчикам ответа, включены в оперативную область. Остальные компоненты testbench –монитор транзакций, scoreboard, coverage collectors, и контроллера включены в область анализа. Это компоненты, которые собирают информацию из оперативной области.

@@ Строка 387: / Строка 387: @@
 Компоненты анализа получают информацию о том, что происходит в testbench, и используют эту информацию, чтобы сделать некоторые заключения о правильности и полноты теста. Два наиболее распространенных вида анализа - это scoreboards и coverage collectors.
-'''Scoreboards'''. Табло используются для определения правильности DUT, чтобы ответить на does-it-work вопросы.Scoreboards перехватывает информацию, входящую и выходящую из DUT и определяют правильно ли DUT отвечает на данный stimulus.
+'''Scoreboards'''. Табло используются для определения правильности DUT, чтобы ответить на does-it-work вопросы. Scoreboards перехватывает информацию, входящую и выходящую из DUT и определяют правильно ли DUT отвечает на данный stimulus.
 '''Coverage Collector'''. Coverage Collector используются для подсчета. Они перехватывают поток  транзакций, и считает транзакции или различные аспекты транзакций. Цель состоит в том, чтобы определить завершенность верификации, отвечая на are-we-done вопросы. Определенные параметры, которые coverage collectors считает, зависит от схемы и специфики тестов. Общие вещи, которые coverage collectors включают в себя: необработанные транзакции, транзакции, которые происходит в определенном сегменте адресного пространства, и протокол ошибок. Список неограничен.

@@ Строка 372: / Строка 372: @@
 ===Операционные компоненты===
-Операционные компоненты – это набор компонент, которые обеспечивают все необходимые операции в DUT. Операционные компоненты отвечают за генерацию трафика для DUT. Все эти компоненты относятся к уровню транзакций и имеют только интерфейс уровня транзакций.Существуют различные варианты формирования сигнала, которые варьируются в зависимости от верифицируемого устройства. Мы рассмотрим три основных вида операционных компонентов: stimulus generators, masters, и slaves.
+Операционные компоненты – это набор компонент, которые обеспечивают все необходимые операции в DUT. Операционные компоненты отвечают за генерацию трафика для DUT. Все эти компоненты относятся к уровню транзакций и имеют только интерфейс уровня транзакций. Существуют различные варианты формирования сигнала, которые варьируются в зависимости от верифицируемого устройства. Мы рассмотрим три основных вида операционных компонентов: stimulus generators, masters, и slaves.
 '''Stimulus генераторы'''.  Генератор сигналов  создает поток транзакций для проверки DUT. Stimulus генераторы могут быть случайными, заданными или заданными случайно; они могут запускаться самостоятельно или контролируемо; и они могут быть независимыми или синхронизированными. Простейший stimulus генератор рандомизирует содержимое объекта запроса и посылает этот объект на драйвер. OVM также предоставляет модульные, динамические средства для построения сложных stimulus, называемыми последовательностями.

← Предыдущая		Версия 23:55, 15 марта 2013
Строка 357:		Строка 357:
	[[Файл:24.png]]		[[Файл:24.png]]

−	=== Transactors(~~?????????????????????????~~)===	+	=== Transactors(Посредники)===

@@ Строка 213: / Строка 213: @@
 Проблема верификации, связанная с синхронными (последовательными) схемами,  иная чем у  комбинационных конструкций. Все, что вам нужно знать о комбинационной схеме доступно на ее входах. Эталонная модель для  комбинационного устройства просто должна  вычислять F (X), где X представляет  входы  устройства и F – это реализуемая функция. Выходы же на последовательном устройстве  зависят от  входных сигналов и его внутреннего состояния. Дальнейшее  вычисление может изменить внутреннее состояние. Scoreboard должно отслеживать  внутреннее состояние тестируемого устройства и сравнить выходные данные.
-Комбинационное устройство может быть полностью проверено при подаче всех возможных комбинаций сигналов на входы. Для устройства  N входами, мы должны применить в общей сложности 2n  входных комбинаций. Число 2n  может быть большим, но вычисление такого количества  входов достаточно простое. Нам  просто необходимо иметь N-разрядный счетчик и посылать каждое значение счетчика на входы устройства.
+Комбинационное устройство может быть полностью проверено при подаче всех возможных комбинаций сигналов на входы. Для устройства  N входами, мы должны применить в общей сложности 2<sup>n</sup>  входных комбинаций. Число 2<sup>n</sup>  может быть большим, но вычисление такого количества  входов достаточно простое. Нам  просто необходимо иметь N-разрядный счетчик и посылать каждое значение счетчика на входы устройства.
-Для последовательного устройства, понятие "done" должно распространяться и на покрытие не только  всевозможных сигналов на  входах, но и на число всевозможных внутренних состояний. Для устройства с n входами и m внутренних состояний, вы должны покрыть (2n входов) * (2m внутренних состояний),   2n+m – число всевозможных комбинаций внутренних состояний и входов. Для устройства с 64 входами  и одним 32-битный внутренним регистром, количество  комбинаций  296 -очень большое число, не так ли!
+Для последовательного устройства, понятие "done" должно распространяться и на покрытие не только  всевозможных сигналов на  входах, но и на число всевозможных внутренних состояний. Для устройства с n входами и m внутренних состояний, вы должны покрыть (2<sup>n</sup> входов) * (2<sup>m</sup> внутренних состояний),   2<sup>n+m</sup> – число всевозможных комбинаций внутренних состояний и входов. Для устройства с 64 входами  и одним 32-битный внутренним регистром, количество  комбинаций  2<sup>96</sup> -очень большое число, не так ли!
 Даже для очень большого числа комбинаций, проверка  не была бы слишком трудной, если  бы было возможно  просто увеличивать счетчик для получения всех комбинаций, как мы делаем с комбинационными устройствами. К сожалению, это не представляется возможным. Внутреннее состояние напрямую не доступны извне устройства. Оно может быть изменено только путем манипулированием входов. И теперь проблема заключается в том, как добраться до всех состояний в устройстве только через входы. Это сложная проблема, которая требует глубокого понимания устройства, для генерации последовательности входов для получения всех состояний.