реклама на сайте
подробности

 
 
4 страниц V  < 1 2 3 4 >  
Reply to this topicStart new topic
> Языки описания свойств аппаратуры, PSL/Sugar, SystemVerilog, OVL
warrior-2001
сообщение Oct 9 2008, 06:34
Сообщение #31


Местный
***

Группа: Свой
Сообщений: 294
Регистрация: 9-10-08
Из: Таганрог, Ростовская обл.
Пользователь №: 40 792



Доброго времени суток. Возникли вопросы: А проверил ли кто на практике утверждение о том, что после создания первого проекта средствами OVM дальнейшие проекты пойдут как по маслу? Примеры есть?
Может кто в курсе, планируется ли поддержка графики для SystemVerilog? Ведь без графики тяжело работать с масштабными проектами. Если кто даст ссылку на серьёзные проекты, собранные согласно OVM буду признателен.

Сообщение отредактировал warrior-2001 - Oct 9 2008, 06:35


--------------------
Глупцы игнорируют сложность. Прагматики терпят ее. Некоторые могут избегать ее. Гении ее устраняют.
Go to the top of the page
 
+Quote Post
CaPpuCcino
сообщение Oct 9 2008, 07:01
Сообщение #32


тоже уже Гуру
******

Группа: Свой
Сообщений: 2 047
Регистрация: 13-06-05
Из: Кёлн - Санкт-Петербург
Пользователь №: 5 973



Цитата(warrior-2001 @ Oct 9 2008, 10:34) *
А проверил ли кто на практике утверждение о том, что после создания первого проекта средствами OVM дальнейшие проекты пойдут как по маслу?

OVM не такая уж и большая бублиотека (несколько десятков достаточно простельких мониторов), так что единственная сложность в использовании - это привыкнуть вставлять эти мониторы в код, поэтому утверждение достаточно справедливо в плане освоения библиотеки.
Цитата(warrior-2001 @ Oct 9 2008, 10:34) *
Может кто в курсе, планируется ли поддержка графики для SystemVerilog?

что вы имеете в виду под графикой? что-то на подобие библиотеке графических интерфейсов Tk? было бы определённо реально нефигово! но это больше вопрос к производителям симуляторов, нежле к разработчикам стандарта, потому что Tk кросспатформенный.


--------------------
И снова на арене цирка - дрессированные клоуны!! Оказываем консультации по электронике за симпу круглосуточно.
Go to the top of the page
 
+Quote Post
des00
сообщение Oct 10 2008, 03:16
Сообщение #33


Вечный ламер
******

Группа: Модераторы
Сообщений: 7 222
Регистрация: 18-03-05
Из: Томск
Пользователь №: 3 453



помоему кто то перепутал OVM c OVL beer.gif


--------------------
Go to the top of the page
 
+Quote Post
warrior-2001
сообщение Oct 10 2008, 10:41
Сообщение #34


Местный
***

Группа: Свой
Сообщений: 294
Регистрация: 9-10-08
Из: Таганрог, Ростовская обл.
Пользователь №: 40 792



OVL может быть и небольшая библиотека, а вот методологию менторс каденс завернули приличную, не уступаем VMM. Ситуация такова, что работать приходится в среде FPGA advantage, а работу с OVM поддерживает только questa. Посему и вопрос - как бы взаимно интегрировать questa и FPGA advantage так, чтобы все эти чеккеры, мониторы и секвенсоры из OVM работали в HDL Designer.
Для этой же цели интересуют рабочие проекты с приминением методологии OVM.


--------------------
Глупцы игнорируют сложность. Прагматики терпят ее. Некоторые могут избегать ее. Гении ее устраняют.
Go to the top of the page
 
+Quote Post
CaPpuCcino
сообщение Oct 10 2008, 18:26
Сообщение #35


тоже уже Гуру
******

Группа: Свой
Сообщений: 2 047
Регистрация: 13-06-05
Из: Кёлн - Санкт-Петербург
Пользователь №: 5 973



Цитата(des00 @ Oct 10 2008, 07:16) *
помоему кто то перепутал OVM c OVL beer.gif

cranky.gif извините - не выспался


--------------------
И снова на арене цирка - дрессированные клоуны!! Оказываем консультации по электронике за симпу круглосуточно.
Go to the top of the page
 
+Quote Post
des00
сообщение Oct 20 2008, 10:39
Сообщение #36


Вечный ламер
******

