ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Пятница
21 февраля
310001 Топик полностью
Evgeny_CDАрхитектор (24.02.2012 17:09, просмотров: 730) ответил ыыыы на не не этот, этот еще 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/