| |
 Языки описания свойств аппаратуры, PSL/Sugar, SystemVerilog, OVL |
|
|
|
|
 Mar 5 2008, 12:35
|
тоже уже Гуру
Группа: Свой
Сообщений: 2 047
Регистрация: 13-06-05
Из: Кёлн - Санкт-Петербург
Пользователь №: 5 973
|
Лично у меня есть заинтересованность в применении языков описания свойств аппаратуры (ЯОСА) для проектирования на ПЛИС. Сам я несколько лет назад ознакомился с данными языками, но отсутствие доступных инструментов для их использования при проектировании и, как следствие, практических навыков применения, не позволило мне в полной мере овладеть данной технологией. Более того, существенная разница понятий языков описаний свойств и традиционных языков программирования и проектирования затрудняет понимание и корректное использование ЯОСА.
В последние годы с интеграцией данной технологии в наиболее популярные среды моделирования, а также объединение языков описания аппаратуры с верификационными и спецификационными языками (интеграция PSL в VHDL; свойства, утверждения и покрытие в SystemVerilog), этот экзотический инструмент(ЯОСА) стал доступен большому кругу разработчиков. В то же время в российском сегменте сети информация по данной технологии практически отсутствует, что препятствует популяризации оной в нашей стране. Хотелось бы исправить этот досадный недочёт и надеяться, что участники форума разделят моё желание.
Предлагаю сосредоточить в данной теме все вопросы связанные с этими языками, включая обсуждение литературы, синтаксиса, применения.
Знаю, что на форуме есть специалисты использующие данные языки в своих проектах. Надеюсь они смогут помочь начинающим в данной области.
--------------------
И снова на арене цирка - дрессированные клоуны!! Оказываем консультации по электронике за симпу круглосуточно.
|
|
|
|
|
|
|
 |
Ответов
|
|
May 27 2008, 03:50
|
Вечный ламер
Группа: Модераторы
Сообщений: 7 248
Регистрация: 18-03-05
Из: Томск
Пользователь №: 3 453
|
Цитата(maksya @ May 22 2008, 15:10)  На правах саморекламы =)
Сегодня окончательно согласовали верстку. Статья по PSL должна появиться в пятом номере журнала "Компоненты и технологии". В силу обязательств перед редакцией, выложить в общий доступ электронную версию пока к сожалению не могу... ну дождемся выхода журнала, после него надеюсь электронная версия станет доступна. Меня интересует вот какой вопрос : затрагиваете ли вы, в ваших статьях, вопросы синтеза ассертов ? После курения раздела VMM -> CHAPTER 7 ASSERTIONS FOR FORMAL TOOLS и описания техники разработки синтезируемых ассертов я и как то потерялся в этой теме. Хотелось бы внести ясность. Что происходит с синтезируемыми ассертами, после того как мы проходим формальные проверки ? Они остаются в коде ? Если да, то тогда как все это влияет на ресурс и производительность результирующего кода ? Ведь макросами/тегам синтеза тут уже не отделаешься. Спасибо.
--------------------
|
|
|
|
|
|
|
|
Jun 8 2008, 20:48
|
Местный
Группа: Свой
Сообщений: 253
Регистрация: 28-08-04
Из: Ленинград
Пользователь №: 562
|
Цитата(des00 @ May 27 2008, 07:50) Меня интересует вот какой вопрос : затрагиваете ли вы, в ваших статьях, вопросы синтеза ассертов ? После курения раздела VMM -> CHAPTER 7 ASSERTIONS FOR FORMAL TOOLS и описания техники разработки синтезируемых ассертов я и как то потерялся в этой теме. Боюсь Вас разочаровать, но статья носит скорее ознакомительный характер, нежели описание результатов практического применения... На данном этапе ставилась цель привлечь интерес к PSL. Что касается синтезируемости утверждений, то данный вопрос еще не в полной мере мной изучен. Думаю в ближайшее время можно будет обсудить эту тему в данном форуме.
--------------------
Лень - это не врожденное чувство русского человека, а средство борьбы с неуемной, но бестолковой энергией начальника.
|
|
|
|
|
|
Сообщений в этой теме
 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 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 Poluektovich НИИСИ использовали Jasper для проверки connectivit... Nov 14 2016, 11:33 radigast Цитата(Poluektovich @ Nov 14 2016, 14:33)... Nov 15 2016, 20:11 Мур спешите!!!!
Вот учебник по паралл... May 20 2018, 07:08
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
|
|