Группа: Модераторы
Сообщений: 7 222
Регистрация: 18-03-05
Из: Томск
Пользователь №: 3 453



Цитата(warrior-2001 @ Oct 10 2008, 05:41) *
Для этой же цели интересуют рабочие проекты с приминением методологии OVM.


эта тема все таки про языки описания свойств (PSL, SVA, OVL и т.д.) обсуждение OVM идет в другом месте

http://electronix.ru/forum/index.php?showt...mp;#entry488929


--------------------
Go to the top of the page
 
+Quote Post
CaPpuCcino
сообщение Oct 25 2008, 17:44
Сообщение #37


тоже уже Гуру
******

Группа: Свой
Сообщений: 2 047
Регистрация: 13-06-05
Из: Кёлн - Санкт-Петербург
Пользователь №: 5 973



тьюториал по SVA http://testbench.in/tAS_00_INDEX.html (не самый лучший, что я видел, но для начального ознакомления с концепцией пойдёт. внимание: на данный момент есть некоторые синтаксические ошибки, напр. в разделе Properties неправильно обозначено неперекрывающая импликация как ||->, вместо |=>)


--------------------
И снова на арене цирка - дрессированные клоуны!! Оказываем консультации по электронике за симпу круглосуточно.
Go to the top of the page
 
+Quote Post
CaPpuCcino
сообщение Nov 7 2008, 22:02
Сообщение #38


тоже уже Гуру
******

Группа: Свой
Сообщений: 2 047
Регистрация: 13-06-05
Из: Кёлн - Санкт-Петербург
Пользователь №: 5 973



хотелось бы ещё отметить одну книжку напрямую не связанную с языками описания свойст, но дающую хорошие советы о том как нужно писать свойства и что самое главное как не нужно их писать. это материал не для начинающих так, что советую обратится к нему после того как вы уже попробовали на практике применять языки описания свойств. книга Бегрерона VerificationMethodology Manual for SystemVerilog Глава 3 Assertions (обратите внимание на раздел Assertion Coding Guidlines и далее до конца главы)


--------------------
И снова на арене цирка - дрессированные клоуны!! Оказываем консультации по электронике за симпу круглосуточно.
Go to the top of the page
 
+Quote Post
Escorial
сообщение Jan 21 2009, 19:12
Сообщение #39


Частый гость
**

Группа: Свой
Сообщений: 104
Регистрация: 11-11-05
Из: Москва
Пользователь №: 10 714



Maksya, в своей статье Вы ссылаетесь на книжку vhdl_cohen, нет ли у Вас ее в электронном виде и не могли бы вы ее выложить на фтп?

По поводу статьи, мне кажется в ней есть фактическая неточность - PSL состоит из 2х частей - базиса (LTL-логика), и т.н. Optional Branching Extensions (CTL).

Если сравнивать PSL и SVA, мне кажется в плане функционала выигрывают последние, т.к. позволяют использовать методологию coverage driven verification (т.е. когда определенная контрольная точка функционального покрытия выполнена, прекращаем формировать рандомные пакеты для заданного блока). Т.е имеем двунаправленную интеграцию формальные утверждения <-> тестбенч. В PSL можем гнать данные только в 1 конец.

Кто-то интересовался синтезом ассертов, если коротко любая LTL-формула может быть представлена в виде автомата Бюхи. Есть САПРы которые синтезируют ассерты в виде некоторого блока, вставляемого в RTL, что позволяет их использовать в FPGA любого производителя. Контроль идет через специальный отладочный порт а-ля JTAG и спецсофт компании-разработчика. Посмотрите например, Dialite от Temento Systems.
Go to the top of the page
 
+Quote Post
Poluektovich
сообщение Jul 18 2012, 18:47
Сообщение #40


Местный
***

Группа: Свой
Сообщений: 207
Регистрация: 15-09-08
Из: Зеленоград
Пользователь №: 40 201



Как на сегодняшний день обстоят дела с использованием ЯОСА и тулов для статической формальной верификации?
Появившиеся материалы:
SystemVerilog утверждения для верификации и имитационного моделирования
The Power of Assertions in SystemVerilog
Go to the top of the page
 
+Quote Post
Poluektovich
сообщение Dec 3 2012, 11:07
Сообщение #41


Местный
***

Группа: Свой
Сообщений: 207
Регистрация: 15-09-08
Из: Зеленоград
Пользователь №: 40 201



