Ресурсы для логического синтеза и проверки

Question

В настоящее время я работаю над логическим синтезом - учитывая высокоуровневое описание аппаратного обеспечения, я хочу преобразовать его в схему ворот, триггеров и т. Д. Я не очень хорошо знаком с теорией.Я искал в интернете, но большинство из них относятся к книжным интернет-магазинам.Может ли кто-нибудь направить меня к любым хорошим учебникам в сети? ... любая помощь по этому поводу будет принята с благодарностью.Спасибо!

С уважением, Adwaitvedant Mathkar

Answer 1

Праймер потока можно найти здесь:
Усовершенствованный синтез микросхем ASIC с использованием Synopsys® Design Compiler® Physical Compiler® и PrimeTime® от Himanshu Bhatnagar.

Это старая книга, так что, возможно, есть что-то более новое.

Доступно в Google Книгах и Amazon .

Реализация этих вещей предназначена для крупных компаний, если вы хотите, чтобы что-то простое для создания прототипов использовало PAL или FPGA. См. Альтера, Xilinx и аналогичные.

Большинство университетов имеют доступ к этим или аналогичным инструментам.

Answer 2

Что касается основ, связанных с этим материалом, попробуйте «Введение в алгоритмы» Томаса Х. Кормена, Чарльза Э. Лизерсона, Рональда Л. Ривеста, Клиффорда Стейна.

Некоторые алгоритмы связаны со схемамиаппаратное проектирование, такое как сортировка сетей, арифметические схемы, выполнимость логических схем.

Я не разбираюсь в "логическом синтезе", поэтому этот ответ основан только на интуиции, что знание алгоритмов, связанных с вышеупомянутой темой, можетбыть полезным.

Answer 3

Я нашел соответствующую презентацию на 2010 Совещании разработчиков LLVM под названием «C-to-Verilog.com: синтез высокого уровня с использованием LLVM», автор Надав Ротем из Хайфского университета.Я думаю, что стоит проверить его идеи на презентации ( слайды здесь ).

Я знаю немного, но об этом, но попробуйте гуглить этого парняили автор электронной почты, он может быть хорошим человеком, чтобы спросить.