caxapa.ru :: это гуглим :) ассершин, и ассершин ленгвич (тот же SV или PSL), в качестве реального примера

ыыыы (24.02.2012 15:49, просмотров: 1) ответил Evgeny_CD на А хотите, я приведу пример, где мой подход (как мне кажется) глюкавость сильно уменьшит?

это гуглим :) ассершин, и ассершин ленгвич (тот же SV или PSL), в качестве реального примера http://infocenter. …oc.set.amba/index.html (там смотреть SVA или assertions)

- Напишите мне письмо по адресу в профиле, плиз! - Evgeny_CD(24.02.2012 16:04)
  - evgenybel тута @ ьыр gmail.com - Evgeny_CD(24.02.2012 16:20)
    - да я могу и по другим адресам :)))) могу и в гости зайти :), удивительно, что мне мою инкогниту удалось сохранить :) - ыыыы(24.02.2012 16:58, )
      - Ввероятно, ты звался по другому в былые времена. Ну а IP - штука тонкая. Никому ничего не гарантирующая. - Evgeny_CD(24.02.2012 17:11)
- Process Specification Language (PSL) -> оно что ли? - Evgeny_CD(24.02.2012 16:03, ссылка)
  - не не этот, этот еще IBM sugar кличут https://www.research.ibm.com/haifa/projects/verification/sugar/ - ыыыы(24.02.2012 17:05, )
    - PSL/Sugar is the specification language used by engineers to specify the functional properties of logic designs. -> - Evgeny_CD(24.02.2012 17:09, ссылка)
  - лучше SV (SystemVerilog то есть - там все есть, чего в этом топике упомянули), PSL он практически умер уже - ыыыы(24.02.2012 17:02, )
- AXI4™ and AXI4-Lite™ protocol assertion descriptions -> Это что ли? - Evgeny_CD(24.02.2012 16:01, ссылка)
  - я с 3 и 4 АМБАми дела плотно не имел, под 2 они давали эти асершины за деньги (на PSL), сейчас вроде бы дают бесплатно (сам код, а не доку). ну и на SV (SVA) - ыыыы(24.02.2012 17:15, )

Средства и методы разработки