逻辑综合和验证资源 [英] Resources for logic synthesis and verification

问题描述

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

I am currently working on logic synthesis- given a high level description of a hardware I wish to convert it into a circuit of gates,flip flops etc. I am not very much familiar with the theory. I searched the internet, but most of them refer to online book stores.

有人可以请我参考网上的任何优秀教程吗?任何帮助，将不胜感激.

Could someone please refer me to any good tutorials on the net? Any help regarding it would be appreciated.

推荐答案

在这里可以找到流程入门:
Himanshu Bhatnagar使用Synopsys®DesignCompiler®PhysicalCompiler®和PrimeTime®进行高级ASIC芯片合成.

A flow primer can be found here:
Advanced ASIC Chip Synthesis Using Synopsys® Design Compiler® Physical Compiler® and PrimeTime® by Himanshu Bhatnagar.

这是一本旧书，所以那里可能有一些新书.

Its an old book so there is probably something newer out there.

Google图书和亚马逊.

如果您想要使用 PAL 或 FPGA 进行原型设计的一些简单的东西，那么为大公司实现这些东西.参见Altera，Xilinx等.

Implementing these things are for large companies if you want some thing simple for prototyping use a PAL or FPGA. See Altera, Xilinx and similar.

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

Most universities have access to these or similar tools.

这篇关于逻辑综合和验证资源的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！