ВходНаше всё Теги codebook PARTS Поиск Опросы Закон Пятница
14 августа
/310001
Топик полностью
Evgeny_CD, Архитектор (24.02.2012 17:09, просмотров: 83) в ответ на не не этот, этот еще 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. -> ссылка
Ответить