|
|
В настоящее время я думаю, что был не прав. Дело не в reset-ах.
Я ее использую сейчас не для сравнения netlist-ов до и после прохождения технологических операций, а для верификации реализации по модели.
В модели нет регистров с обратной связью, а в реализации есть один такой регистр. Так вот ощущение такое, что этот регистр все время '0'.
Если подставить pattern из formality в симулятор, то все правильно работает.
Да, что-то я никак не найду UsersGuide. В дистрибутиве он вообще-то есть (и это я его где-то потерял) или его отдельно нужно добывать?
|
|
E-mail: 
info@telesys.ru
