ZwergNase

Спасибо! Нашлось на ftp

Спасибо. А какой путь к нему на ftp? В _Synopsys_я не могу найти.

Непонятно только, из какой папки на ftp брать патч для Formality

Всем привет, Пытаюсь установить Formality P-2019.03-SP2 из местного ftp. Устанавливаю на Centos 7 через VirtualBox. После установки запускаю: fm_shell -gui Получаю: License Failure (-96) - Not authorized for feature Formality. Что надо дополнительно сделать, чтобы это вылечить?

А вы не пробовали увеличить time unit симуляции? Какой он у вас, кстати?

@des00А почему вы считаете, что sd_clk_reg окажется в выходном триггере? В коде это нельзя назначить вроде бы, а только в qsf.

А можно увидеть код, в котором переключается data_valid? Ещё было бы неплохо увидеть клок на времянной диаграмме. Я вот ещё вижу, что у вас на первой диаграмме data меняется по переднему фронту read_ready, а во втором случае - по заднему фронту. Поэтому, неплохо было бы посмотреть что у вас получается на выходах get_sample () в обоих случаях.

Давно хотел познакомиться, но, вот, удастся ли поиграться, особенно в современных условиях? На местном фтп это есть под линукс. Cadence LEC = Cadence Conformal

Для этого есть ещё формальная верификация которая проверяет эквивалентность РТЛ описаний или нетлистов (Cadence LEC, Synopsys Formality).

Напишите в Минпромторг, а если не ответят - продайте китайцам. Им такое тоже может понадобиться. https://russianelectronics.ru/2022-04-20-czeny/

А как определены параметры MBLOCKS и WMBLOCK? Судя по коду, предполагается, что они должны быть связаны как MBLOCKS-1 = 2**WMBLOCK-1, иначе диапазон [MBLOCKS-1:0] будет не соответствовать возможным значениям ba_d и тогда возможно что какие-то блоки udout отвалятся logic [MBLOCKS-1:0][15:0] udout; logic [WMBLOCK-1:0] ba_d; ... assign udata=udout[ba_d];

потому что когда передаётся клок 1 МГц то в его периоде как бы два бита - 1 и 0. Получается поток данных 2 Мбит

А какая скорость по вашему SPI? В даташите вроде бы только до 2 Mбит обещают

Ещё может быть, что вам вместо индустриального исполнения подсунули коммерческое, которое работает от 0 до +70 С. У вас есть другие платы с такой же микросхемой? Они работают при минусе?

https://support.xilinx.com/s/article/44043?language=en_US