С формалити пока что не помогу. Я в свое время ее поставил, посравнивал, но без скриптов, вручную с консоли, оно даже работало. Потом нарыл в самом DC (2004.06) ключ -verify у compile... Формалити отпал :) А вот теперь с 2005.09 этот ключ попал в obsolete и скрипты к формалити ждут своего написания, а пока я целиком и полностью в синтезе под прототип (в альтеру).
У меня вот другой вопрос раком встал... Не могу заставить ДЦ использовать DW01_addsub для конструкции
if (as) {co,out} = a-b-ci; else {co,out} = a+b+ci;
Хоть укакайся, а вставляет он сумматор, вычитатель и мультиплексор. Даже если все переносы выкинуть. Хотя в доке на DW явно сказано, что так вставляется addsub. В результате сейчас под альтеру вставляю LPM_ADD_SUB, а под азик - DW01_addsub в виде модуля - так как с addsub площадь заметно лучше получается. Опять шашечек требую!
info@telesys.ru
