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

 
 
> Языки описания свойств аппаратуры, 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
Ответов
maksya
сообщение May 22 2008, 20:10
Сообщение #2


Местный
***

Группа: Свой
Сообщений: 253
Регистрация: 28-08-04
Из: Ленинград
Пользователь №: 562



На правах саморекламы =)

Сегодня окончательно согласовали верстку. Статья по PSL должна появиться в пятом номере журнала "Компоненты и технологии". В силу обязательств перед редакцией, выложить в общий доступ электронную версию пока к сожалению не могу...


--------------------
Лень - это не врожденное чувство русского человека, а средство борьбы с неуемной, но бестолковой энергией начальника.
Go to the top of the page
 
+Quote Post
des00
сообщение May 27 2008, 03:50
Сообщение #3


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

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



Цитата(maksya @ May 22 2008, 15:10) *
На правах саморекламы =)

Сегодня окончательно согласовали верстку. Статья по PSL должна появиться в пятом номере журнала "Компоненты и технологии". В силу обязательств перед редакцией, выложить в общий доступ электронную версию пока к сожалению не могу...


ну дождемся выхода журнала, после него надеюсь электронная версия станет доступна.

Меня интересует вот какой вопрос : затрагиваете ли вы, в ваших статьях, вопросы синтеза ассертов ? После курения раздела VMM -> CHAPTER 7 ASSERTIONS FOR FORMAL TOOLS и описания техники разработки синтезируемых ассертов я и как то потерялся в этой теме.

Хотелось бы внести ясность.

Что происходит с синтезируемыми ассертами, после того как мы проходим формальные проверки ? Они остаются в коде ? Если да, то тогда как все это влияет на ресурс и производительность результирующего кода ? Ведь макросами/тегам синтеза тут уже не отделаешься.

Спасибо.


--------------------
Go to the top of the page
 
+Quote Post
maksya
сообщение Jun 8 2008, 20:48
Сообщение #4


Местный
***

Группа: Свой
Сообщений: 253
Регистрация: 28-08-04
Из: Ленинград
Пользователь №: 562



Цитата(des00 @ May 27 2008, 07:50) *
Меня интересует вот какой вопрос : затрагиваете ли вы, в ваших статьях, вопросы синтеза ассертов ? После курения раздела VMM -> CHAPTER 7 ASSERTIONS FOR FORMAL TOOLS и описания техники разработки синтезируемых ассертов я и как то потерялся в этой теме.

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


--------------------
Лень - это не врожденное чувство русского человека, а средство борьбы с неуемной, но бестолковой энергией начальника.
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
|- - 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


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

 


RSS Текстовая версия Сейчас: 24th July 2025 - 16:40
Рейтинг@Mail.ru


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