У меня по поводу тулов еще вопрос возник. Questa Formal (0-in formal) кто-нибудь использовал? В закромах этот пакет мне удалось найти...
Go to the top of the page
 
+Quote Post
yes
сообщение Dec 3 2012, 12:52
Сообщение #42


Профессионал
*****

Группа: Свой
Сообщений: 1 920
Регистрация: 23-12-04
Пользователь №: 1 640



Цитата(Poluektovich @ Dec 3 2012, 15:07) *
У меня по поводу тулов еще вопрос возник. Questa Formal (0-in formal) кто-нибудь использовал? В закромах этот пакет мне удалось найти...


доступно formality от синопсиса. этот 0-in formal очень рекламируется Ментором, но чтоб его где-то использовали - не слышал
пользуют либо формалити либо конформал от каденса.

также попадались некие "университетские" тулзы, но там нет ввода на верилоге, ну и как-то все специфично - я не осилил, теоретически возможен даже синтез по асершинам

а вообщето тулзы формальной верификации слегка не для этого
http://www.synopsys.com/Tools/Verification.../Formality.aspx
http://www.cadence.com/products/ld/equival...es/default.aspx
Go to the top of the page
 
+Quote Post
Poluektovich
сообщение Dec 3 2012, 16:08
Сообщение #43


Местный
***

Группа: Свой
Сообщений: 207
Регистрация: 15-09-08
Из: Зеленоград
Пользователь №: 40 201



yes, приведенные вами примеры тулов используются для Logic Equivalence Checking.

Формальной верификацией еще называют статическую функциональную верификацию, которая ощуствляется c помощью эвристических алгоритмов без написания тестбенчей и динамического моделирования. Пишутся assertions, задаются constraints для снижения сложности анализа. По результатам выполнения assertions и анализу покрытия делаем вывод о правильности работы блока и полноте тестирования.

Тулы:
http://www.mentor.com/products/fv/0-in_fv/
http://www.synopsys.com/Tools/Verification...s/Magellan.aspx
http://www.cadence.com/products/fv/formal_...es/default.aspx
Go to the top of the page
 
+Quote Post
warrior-2001
сообщение Dec 7 2012, 07:51
Сообщение #44


Местный
***

Группа: Свой
Сообщений: 294
Регистрация: 9-10-08
Из: Таганрог, Ростовская обл.
Пользователь №: 40 792



Цитата(Poluektovich @ Dec 3 2012, 15:07) *
У меня по поводу тулов еще вопрос возник. Questa Formal (0-in formal) кто-нибудь использовал? В закромах этот пакет мне удалось найти...


Опыт работу есть. Что именно интересует?
Такого рода формальная верификация подходит, если на нее затачиваться с самого начала. К примеру поддержку любого сложного интерфейса проверяют всегда в первую очередь. А для математических блоков использование данного подхода неэффективно.


--------------------
Глупцы игнорируют сложность. Прагматики терпят ее. Некоторые могут избегать ее. Гении ее устраняют.
Go to the top of the page
 
+Quote Post
Poluektovich
сообщение Dec 8 2012, 12:14
Сообщение #45


Местный
***

Группа: Свой
Сообщений: 207
Регистрация: 15-09-08
Из: Зеленоград
Пользователь №: 40 201



Доброе время суток.

warrior-2001, делали ли вы оценку покрытия и какие цифры удавалось?
Математический блок внутри контроллера жизнь тоже осложнил в таком подходе, здесь эталонная поведенческая модель нужна.

Платформой Questa мы не пользуемся, но он интересен наличием библиотеки QVL.
Cadence предлагает в своем портфолио ABVVIP для системных шин AMBA/OCP и контроллеров памятей, остальные VIP только для динамики. В библиотеке QVL имеется хороший набор последовательных интерфейсов.
Если проверяли последовательные интерфейсы каких усилий стоит получение статусных состояний по всему набору утверждений? Использовалась ли гибридная верификация (формальный анализ + динамическая симуляция)?
Go to the top of the page
 
+Quote Post

4 страниц V  < 1 2 3 4 >
Reply to this topicStart new topic
3 чел. читают эту тему (гостей: 3, скрытых пользователей: 0)
Пользователей: 0

 


RSS Текстовая версия Сейчас: 23rd June 2017 - 01:49
Рейтинг@Mail.ru


Страница сгенерированна за 0.01534 секунд с 7
ELECTRONIX ©2004-2016