Как стать автором
Обновить

Бывший проектировщик микросхем для Военно-Воздушных Сил США расскажет в Cколково как верифицировать FIFO

Время на прочтение6 мин
Количество просмотров10K
Всего голосов 18: ↑17 и ↓1+24
Комментарии24

Комментарии 24

Так что там с FIFO-буфером? Или Вы начинаете продажу билетов на хабре???

Хочется ошибиться, но судя по картинкам, там очередная вариация на тему асинхронного (на хендшейках) фифо.

Вы ошибаетесь. На картинке полностью синхронное FIFO (и push и pop происходит с одним и тем же тактовым сигналом), просто оно стоит после конвейера с латентностью N и вся схема построена так, чтобы 1) при остановке интерфейса к соседнему блоку справа FIFO могло бы вместить все транзакции/пакеты/треугольники которые сейчас летят через конвейер и при этом 2) запуск транзакций слева от конвейера останавливался бы только тогда, когда в этом FIFO справа не было бы места для текущих в полете + новой транзакции. Это базовая схема конвейер + очередь + кредитный счетчик, но к ней есть много вариантов, в том числе асинхронных, где встает интересный вопрос возврата кредитов в асинхронном случае.

См. подробнее https://hsto.org/getpro/habr/upload_files/e1e/cf0/31c/e1ecf031ccf787e15c627bddd4999012.png

>просто оно стоит после конвейера с латентностью N

В том то и дело что не просто. Тактовый сигнал с множественным прохождением через комбинационную логику, латентность N ... С учетом вариаций параметров, у такого тактового сигнала очень быстро не останется буквально ничего ни от скважности, ни от фронтов, ни от min pulse width, а если что то и останется и схема таки заработает, то разброс летенси на выходе получится километр на километр - это вам любой SSTA инженер скажет. Поэтому единственный вариант общения с таким фифо - асинхронный CDC переход, а максимальная глубина фифо вовсе не N, а до тех пор пока тактовый сигнал еще похож на тактовый. Даже не вникая в логику работы этого фифо сразу видно огромное число проблем.

И, просто для справки - подобные схемы фифо известны с ~80х, к примеру GASP Сазерленда (SUN, 2000г.). Почти все они оказались не рабочими, т.е. дальше публикаций или прототипов дело не заходило.

Но, я ни в коем случае не против. Просто, немного "в теме", отсюда и критика.

Троллить изволите? Где на моей диаграмме "Тактовый сигнал с множественным прохождением через комбинационную логику"? Тактовый сигнал распределяется через clock tree и подается на регистры всех стадий конвейера в одно и то же время плюс-минус skew. Нету на диаграмме никаких CDC переходов.

Я могу конечно нарисовать и FIFO с CDC, счетчиками Грея итд, но конкретно данная диаграмма - это не тот случай.

Но, я ни в коем случае не против. Просто, немного «в теме», отсюда и критика.
Опасаюсь, что Юрий все же гораздо более в теме, чем «немного», и делает всё правильно)

Вы прочитали заголовок и не читая пост сразу написали комментарий? В посте есть имя и фамилия, как и источник информации.

Юрий, я, - легальный обладатель и Харрис на русском и приложения к нему в Вашем соавторстве. И если б там было Цифровой синтез: практический курс ОТ бывшего мегаразработчика из Королевской академии ВВС Британии, то не купил бы. Не люблю *лайф-кочей*

Я ж четко написал, что не пойду, не куплю и слушать\читать не буду именно из-за заголовка...

Можно ж было без реферансов написать - лекция в Cколково как верифицировать FIFO.

Читать статью не буду даже, если очень интересно.Дождусь очереной книги от Вас. Там уж точно прочту без США :)

*** И если б там было Цифровой синтез: практический курс ОТ бывшего мегаразработчика из Королевской академии ВВС Британии, то не купил бы. Не люблю *лайф-кочей* ***

У вас предубеждение к военным контракторам или к разработчикам из громких организаций вообще? Между прочим Дэвид Харрис - не просто профессор в коледже, а бывший RTL дизайнер в Интеле. Представьте что я бы написал пост "Новая книжка по цифровой схемотехнике и архитектуре компьютера от бывшего разработчика Пентиума II". У вас бы сразу было отторжение?

Юрий, чтоб вы понимали — к вашему кликбейту в заголовках окружающие в основном относятся как к раздражающей, но безвредной причуде хорошего человека. Как, знаете, если гениальный профессор не может руки после посещения туалета. Так что дело, конечно, ваше, и каждый развлекается, как умеет, но в долгосрочной перспективе очков вам такое поведение не добавляет. Околополитические срачи можно оставить для фейсбука, а важное дело делать чуть более серьезно.

Что касается этой конкретной ситуации, вы же понимаете разницу между «бывшим разработчиком из большой компании Х» и «бывшим военным из армии Х»? Конечно понимаете, и понимаете, что сгенерит больше срача — поэтому из всех вариантов выбрали именно этот. Не людей, которые продвигают опенсорсные EDA, ни текущих разработчиков Samsung, Imagination и Syntacore. Нет, вы выбрали именно бывшего иностранного военного. Хинт: в нынешней околомедийной околомикроэлектронной ситуации фраза «человек из Yadro» привлекла бы больше кликов)

А ще краще ЕдРо :)

Такие конторы, как байкал или yadro — в основном занимаются склейкой готовых купленных IP-блоков (таких как ядра процессора, контроллер памяти, периферия, PCI-E, USB и т.д.), вряд ли там от RTL-разработчиков требуется уметь делать мультиголовое мультихвостовое двухклоковое фифо на связных списках в однопортовой памяти :)

Нууууу, принадлежащий Yadro Синтакор — вполне себе респектабельный разработчик именно что процессорных ядер.

Вот это вы зря. Для проектирования системы на кристалле даже на основе лицензируемых ядер тоже нужно уметь проектировать извращённые FIFO, например с асинхронным возвращением кредитов. Чтобы связывать компоненты в некоторых случаях

Надо было назвать статью "Лекции проведёт девушка Наташа, при содействии таких то таких то..."... Я бы точно пошёл :)))))))))

Пустят на доклады только студентов и школьников? Или обычный человек тоже может попасть? На ссылке регистрации варианта два — или студент или школьник.

Там есть ещё и ссылка на регистрацию для секций 2 и 3 http://www.chipexpo.ru/programm

Ааа, по этой ссылке я тоже регался. Инвайт пришёл вот только что, спасибо :)

Не спасибо. Только что пришло письмо, что мол бегом бегите на какие-то курсы от какого-то роснано и если успеете то может быть вас пустят.

Для сведения, мне нафиг не нужно втыкать в занятия с фпга платами, просто хотел послушать пару лекций. Но раз так...

Вы наверное не прочли описание. Есть три секции - упражнения с FPGA, лекции по микроархитектуре и продвинутые. Курсы роснано требуются только и исключительно если вы хотите повтыкать в FPGA плату - потому что плат и посадочных мест меньше чем запросов, и мы хотим гарантировать, чтобы если уж кто-то будет втыкать, то он будет знать что он втыкает. Лекции по микроархитектуре и верификации проходят в другой комнате. Для них ничего проходить не надо - только зарегистрироваться. Их также можно посмотреть онлайн.

я так понял выберут самых перспективных и они будут работать на ВВС США. Красиво подано!

YuriPanchul вот видите, это ровно то, о чем я говорю. Вы сами себе создаете дополнительные сложности и недоверие таким кликбейтом.
Зарегистрируйтесь на Хабре, чтобы оставить комментарий

Публикации

Истории