Требуется программист в Зеленограде
- обработка данных с датчиков; ColdFire; 40 тыс. e-mail:jobsmp@pochta.ru |
Разбираюсь сейчас со списком инструментария на
http://www.asic-world.com/specman/tools.html
кстати, что подразумеваете под Формальной верификацией?