В Москве прошел научно-методический семинар по современным средствам проектирования и верификации ИС и СнК, организованный МИЭТ и компанией Cadence