Вход
Наше всё
Теги
codebook
无线电组件
Поиск
Опросы
Закон
Суббота
17 августа
О смысле всего сущего
0xFF
Средства и методы разработки
Мобильная и беспроводная связь
Блошиный рынок
Объявления
Микроконтроллеры
PLD, FPGA, DSP
AVR
PIC
ARM, RISC-V
Технологии
Кибернетика, автоматика, протоколы
Схемы, платы, компоненты
Средства и методы разработки
310001
Топик полностью
Evgeny_CD
, Архитектор
(24.02.2012 17:09, просмотров: 683)
ответил
ыыыы
на
не не этот, этот еще IBM sugar кличут https://www.research.ibm.com/haifa/projects/verification/sugar/
PSL/Sugar is the specification language used by engineers to specify the functional properties of logic designs. ->
https://www.research.ibm.com/haifa/projects/verification/sugar/
Ответить