Вход
Наше всё
Теги
codebook
无线电组件
Поиск
Опросы
Закон
Суббота
17 августа
О смысле всего сущего
0xFF
Средства и методы разработки
Мобильная и беспроводная связь
Блошиный рынок
Объявления
Микроконтроллеры
PLD, FPGA, DSP
AVR
PIC
ARM, RISC-V
Технологии
Кибернетика, автоматика, протоколы
Схемы, платы, компоненты
Средства и методы разработки
309967
Топик полностью
Evgeny_CD
, Архитектор
(24.02.2012 16:01, просмотров: 939)
ответил
ыыыы
на
это гуглим :) ассершин, и ассершин ленгвич (тот же SV или PSL), в качестве реального примера
AXI4™ and AXI4-Lite™ protocol assertion descriptions -> Это что ли?
http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.dui0534a/CIHJGFHC.html
Ответить
я с 3 и 4 АМБАми дела плотно не имел, под 2 они давали эти асершины за деньги (на PSL), сейчас вроде бы дают бесплатно (сам код, а не доку). ну и на SV (SVA)
-
ыыыы
(24.02.2012 17:15
,
)