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

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

Evgeny_CD, Архитектор (24.02.2012 17:09, просмотров: 651) ответил ыыыы на не не этот, этот еще 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/

Ответить