Отправлено yes 19 июня 2003 г. 18:31 В ответ на: Что туда пишуться констрейны, использованные при синтезе - это точно. А вот насчет формата я не знаю. отправлено SM 19 июня 2003 г. 18:24

• вот описание EDIFa, в принципе в него можно засунуть что угодно... — yes   (19.06.2003 18:40, пустое, ссылка)
  • Не могли ли вы уточнить ссылку? — andrew_b   (20.06.2003 09:32, пустое)
    • ссылка из книжки Smith-a (не из Матрицы), считаю удачной книжкой — yes   (20.06.2003 10:08, пустое)
      • Ответ: — yes   (20.06.2003 10:09, пустое, ссылка)
        • Ответ: — yes   (20.06.2003 10:11, пустое, ссылка)
          • блин, почему-то винда при копи-паст текст изменяет (вроде получилось) — yes   (20.06.2003 10:12, пустое, ссылка)
  • Кстати - EDIF это же синтезированный нетлист скорее всего, и естественно что его поведения отличается от результатов синтеза другой программой. — SM   (19.06.2003 19:09, пустое)
    • Дааа, очччень не хотелось бы чтоб поведение отличалось. Вот за все годы не замечал чтоб результаты синтеза отличались от того что написал. Хотя "формальная верификация" как раз и продвигается за счёт "неоднозначного синтеза" Ну, может быть... — zlyh   (20.06.2003 10:08, пустое)
      • Я имел в виду отличия в "setup time", "hold time", "transition time" и т.п, Ведь разные синтезаторы оптимизируют-то по-разному, и разными техн. либами пользуются. — SM   (20.06.2003 11:44, пустое)
    • это неестественно, то что естестественно :) по крайней мере плохо — yes   (20.06.2003 09:33, пустое)