私は現在、論理合成に取り組んでいます-ハードウェアの高レベルの説明が与えられた場合、それをゲート、フリップフロップなどの回路に変換したいと考えています。私は理論にあまり精通していません。インターネットで検索しましたが、ほとんどがオンライン書店を参考にしています。
誰かがネット上の良いチュートリアルを紹介してくれませんか? それに関する助けをいただければ幸いです。
フローの入門書は
、Himanshu Bhatnagar による Advanced ASIC Chip Synthesis Using Synopsys® Design Compiler® Physical Compiler® and PrimeTime® にあります。
古い本なので、もっと新しいものがあるかもしれません。
Google ブックスとAmazonで入手できます。
これらの実装は、PAL または FPGA を使用してプロトタイプを作成するための単純なものが必要な場合、大企業向けです。Altera、Xilinx などを参照してください。
ほとんどの大学は、これらまたは同様のツールにアクセスできます。
このようなものに関連する基本については、Thomas H. Cormen、Charles E. Leiserson、Ronald L. Rivest、Clifford Stein による「Introduction to Algorithms」を試してください。
アルゴリズムのいくつかは、回路、ソートネットワーク、算術回路、論理回路の充足可能性などのハードウェア設計に関連しています。
私は「論理合成」を掘り下げていないので、この回答は直感にのみ基づいており、上記のトピックに関連するアルゴリズムの知識が役立つ可能性があります。
2010 LLVM Developers' Meetingで、ハイファ大学の Nadav Rotem による「C-to-Verilog.com : High-level synth using LLVM」というタイトルの関連プレゼンテーションを見つけました。プレゼンテーションに関する彼のアイデアをチェックする価値があると思います(スライドはこちら)。
私はそのことについて少しだけ知っていますが、その人をグーグルで検索するか、著者に電子メールを送信してみてください。彼は尋ねるのに良い人かもしれません.