RTL设计——第二步:逻辑综合 ●综合单元库:simc0.35um工艺 ●对于逻辑仿真验证正确的RIL级加法器代码,进行逻辑综合, 将其映射到标准单元库,生成门级网表 ●重新打开一个命令窗口,在根目录下键入>soc52 ●进入ab4/syn目录,其中的my.tcl文件为综合命令的脚本文件,本实验已 经给出,大家打开阅读,可以根据需要修改; ●smic35os142typ.lib文件(已经放置到实验目录的1ib文件 夹中)是单元库的逻辑综合模型,3.3v电压, typical工艺 corner ●在syn路径下,键入rc命令启动 RTL Compiler综合器; ●在命令窗口中输入〉 source my.tcl启动其中的综合命令 ●下面给出my.tc1中综合命令的说明 Institute of Microelectronics, Peking University 集成电路设计实习一单元实验四 Copyright O 2011-2012 数字系统设计Institute of Microelectronics, Peking University Copyright © 2011-2012 集成电路设计实习－单元实验四 数字系统设计 Page 13 RTL设计——第二步：逻辑综合 综合单元库：simc 0.35um工艺 对于逻辑仿真验证正确的RTL级加法器代码，进行逻辑综合， 将其映射到标准单元库，生成门级网表 重新打开一个命令窗口，在根目录下键入> soc52 进入lab4/syn目录，其中的my.tcl文件为综合命令的脚本文件，本实验已 经给出，大家打开阅读，可以根据需要修改； smic35os142_typ.lib文件（已经放置到实验目录的lib文件 夹中）是单元库的逻辑综合模型，3.3v电压，typical工艺 corner； 在syn路径下，键入 >rc 命令启动RTL Compiler综合器； 在命令窗口中输入> source my.tcl 启动其中的综合命令。 下面给出my.tcl中综合命令的说明：