logic - 逻辑综合和验证资源

Question

我目前正在从事逻辑综合工作——给出硬件的高级描述，我希望将其转换为门电路、触发器等。我不是很熟悉这个理论。我在网上搜索了一下，但大多数都是指网上书店。

有人可以向我推荐网上的任何好的教程吗？如有任何帮助，我们将不胜感激。

Answer 1

可在此处找到流动底漆:
使用 Synopsys® Design Compiler® Physical Compiler® 和 PrimeTime® 的高级 ASIC 芯片综合，作者:Himanshu Bhatnagar。

这是一本旧书，所以可能还有更新的东西。

在 Google Books 上可用和 Amazon .

如果您想使用 PAL 或 FPGA 进行一些简单的原型(prototype)设计，那么实现这些东西适用于大公司。参见 Altera、Xilinx 等。

大多数大学都可以使用这些或类似工具。