|
Языки описания свойств аппаратуры, PSL/Sugar, SystemVerilog, OVL |
|
|
|
Mar 5 2008, 12:35
|

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

|
Лично у меня есть заинтересованность в применении языков описания свойств аппаратуры (ЯОСА) для проектирования на ПЛИС. Сам я несколько лет назад ознакомился с данными языками, но отсутствие доступных инструментов для их использования при проектировании и, как следствие, практических навыков применения, не позволило мне в полной мере овладеть данной технологией. Более того, существенная разница понятий языков описаний свойств и традиционных языков программирования и проектирования затрудняет понимание и корректное использование ЯОСА.
В последние годы с интеграцией данной технологии в наиболее популярные среды моделирования, а также объединение языков описания аппаратуры с верификационными и спецификационными языками (интеграция PSL в VHDL; свойства, утверждения и покрытие в SystemVerilog), этот экзотический инструмент(ЯОСА) стал доступен большому кругу разработчиков. В то же время в российском сегменте сети информация по данной технологии практически отсутствует, что препятствует популяризации оной в нашей стране. Хотелось бы исправить этот досадный недочёт и надеяться, что участники форума разделят моё желание.
Предлагаю сосредоточить в данной теме все вопросы связанные с этими языками, включая обсуждение литературы, синтаксиса, применения. Знаю, что на форуме есть специалисты использующие данные языки в своих проектах. Надеюсь они смогут помочь начинающим в данной области.
--------------------
И снова на арене цирка - дрессированные клоуны!! Оказываем консультации по электронике за симпу круглосуточно.
|
|
|
|
|
 |
Ответов
|
Nov 15 2016, 20:11
|
Группа: Участник
Сообщений: 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 группу с пафосным названием «Российское сообщество верификаторов» ( ссылка на группу). Пока она работает в режиме новостной ленты с информацией о научных и практических конференциях или событиях, связанных с функциональной верификацией. Если у кого есть интерес — подписывайтесь.
|
|
|
|
Сообщений в этой теме
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
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
|
|