Вход Наше всё Теги codebook 无线电组件 Поиск Опросы Закон Вторник
16 апреля

О смысле всего сущего 0xFF Средства и методы разработки Мобильная и беспроводная связь Блошиный рынок Объявления

Микроконтроллеры PLD, FPGA, DSP AVR PIC ARM, RISC-V Технологии Кибернетика, автоматика, протоколы Схемы, платы, компоненты

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

309968 Топик полностью

Evgeny_CD, Архитектор (24.02.2012 16:03, просмотров: 815) ответил ыыыы на это гуглим :) ассершин, и ассершин ленгвич (тот же SV или PSL), в качестве реального примера

Process Specification Language (PSL) -> оно что ли? http://www.mel.nist.gov/psl/

Ответить

- не не этот, этот еще 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, )