逻辑综合 - The mini wiki

Xilinx ISE 是一款由赛灵思开发的用于合成和分析硬件描述语言设计的软件工具。开发者可以使用 Xilinx ISE 逻辑综合自己的设计、执行静态时序分析、检查寄存器传输级图、仿真不同激励下的设计的响应，并使用烧录器配置目标设备。

在电子学中，硬件描述语言是用来描述电子电路功能、行为的语言，可以在寄存器传输级、行为级、逻辑门级等对数字电路系统进行描述。随着自动化逻辑综合工具的发展，硬件描述语言可以被这些工具识别，并自动转换到逻辑门级网表，使得硬件描述语言可以被用来进行集成电路设计，并能通过逻辑仿真的形式功能验证电路功能。设计完成后，可以使用逻辑综合工具生成低抽象级别的网表。

电路设计，广义上是指对任何电路的设计，而狭义上则主要指集成电路设计中寄存器传输级设计和物理设计两大步骤之间，将逻辑综合产生的逻辑门级网表，转换到更低抽象级的晶体管级电路所经历的设计过程。为了表示这种情况与广义上电路设计的区别，工程师有时也将其称为晶体管级设计。

Intel Quartus Prime是一种可程式逻辑装置电子设计自动化开发软件。原本是Altera公司推出的Altera Quartus Prime，与更早之前的Altera Quartus II。
它可以识别电路的Verilog或VHDL高级硬件描述语言表述，或读取指定格式的线路图；进而完成逻辑仿真、功能验证、逻辑综合等任务，对器件的进行编程，即将设计项目转换到实际的硬件。该软件提供了数字电路的可视化设计以及向量波形的电子电路仿真等功能。

高级验证，或称系统级验证，是指在高抽象级别对所设计的电路系统进行验证的任务。高级验证主要是检验高抽象级别的模型设计是否代表了实际的硬件电路。高级验证与高级综合的关系，正类似功能验证和逻辑综合的关系。

电子设计自动化是指利用计算机辅助设计软件，来完成超大规模集成电路芯片的集成电路设计、逻辑综合、功能验证、物理设计等流程的设计方式。

Intel Quartus Prime是一种可程式逻辑装置电子设计自动化开发软件。原本是Altera公司推出的Altera Quartus Prime，与更早之前的Altera Quartus II。
它可以识别电路的Verilog或VHDL高级硬件描述语言表述，或读取指定格式的线路图；进而完成逻辑仿真、功能验证、逻辑综合等任务，对器件的进行编程，即将设计项目转换到实际的硬件。该软件提供了数字电路的可视化设计以及向量波形的电子电路仿真等功能。

集成电路版图，是真实集成电路物理情况的平面几何形状描述。集成电路版图是集成电路设计中最底层步骤物理设计的成果，物理设计通过布局、布线技术将逻辑综合的成果——逻辑门的网表转换成物理版图文件，这个文件包含了各个硬件单元在芯片上的形状、面积和位置信息。版图设计的结果必须遵守制造工艺、时序、面积、功耗等的约束。版图设计是借助电子设计自动化工具来完成的。集成电路版图完成后，整个集成电路设计流程基本结束。随后，半导体加工厂会接收版图文件，利用具体的半导体器件制造技术，来制造实际的硬件电路。

软核微处理器，也称为软微处理器、软核处理器或软核，是可以完全使用逻辑综合实现的微处理器核心。软核处理器可以通过含有可编程逻辑器件的不同半导体器件来实做。