Разработка, производство и продажа радиоэлектронной аппаратуры
|
Карта сайта
|
Пишите нам
|
В избранное
Требуется программист в Зеленограде
- обработка данных с датчиков; ColdFire; 40 тыс.
e-mail:
jobsmp@pochta.ru
Телесистемы
|
Электроника
|
Конференция «Программируемые логические схемы и их применение»
можно еще добавить формальную верификацию (например, formality) и про ncsim хочу сказать
Отправлено
yes
21 декабря 2006 г. 13:04
В ответ на:
Есть две вещи (+)
отправлено SМ 21 декабря 2006 г. 12:45
глючит п$%^а :) хоть и sign-off
Составить ответ
|
Вернуться на конференцию
Ответы
Про формалити я говорил :) А вот nc-verilog как глючит? Не слышал еще про глюк при симуляции сколь угодно сложных нетлистов с SDFами.
—
SМ
(21.12.2006 13:42:43
213.141.159.26
,
пустое
)
если про IUS5.6 то у него с generate беда и пример использования одной переменной в двух always блоках приводил в конфе
—
yes
(21.12.2006 14:02:47
87.236.81.130
, 429 байт)
Хм. А одна переменная в двух always это вроде и есть конкретный глюк, это хорошо, если отлавливает. А насчет generate если можно поподробнее, это интересно.
—
SМ
(21.12.2006 14:08:35
213.141.159.26
,
пустое
)
always @... for(j=0... , always @... for(j=0... внутри @ или # нет.
—
yes
(21.12.2006 14:31:14
87.236.81.130
, 431 байт)
А, вспомнил, про for(). В принципе то спорная конструкция (+)
—
SМ
(21.12.2006 14:35:22
213.141.159.26
, 133 байт)
если натыкать - то и не должно исполнять... согласен, что это не стандартизовано, но пользовался... еще в nc есть с временем глюк
—
yes
(21.12.2006 14:40:34
87.236.81.130
, 242 байт)
Да это как раз стандартизовано... Переменная цикла является обычной переменной типа reg и обладает всеми ее свойствами.
—
SМ
(21.12.2006 14:43:17
213.141.159.26
,
пустое
)
нестандартизован (?) порядок исполнения - "единомоментный" блок исполняется за раз или по кусочку от каждого блока
—
yes
(21.12.2006 14:45:23
87.236.81.130
,
пустое
)
Да вроде стандартизовано другое - если в двух разных always по одному событию в одну и ту же переменную произойдет две записи (хоть в цикле, хоть нет) - то енто коллизия с вытекающим из нее "X" или что там...
—
SМ
(21.12.2006 14:48:16
213.141.159.26
,
пустое
)
ну так событие @ в олвисе - а внутри никаких событий нет. поэтому возможно рассматривать все for-ы от этого события как "атомарные" операции и поведение j сходно с variable VHDL
—
yes
(21.12.2006 14:55:43
87.236.81.130
,
пустое
)
атомарную. а то что после всех циклов j будет иметь значение последней (неопределенной) операции делает бессмысленным по другому событию r<=j
—
yes
(21.12.2006 14:57:25
87.236.81.130
,
пустое
)
Да не атомарная она (+)
—
SМ
(21.12.2006 15:06:28
213.141.159.26
, 291 байт)
я не спорю - хотел обратить внимание, что некоторые конструкции ncsim отрабатывает не так как XL или modelsim
—
yes
(21.12.2006 15:24:36
87.236.81.130
,
пустое
)
Ну это я уже понял. Просто главное не юзать непонятных вещей :) :)
—
SМ
(21.12.2006 15:38:28
213.141.159.26
,
пустое
)
ну Х в ncsim-e нет. там применяется итератор цикла по два раза
—
yes
(21.12.2006 14:50:15
87.236.81.130
,
пустое
)
и j инкрементируется в обоих циклах одновременно, в то время остальные тулзы воспринимают такие блоки как единый исполняемый "элемент"
—
yes
(21.12.2006 14:35:2
87.236.81.130
,
пустое
)
Да, а одинаковые там для этой j начальные, конечные значения, условия, шаг ?
—
SМ
(21.12.2006 14:36:37
213.141.159.26
,
пустое
)
а какая разница? либо работает (последовательно блоки), тогда это не важно. либо не работает, тогда это тоже не важно
—
yes
(21.12.2006 14:43:36
87.236.81.130
, 139 байт)
Да нет, это важно(+)
—
SМ
(21.12.2006 14:45:58
213.141.159.26
, 186 байт)
так писать нельзя :) допускаю, что использовать одну j для перебора шин в разных always может тоже нельзя, но в XL и всяких симах проходило...
—
yes
(21.12.2006 14:48:5
87.236.81.130
,
пустое
)
Это почему так нельзя? Где об этом сказано? Как раз можно. Это же обычный reg!
—
SМ
(21.12.2006 14:49:6
213.141.159.26
,
пустое
)
Отправка ответа
Имя*:
Пароль:
E-mail:
Тема*:
Сообщение:
Ссылка на URL:
URL изображения:
Перейти к списку ответов
|
Конференция
|
Раздел "Электроника"
|
Главная страница
|
Карта сайта
Web
telesys.ru