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

 
 
> Языки описания свойств аппаратуры, PSL/Sugar, SystemVerilog, OVL
CaPpuCcino
сообщение Mar 5 2008, 12:35
Сообщение #1


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

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



Лично у меня есть заинтересованность в применении языков описания свойств аппаратуры (ЯОСА) для проектирования на ПЛИС. Сам я несколько лет назад ознакомился с данными языками, но отсутствие доступных инструментов для их использования при проектировании и, как следствие, практических навыков применения, не позволило мне в полной мере овладеть данной технологией. Более того, существенная разница понятий языков описаний свойств и традиционных языков программирования и проектирования затрудняет понимание и корректное использование ЯОСА.

В последние годы с интеграцией данной технологии в наиболее популярные среды моделирования, а также объединение языков описания аппаратуры с верификационными и спецификационными языками (интеграция PSL в VHDL; свойства, утверждения и покрытие в SystemVerilog), этот экзотический инструмент(ЯОСА) стал доступен большому кругу разработчиков. В то же время в российском сегменте сети информация по данной технологии практически отсутствует, что препятствует популяризации оной в нашей стране. Хотелось бы исправить этот досадный недочёт и надеяться, что участники форума разделят моё желание.

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


--------------------
И снова на арене цирка - дрессированные клоуны!! Оказываем консультации по электронике за симпу круглосуточно.
Go to the top of the page
 
+Quote Post
 
Start new topic
Ответов
Poluektovich
сообщение Nov 14 2016, 11:33
Сообщение #2


Местный
***

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



НИИСИ использовали Jasper для проверки connectivity на системном уровне, регистрового пространства.
см JasperGold Applications Approach for Verification Workflow of SRISA Project
Go to the top of the page
 
+Quote Post
radigast
сообщение Nov 15 2016, 20:11
Сообщение #3





Группа: Участник
Сообщений: 7
Регистрация: 23-10-16
Пользователь №: 93 878



Цитата(Poluektovich @ Nov 14 2016, 14:33) *
НИИСИ использовали Jasper для проверки connectivity на системном уровне, регистрового пространства.
см JasperGold Applications Approach for Verification Workflow of SRISA Project


Да, мы видели такое приложение (APP как они его называют). Но на мой скромный взгляд это самое тривиальное из того что можно доказать формально, собственно поэтому вопросов к работоспособности и масштабируемости именно этого приложения практически нет. А вот случаи посложнее, типа доказательства соответствия RTL реализации заданному протоколу для всех возможных воздействий, такой уверенности пока не вселяли. Подозреваю, что там есть множество ограничений.
Более того, приложение проверки коннективити, насколько я понял (если не прав - поправьте), использует сторонний файл с описанием требуемой карты связности (который создаётся ручками). В таком случае от двойной ошибки и в списке связности и в RTL вызванной непониманием особенностей взаимодействия блоков страховки все равно нет. Ещё один момент — текущий уровень автоматизации создания систем. Многие блоки сейчас поставляются с IP-XACT ( ссылка_ip_xact) описанием, в котором, в том числе возможно функциональное объединение пинов в интерфейсы, которые на системном уровне подключаются друг у другу автоматически. Современные средства сборки СнК позволяют задавать каркас будущей системы, её карту памяти и теоретически такая система в части связности должна быть корректна от рождения. Во всяком случае серьёзных проблем именно с картой памяти или подключением стандартных интерфейсов в таких системах я не помню. Т.е. приложение то рабочее, но не самое эффектное с точки зрения влияния формалки на маршрут верификации.

На прошедшей в 2016 году конференции МЭС была целая секция посвящённая функциональной верификации, на которой в том числе обсуждались и теоретические аспекты формальной верификации (МЭС. расписание секции функциональной верификации). Один из орг выводов — русскоязычного сообщества верификаторов пока нет, а в силу скорости развития этого направления лучше держаться вместе.
Данный форум — это площадка для живого обсуждения практических вопросов и обмена материалами и мнениями. Кроме того мы создали на FaceBook группу с пафосным названием «Российское сообщество верификаторов» (ссылка на группу). Пока она работает в режиме новостной ленты с информацией о научных и практических конференциях или событиях, связанных с функциональной верификацией. Если у кого есть интерес — подписывайтесь.
Go to the top of the page
 
+Quote Post

