ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Четверг
21 ноября
309967 Топик полностью
Evgeny_CD, Архитектор (24.02.2012 16:01, просмотров: 981) ответил ыыыы на это гуглим :) ассершин, и ассершин ленгвич (тот же SV или PSL), в качестве реального примера
AXI4™ and AXI4-Lite™ protocol assertion descriptions -> Это что ли? http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.dui0534a/CIHJGFHC.html