用於邏輯綜合和驗證的資源

Question

我目前正在研究邏輯綜合 - 給定一個硬件的高級描述，我希望將其轉換成門電路，觸發器等。 我對這個理論不太瞭解。我搜索了互聯網，但其中大多數是指網上書店。 有人可以請教我在網上任何好的教程？...任何幫助，將不勝感激。 謝謝！

與問候， Adwaitvedant Mathkar

Answer 1

我發現相關演示在2010 LLVM Developers' Meeting，題爲 「C-to-Verilog.com：使用LLVM高級綜合」 由海法大學的Nadav Rotem公司。我認爲值得看看他的想法presentation（slides here）。

我知道的只是一點點，但關於那個東西，但試着谷歌那傢伙，或電子郵件的作者，他可能是一個很好的人問。

Answer 2

與此相關的基礎知識，請參閱Thomas H. Cormen，Charles E. Leiserson，Ronald L. Rivest，Clifford Stein的「算法導論」。

一些算法涉及電路，硬件設計，如分揀網絡，算術電路，邏輯電路的可滿足性。

我沒有深入到「邏輯綜合」，所以這個答案僅僅基於直覺，與上述主題相關的算法知識可能是有用的。

Answer 3

流式引物可以在這裏找到：
先進的ASIC芯片綜合使用Synopsys®DesignCompiler®物理編譯器和PrimeTime®Himanshu Bhatnagar。

它是一本舊書，所以可能有更新的東西。

可用於Google Books和Amazon。

實現這些東西是爲大公司，如果你想要一些簡單的原型使用PAL或FPGA的東西。請參閱Altera，Xilinx和類似軟件。

大多數大學都可以使用這些或類似的工具。