Сообщений в этой теме
- CaPpuCcino   Языки описания свойств аппаратуры   Mar 5 2008, 12:35
- - RHnd   Если не сложно, то можно для совсем не понимающих,...   Mar 5 2008, 16:35
|- - CaPpuCcino   Языки описания свойств аппаратуры в отличие от язы...   Mar 5 2008, 18:44
- - des00   Цитата(CaPpuCcino @ Mar 5 2008, 07:35) Пр...   Mar 6 2008, 05:15
- - Кнкн   Цитата(CaPpuCcino @ Mar 5 2008, 15:35) Пр...   Mar 6 2008, 06:46
|- - CaPpuCcino   Цитата(Кнкн @ Mar 6 2008, 09:46) Очень ин...   Mar 6 2008, 13:56
|- - Кнкн   Цитата(CaPpuCcino @ Mar 6 2008, 16:56) та...   Mar 6 2008, 14:52
|- - CaPpuCcino   Цитата(Кнкн @ Mar 6 2008, 17:52) Спасибо...   Mar 6 2008, 15:53
|- - Кнкн   Цитата(CaPpuCcino @ Mar 6 2008, 18:53) ко...   Mar 7 2008, 07:06
- - lotorev   Извините, если не в тему. по поводу построения те...   Mar 7 2008, 20:19
|- - CaPpuCcino   Цитата(lotorev @ Mar 7 2008, 23:19) Извин...   Mar 7 2008, 21:10
- - CaPpuCcino   пара приятных ссылочек по SVA: http://www.electros...   Mar 9 2008, 00:51
- - CaPpuCcino   неплохие видео тьюториалы http://www.demosondemand...   Mar 9 2008, 16:08
- - makc   Собрал всю доступную информацию на ФТП по адресу /...   Apr 18 2008, 13:23
- - maksya   Попробую внести свою лепту в борьбу за построение ...   May 5 2008, 20:41
|- - CaPpuCcino   Цитата(maksya @ May 6 2008, 00:41) Кроме ...   May 5 2008, 22:17
- - des00   2 maksya с удовольствием ознакомлюсь с вашими ста...   May 6 2008, 03:08
- - maksya   Цитата(CaPpuCcino @ May 6 2008, 02:17) по...   May 6 2008, 06:30
- - Doka   Цитата(CaPpuCcino @ Mar 6 2008, 17:56) а ...   May 6 2008, 07:40
|- - CaPpuCcino   Цитата(Doka @ May 6 2008, 11:40) OVL == O...   May 6 2008, 14:49
- - maksya   На правах саморекламы =) Сегодня окончательно сог...   May 22 2008, 20:10
|- - des00   Цитата(maksya @ May 22 2008, 15:10) На пр...   May 27 2008, 03:50
|- - maksya   Цитата(des00 @ May 27 2008, 07:50) Меня и...   Jun 8 2008, 20:48
|- - CaPpuCcino   тьюториал по SVA на asic-world http://www.asic-wor...   Jul 6 2008, 22:26
- - maksya   С небольшой задержкой, но все-же =) Статья посвяще...   Sep 11 2008, 11:26
|- - des00   Цитата(maksya @ Sep 11 2008, 06:26) С неб...   Sep 12 2008, 18:19
|- - CaPpuCcino   Цитата(maksya @ Sep 11 2008, 15:26) Стать...   Sep 23 2008, 04:48
- - maksya   Prequel about PSL:   Sep 12 2008, 13:49
- - maksya   Цитата(des00 @ Sep 12 2008, 22:19) Такие ...   Sep 14 2008, 21:29
|- - CaPpuCcino   Цитата(maksya @ Sep 15 2008, 01:29) Скоре...   Sep 14 2008, 23:35
- - warrior-2001   Доброго времени суток. Возникли вопросы: А провери...   Oct 9 2008, 06:34
|- - CaPpuCcino   Цитата(warrior-2001 @ Oct 9 2008, 10...   Oct 9 2008, 07:01
- - des00   помоему кто то перепутал OVM c OVL   Oct 10 2008, 03:16
|- - CaPpuCcino   Цитата(des00 @ Oct 10 2008, 07:16) помоем...   Oct 10 2008, 18:26
- - warrior-2001   OVL может быть и небольшая библиотека, а вот метод...   Oct 10 2008, 10:41
|- - des00   Цитата(warrior-2001 @ Oct 10 2008, 05...   Oct 20 2008, 10:39
|- - CaPpuCcino   тьюториал по SVA http://testbench.in/tAS_00_INDEX....   Oct 25 2008, 17:44
|- - CaPpuCcino   хотелось бы ещё отметить одну книжку напрямую не с...   Nov 7 2008, 22:02
- - Escorial   Maksya, в своей статье Вы ссылаетесь на книжку vhd...   Jan 21 2009, 19:12
- - Poluektovich   Как на сегодняшний день обстоят дела с использован...   Jul 18 2012, 18:47
- - Poluektovich   У меня по поводу тулов еще вопрос возник. Questa F...   Dec 3 2012, 11:07
|- - yes   Цитата(Poluektovich @ Dec 3 2012, 15:07) ...   Dec 3 2012, 12:52
|- - warrior-2001   Цитата(Poluektovich @ Dec 3 2012, 15:07) ...   Dec 7 2012, 07:51
- - Poluektovich   yes, приведенные вами примеры тулов используются д...   Dec 3 2012, 16:08
- - Poluektovich   Доброе время суток. warrior-2001, делали ли вы о...   Dec 8 2012, 12:14
|- - warrior-2001   Цитата(Poluektovich @ Dec 8 2012, 16:14) ...   Dec 10 2012, 09:36
- - radigast   Приветствую коллег в этой ветке! С момента по...   Nov 12 2016, 20:54
- - Мур   спешите!!!! Вот учебник по паралл...   May 20 2018, 07:08


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

 


RSS Текстовая версия Сейчас: 23rd July 2025 - 09:59
Рейтинг@Mail.ru


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