CN102831273A - 包含双边沿触发器的数字集成电路设计方法 - Google Patents
包含双边沿触发器的数字集成电路设计方法 Download PDFInfo
- Publication number
- CN102831273A CN102831273A CN2012103158709A CN201210315870A CN102831273A CN 102831273 A CN102831273 A CN 102831273A CN 2012103158709 A CN2012103158709 A CN 2012103158709A CN 201210315870 A CN201210315870 A CN 201210315870A CN 102831273 A CN102831273 A CN 102831273A
- Authority
- CN
- China
- Prior art keywords
- dual
- edge trigger
- trigger
- gate
- file
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Images
Landscapes
- Design And Manufacture Of Integrated Circuits (AREA)
Abstract
本申请公开了一种包含双边沿触发器的数字集成电路设计方法,通过对设计输入、逻辑综合、门级与RTL级形式验证、逻辑优化、优化前后门级形式验证、布局布线等步骤的更新,使得双边沿触发器真正融入到数字集成电路的设计方法之中。这对于提升数字集成电路的处理速度、或者降低数字集成电路的功耗方面,都具有重大意义。
Description
技术领域
本申请涉及一种数字集成电路设计方法,
背景技术
图1是一个上升沿D触发器,其输出信号Q只在时钟信号CLK的上升沿跟踪输入信号D。
图2是一个下降沿D触发器,其只是将上升沿D触发器的时钟输入反相,以使输出信号Q只在时钟信号CLK的下降沿跟踪输入信号D。
图3是一个双边沿D触发器,包括一个上升沿D触发器10、一个下降沿D触发器20和一个两路复用器30。在时钟信号CLK的上升沿,两路复用器30将上升沿D触发器10的输出信号Q1作为双边沿D触发器的输出信号Q3。在时钟信号CLK的下降沿,两路复用器30将下降沿D触发器20的输出信号Q2作为双边沿D触发器的输出信号Q3。因此,双边沿D触发器的输出信号Q3既在时钟信号CLK的上升沿、也在时钟信号CLK的下降沿跟踪输入信号D。
上述以D触发器为例的双边沿触发器打破了一个时钟周期内只能在一个时钟沿进行数据处理的局限,在一个时钟周期内的上升沿和下降沿均可进行数据处理。采用这种双边沿触发器后,当输入信号仍维持原来的频率时,时钟信号的频率可减小为原来的一半,而仍能处理在原时钟信号频率下与单边沿触发器相同的数据量。显然,降低一半时钟频率可达到显著降低功耗、减小发热的目的。如果仍维持原来的时钟信号频率,则双边沿触发器在相同时间段内的数据处理量可达原来的两倍,从而显著提升处理速度。
当前,数字集成电路通常采用由顶向下的设计方法。请参阅图4,这是一种典型的数字集成电路设计方法,包括如下步骤:
第1步、设计输入(design entry),即以文本和/或图形方式描述电路的行为和/或结构,形成RTL级的电路描述文件。文本方式例如采用Veri log、VHDL等硬件描述语言(HDL,hardware description language)。图形方式例如采用原理图、状态图等。电路行为是指电路的输入与输出之间的关系及其时序关系。电路结构是指电路中的各个功能块、模块、单元、门及它们之间的连接关系。
第2步、RTL(寄存器传输级,register transfer level)级功能仿真,即对RTL级电路描述文件进行仿真,测试其功能是否与设计要求一致。RTL级功能仿真又称前仿真(pre-layout simulation),通常没有时序信息,或简单地定义延迟时间为单位时间,如1ns。
第3步、逻辑综合(logic synthesis),即将RTL级的电路描述文件转换为由具体逻辑单元所组成的门级网表(netlist)文件。门级网表文件可以是EDIF文件、VHDL文件、Verilog文件等。转换过程取决于约束条件和单元库文件。
所述约束条件,包括面积约束、时序约束等。所述时序约束包括要求工作时钟的频率、占空比、偏移特性、输入信号的输入延时、输出信号的输出延时、各信号的转换时间等。
所述单元库文件也称工艺库文件,包括各种组合逻辑单元(与非门、多路复用器、加法器等)和时序逻辑单元(触发器、锁存器等)以及这些单元的一些必要的时序信息(延时信息、驱动能力等)。
第4步、门级与RTL级形式验证,即根据电路结构静态地判断门级网表文件与RTL级电路描述文件在功能上是否一致。现有的数字集成电路只采用单边沿触发器,因而这一步可以省略。
第5步、综合后门级功能仿真,即对逻辑综合后所形成的门级网表文件进行仿真,测试其功能是否与设计要求一致。此时可选择在门级网表中加入时序信息,以判断其时序是否与设计要求一致。
第6步、逻辑优化(logic optimization),即根据布尔方程等效原则,将逻辑综合所生成的门级网表文件中的一些非优化的布尔描述转换为优化的布尔描述,以减小电路占用的逻辑单元的规模、简化电路结构。逻辑优化后的门级网表文件也要进行功能仿真。
第7步、优化前后门级形式验证,即根据电路结构静态地判断逻辑优化后的门级网表文件与逻辑优化前的门级网表文件在功能上是否一致。
第8步、优化后门级功能仿真,即对逻辑优化后所形成的门级网表文件进行仿真,测试其功能是否与设计要求一致。此时可选择在门级网表中加入时序信息,以判断其时序是否与设计要求一致。
第9步、布局布线,即根据门级网表文件进行版图设计。该过程通常包括:
(1)预布局(floor planning),即确定芯片的形状、尺寸等。
(2)布局(placement),即在芯片上排列网表的块(blocks),确定块内单元(cells)的位置。
(3)时钟树综合(clock tree synthesis,CTS),这是根据芯片的物理版图将时钟信号由时钟源传递至芯片内各个寄存器时钟引脚。时钟树是一种用来分析线延时的树形结构。例如,将时钟源作为树根,各个同步单元作为树叶,中间的树枝就是实际的连线。理想情况下,各个同步单元应该同时接收到时钟信号。通过分析时钟树的各条路径长度即可对接收时钟信号的延时偏差进行优化改进。
(4)布线(routing),即在块和单元内或它们之间确定连线。
第10步、版图级功能仿真,也称后仿真(post-layout simulation),即对布局布线后的网表文件、或对布局布线后的抽取了RC参数(电阻电容参数)的网表文件进行仿真,以测试其功能与时序是否与设计要求一致。
第11步、版图验证,包括设计规则检查(DRC)、版图的网表输出(NE)、电学规则检查(ERC)、寄生参数提取(PE)、电路图版图对照(LVS)等。
第12步、生成版图GDSII数据。
由于EDA(electronic design automation)工具的普及,在上述设计流程的各个步骤,都有EDA工具帮助实现。在除第1步以外的其余步骤中,基本上是依赖EDA工具自动实现,如有错误再由人工修改。
现有的数字集成电路设计方法都是基于单边沿触发器的。目前还没有办法进行包含双边沿触发器的数字集成电路设计,这是由于第3步中的逻辑综合工具等EDA工具都不支持双边沿触发器,因而无法将RTL级的电路描述文件自动地转换为门级网表文件。这些工作如全部交由人工处理,则是难以想象的。
发明内容
本申请所要解决的技术问题是使现有的数字集成电路设计方法增加对双边沿触发器的支持。
为解决上述技术问题,本申请包含双边沿触发器的数字集成电路设计方法包含设计输入、逻辑综合、门级与RTL级形式验证、逻辑优化、优化前后门级形式验证、布局布线的步骤;其中:
在设计输入时,RTL级电路描述文件中只采用单边沿触发器;
在逻辑综合后,对生成的综合后第一门级网表文件中的单边沿触发器部分或全部地改为双边沿触发器,生成综合后第二门级网表文件;同时在门级单元库文件中增加双边沿触发器的门结构,在门级单元库描述文件中增加双边沿触发器的描述;
在门级与RTL级形式验证时,对综合后第一门级网表文件与RTL级电路描述文件进行形式验证;
在逻辑优化时,对综合后第二门级网表文件进行逻辑优化;
在优化前后门级形式验证之前,先将门级单元库描述文件中的双边沿触发器的描述改为与单边沿触发器一致,再对优化后门级网表文件与综合后第二门级网表文件进行形式验证,再将门级单元库描述文件中的双边沿触发器的描述恢复原样;
在布局布线之前,先在版图级单元库文件中增加双边沿触发器的版图单元结构、和ROW(排)描述,再进行布局布线;在布局布线时,所生成的时钟树包括了双边沿触发器的版图单元结构之内的线延迟、和两路复用器的延迟。
本申请所述方法实现了包含双边沿触发器的数字集成电路设计的全流程,使得双边沿触发器真正融入到数字集成电路的设计之中。这对于提升数字集成电路的处理速度、或者降低数字集成电路的功耗方面,都具有重大意义。
附图说明
图1是上升沿D触发器的逻辑符号。
图2是下降沿D触发器的逻辑符号。
图3是双边沿D触发器的电路示意图。
图4是现有的数字集成电路设计方法的流程图。
图5是本申请的数字集成电路设计方法的流程图。
图中附图标记说明:
10为上升沿D触发器;20为下降沿D触发器;30为两路复用器。
具体实施方式
本申请包含双边沿触发器的数字集成电路设计方法,也具有如图4所示的设计输入、RTL级功能仿真、逻辑综合、门级与RTL级形式验证、综合后门级功能仿真、逻辑优化、优化前后门级形式验证、优化后门级功能仿真、布局布线、版图级功能仿真、版图验证、生成版图GDSII数据这12个步骤。其中对部分步骤进行了修改,具体修改内容如下:
其一,在第1步设计输入时,RTL级电路描述文件中的所有触发器均采用传统的单边沿触发器。
其二,在第3步逻辑综合后生成的门级网表文件称为综合后第一门级网表文件,其中的触发器全部是单边沿触发器。然后将综合后第一门级网表文件中的单边沿触发器根据设计要求部分或全部地改为双边沿触发器,称为综合后第二门级网表文件。这种改变可以通过脚本文件来实现。
单边沿触发器的优势是版图面积小,双边沿触发器的优势是在保持与单边沿触发器一样的时钟频率时处理速度可翻倍、在保持与单边沿触发器一样的处理速度时时钟频率可减半。因而,通常的设计要求是只在需要高速处理的核心模块中采用双边沿触发器,在其余模块中仍然采用单边沿触发器;对所有触发器采用一样的时钟频率,以使核心模块的处理速度翻倍。
在形成综合后第二门级网表文件的同时,在门级单元库文件(.lib文件)中增加双边沿触发器的门结构;还在门级单元库描述文件(.v或.vhd文件)中增加双边沿触发器的描述,即双边沿触发器在时钟信号的上升沿和下降沿均工作。门级网表文件与门级单元库描述文件虽然后缀名相同,但前者用来描述各个逻辑单元(组合逻辑单元、时序逻辑单元)之间的电路连接关系、输入输出关系、时序关系,后者用来描述每个逻辑单元对时钟信号的响应处理等。
其三,在第4步门级与RTL级形式验证时,对综合后第一门级网表文件与RTL级电路描述文件进行形式验证。
其四,在第5步综合后门级功能仿真时,对综合后第一门级网表文件进行功能仿真,该步骤可以省略。
其五,在第6步逻辑优化时,对综合后第二门级网表文件进行逻辑优化。
其六,在第7步优化前后门级形式验证之前,先将门级单元库描述文件(.v或.vhd文件)中的双边沿触发器的描述改为与单边沿触发器一致,即双边沿触发器只在时钟信号的上升沿或下降沿工作。然后对优化后门级网表文件与综合后第二门级网表文件进行形式验证。最后再将门级单元库描述文件中的双边沿触发器的描述恢复原样,即双边沿触发器在时钟信号的上升沿和下降沿均工作。
其七,在第9步布局布线之前,先在版图级单元库文件(techfile)中增加双边沿触发器的版图单元结构、和ROW(排)描述,即记录其高度。之后再进行布局布线。在布局布线时,所生成的时钟树包括了双边沿触发器的版图单元结构之内的线延迟、两路复用器的延迟信息。
通过对现有的数字集成电路设计方法进行上述改变,使得该方法得以兼容双边沿触发器。
请参阅图5,这是本申请包含双边沿触发器的数字集成电路设计方法的一个具体实施例,包括如下步骤:(各步骤中与背景技术中的内容相同的部分不再赘述)
第1步、设计输入以形成RTL级电路描述文件,此时不采用双边沿触发器。遇到需要使用触发器的情形,全部采用单边沿触发器。常见的设计输入工具软件有Verilog、VHDL等,它们形成的RTL级电路描述文件的后缀名分别为.v,.vhd。
实际上,Verilog和VDHL这两种硬件描述语言都可以用来描述双边沿触发器,但由于后续的逻辑综合工具不支持双边沿触发器,因而在设计输入时没有必要采用双边沿触发器。
第2步、对RTL级电路描述文件进行功能仿真。常见的功能仿真工具有VCS(verilogcompiled simulator)、NCVerilog等,它们均支持第2步、第5步、第8步、第10步的所有功能仿真。
实际上,功能仿真工具是支持双边沿触发器的。但由于之前的RTL级电路描述文件中不包含双边沿触发器,因而这一步的功能仿真中也没有对双边沿触发器进行功能测试。
第3步、对RTL级电路描述文件进行逻辑综合,形成门级网表文件。
常见的逻辑综合工具为DC(design compiler),它不支持双边沿触发器。如果RTL级电路描述文件中包含双边沿触发器,则DC无法将其转换为门级网表文件。因此,本申请所形成的RTL级电路描述文件中的触发器全部是单边沿触发器,以便于利用DC进行逻辑综合。综合后所形成的门级网表文件中也没有双边沿触发器,称为综合后第一门级网表文件。
然后将综合后第一门级网表文件中的单边沿触发器根据设计要求部分或全部地改为双边沿触发器,称为综合后第二门级网表文件。在形成综合后第二门级网表文件的同时,在门级单元库文件(.lib文件)中增加双边沿触发器的门结构;还在门级单元库描述文件(.v或.vhd文件)中增加双边沿触发器的描述。
逻辑综合工具的输入有三类,第一类是RTL级电路描述文件(.v或.vhd文件),第二类是门级单元库文件(.lib文件),第三类是约束文件(例如时钟约束文件是.sdc文件);输出的Verilog、VHDL所形成的门级网表文件的后缀名仍分别为.v,.vhd,与RTL级电路描述文件的后缀名一致。
如果是为了提升双边沿触发器所在模块的处理速度,那么双边沿触发器的时钟频率将与单边沿触发器保持一致。逻辑综合所用到的时钟约束文件(.sdc文件)中,可以将双边沿触发器的时钟频率设置为与单边沿触发器一致。
如果是为了降低双边沿触发器所在模块的功耗、散热,而维持与采用单边沿触发器时一样的处理速度,那么双边沿触发器的时钟频率将变为单边沿触发器的一半。此时可对时钟约束文件(.sdc文件)进行修改,将双边沿触发器的时钟频率设置为单边沿触发器的时钟频率的一半。
第4步、对综合后第一门级网表文件与RTL级电路描述文件进行形式验证。常见的形式验证工具有conformal、formality等,它们均支持第4步、第7步的所有形式验证。
第5步、对综合后第一门级网表文件进行功能仿真,该步骤可以省略。
第6步、对综合后第二门级网表文件进行逻辑优化,逻辑优化工具就是逻辑综合工具DC,优化后门级网表文件的后缀名仍为.v或.vhd文件,其中包含双边沿触发器。
DC虽然不支持将包含双边沿触发器的RTL级电路描述文件转换为门级网表文件,但是支持对包含双边沿触发器的门级网表文件进行逻辑优化。
第7步、先将门级单元库描述文件(.v或.vhd文件)中的双边沿触发器的描述改为与单边沿触发器一致,即双边沿触发器只在时钟信号的上升沿或下降沿工作。然后对优化后门级网表文件与综合后第二门级网表文件进行形式验证。最后再将门级单元库描述文件中的双边沿触发器的描述恢复原样,即双边沿触发器在时钟信号的上升沿和下降沿均工作。
第8步、对优化后门级网表文件进行功能仿真。
第9步、根据优化后门级网表文件进行布局布线。常见的布局布线工具有SoCEncounter、IC Compiler等。由于现有的版图级单元库文件(techfile)中没有双边沿触发器的版图单元结构,还需要在其中增加双边沿触发器的版图单元结构之后再进行布局布线。比较图1~图3可知,双边沿触发器的面积、高度都大致是单边沿触发器的两倍,因而还需要在版图级单元库文件中增加双边沿触发器的ROW(排)描述,即记录其高度,之后再进行布局布线。
布局布线过程中会生成时钟树。在只采用单边沿触发器时,时钟树只需要考虑单边沿触发器的版图单元结构之外的线延迟等延迟信息。在采用了双边沿触发器之后,时钟树还需要考虑双边沿触发器的版图单元结构之内的线延迟、两路复用器的延迟信息。这是由于如图3所示,双边沿触发器可视为两个单边沿触发器和一个两路复用器的组合。
布局布线工具读取优化后的门级网表文件(.v或.vhd文件)、门级单元库文件(.lib文件)、各种约束文件(时钟约束文件.sdc文件、功耗约束文件等)、版图级单元库文件(.lef),然后进行版图设计。
第10步、根据布局布线后的网表文件、或对布局布线后的抽取了RC参数(电阻电容参数)的网表文件进行版图级功能仿真。
第11步、对布局布线后的网表文件进行版图验证(物理验证)。版图验证工具可以采用布局布线工具,也可以采用第三方工具,例如Mentor公司的Calibre系列软件或者Synopsys公司的Hercules系列软件。
第12步、生成版图GDSII数据,仍采用布局布线工具。
本申请数字集成电路设计方法实现了对双边沿触发器的完全兼容,有利于提升数字集成电路的处理速度、或者降低数字集成电路的功耗与散热。
以上仅为本申请的优选实施例,并不用于限定本申请。对于本领域的技术人员来说,本申请可以有各种更改和变化。凡在本申请的精神和原则之内,所作的任何修改、等同替换、改进等,均应包含在本申请的保护范围之内。
Claims (4)
1.一种包含双边沿触发器的数字集成电路设计方法,包含设计输入、逻辑综合、门级与RTL级形式验证、逻辑优化、优化前后门级形式验证、布局布线的步骤;其特征是:
在设计输入时,RTL级电路描述文件中只采用单边沿触发器;
在逻辑综合后,对生成的综合后第一门级网表文件中的单边沿触发器部分或全部地改为双边沿触发器,生成综合后第二门级网表文件;同时在门级单元库文件中增加双边沿触发器的门结构,在门级单元库描述文件中增加双边沿触发器的描述;
在门级与RTL级形式验证时,对综合后第一门级网表文件与RTL级电路描述文件进行形式验证;
在逻辑优化时,对综合后第二门级网表文件进行逻辑优化;
在优化前后门级形式验证之前,先将门级单元库描述文件中的双边沿触发器的描述改为与单边沿触发器一致,再对优化后门级网表文件与综合后第二门级网表文件进行形式验证,再将门级单元库描述文件中的双边沿触发器的描述恢复原样;
在布局布线之前,先在版图级单元库文件中增加双边沿触发器的版图单元结构、和ROW(排)描述,再进行布局布线;在布局布线时,所生成的时钟树包括了双边沿触发器的版图单元结构之内的线延迟、和两路复用器的延迟。
2.根据权利要求1所述的包含双边沿触发器的数字集成电路设计方法,在门级与RTL级形式验证、逻辑优化的步骤之间还包括综合后门级功能仿真的步骤,其特征是,在综合后门级功能仿真时,对综合后第一门级网表文件进行功能仿真。
3.根据权利要求1所述的包含双边沿触发器的数字集成电路设计方法,其特征是,在逻辑综合之前,在时钟约束文件中将双边沿触发器的时钟频率设置为与单边沿触发器一致,以获得双边沿触发器所在模块的双倍处理速度。
4.根据权利要求1所述的包含双边沿触发器的数字集成电路设计方法,其特征是,在逻辑综合之前,在时钟约束文件中将双边沿触发器的时钟频率设置为单边沿触发器的时钟频率的一半,以降低双边沿触发器所在模块的的功耗和散热。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201210315870.9A CN102831273B (zh) | 2012-08-30 | 2012-08-30 | 包含双边沿触发器的数字集成电路设计方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201210315870.9A CN102831273B (zh) | 2012-08-30 | 2012-08-30 | 包含双边沿触发器的数字集成电路设计方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN102831273A true CN102831273A (zh) | 2012-12-19 |
CN102831273B CN102831273B (zh) | 2015-02-04 |
Family
ID=47334408
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201210315870.9A Active CN102831273B (zh) | 2012-08-30 | 2012-08-30 | 包含双边沿触发器的数字集成电路设计方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN102831273B (zh) |
Cited By (12)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN105574219A (zh) * | 2014-10-10 | 2016-05-11 | 上海华虹宏力半导体制造有限公司 | 非标准单元库逻辑单元自动布局布线的方法 |
CN106529043A (zh) * | 2016-11-14 | 2017-03-22 | 无锡华润矽科微电子有限公司 | 基于计算机软件***对电路进行分模块综合设计的方法 |
CN107122565A (zh) * | 2017-05-12 | 2017-09-01 | 山东大学 | 基于非易失性存储器的fpga bram架构与设计方法 |
CN108052838A (zh) * | 2017-11-23 | 2018-05-18 | 北京智芯微电子科技有限公司 | 芯片加密设计的泄漏定位***及方法 |
CN108829903A (zh) * | 2017-11-09 | 2018-11-16 | 北京广利核***工程有限公司 | 判定fpga冗余设计的代码与综合后电路一致性的方法和*** |
CN110032792A (zh) * | 2019-04-09 | 2019-07-19 | 中国科学院上海微***与信息技术研究所 | 一种超导数字电路设计方法 |
CN110765710A (zh) * | 2019-10-22 | 2020-02-07 | 清华大学 | 基于非易失器件的通用逻辑综合方法及装置 |
CN111027267A (zh) * | 2019-11-13 | 2020-04-17 | 广东高云半导体科技股份有限公司 | Fpga逻辑综合中加法器优化的实现方法及装置、*** |
WO2022021091A1 (zh) * | 2020-07-28 | 2022-02-03 | 华为技术有限公司 | 时钟树架构、时钟信号传输方法及设备 |
CN116108797A (zh) * | 2023-04-06 | 2023-05-12 | 中国人民解放军国防科技大学 | 基于触发器扇出数量的触发器替换方法、装置和存储介质 |
CN116595918A (zh) * | 2023-07-18 | 2023-08-15 | 奇捷科技(深圳)有限公司 | 快速逻辑等价性验证方法、装置、设备及存储介质 |
CN118278329A (zh) * | 2024-06-03 | 2024-07-02 | 沐曦科技(成都)有限公司 | 优化门级网表中触发器尺寸的方法、电子设备和介质 |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6295636B1 (en) * | 1998-02-20 | 2001-09-25 | Lsi Logic Corporation | RTL analysis for improved logic synthesis |
CN1737806A (zh) * | 2005-09-01 | 2006-02-22 | 上海交通大学 | 直接根据标准单元库器件生成门控时钟单元的方法 |
CN101539958A (zh) * | 2008-03-18 | 2009-09-23 | 北京芯慧同用微电子技术有限责任公司 | 一种标准单元库和集成电路的设计方法和装置 |
CN102082561A (zh) * | 2011-03-03 | 2011-06-01 | 北京大学 | Soi时钟双边沿静态d触发器 |
-
2012
- 2012-08-30 CN CN201210315870.9A patent/CN102831273B/zh active Active
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6295636B1 (en) * | 1998-02-20 | 2001-09-25 | Lsi Logic Corporation | RTL analysis for improved logic synthesis |
CN1737806A (zh) * | 2005-09-01 | 2006-02-22 | 上海交通大学 | 直接根据标准单元库器件生成门控时钟单元的方法 |
CN101539958A (zh) * | 2008-03-18 | 2009-09-23 | 北京芯慧同用微电子技术有限责任公司 | 一种标准单元库和集成电路的设计方法和装置 |
CN102082561A (zh) * | 2011-03-03 | 2011-06-01 | 北京大学 | Soi时钟双边沿静态d触发器 |
Cited By (17)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN105574219B (zh) * | 2014-10-10 | 2018-08-21 | 上海华虹宏力半导体制造有限公司 | 非标准单元库逻辑单元自动布局布线的方法 |
CN105574219A (zh) * | 2014-10-10 | 2016-05-11 | 上海华虹宏力半导体制造有限公司 | 非标准单元库逻辑单元自动布局布线的方法 |
CN106529043A (zh) * | 2016-11-14 | 2017-03-22 | 无锡华润矽科微电子有限公司 | 基于计算机软件***对电路进行分模块综合设计的方法 |
CN107122565A (zh) * | 2017-05-12 | 2017-09-01 | 山东大学 | 基于非易失性存储器的fpga bram架构与设计方法 |
CN107122565B (zh) * | 2017-05-12 | 2019-08-30 | 山东大学 | 基于非易失性存储器的fpga bram架构与设计方法 |
CN108829903B (zh) * | 2017-11-09 | 2021-11-05 | 北京广利核***工程有限公司 | 判定fpga冗余设计的代码与综合后电路一致性的方法和*** |
CN108829903A (zh) * | 2017-11-09 | 2018-11-16 | 北京广利核***工程有限公司 | 判定fpga冗余设计的代码与综合后电路一致性的方法和*** |
CN108052838A (zh) * | 2017-11-23 | 2018-05-18 | 北京智芯微电子科技有限公司 | 芯片加密设计的泄漏定位***及方法 |
CN110032792A (zh) * | 2019-04-09 | 2019-07-19 | 中国科学院上海微***与信息技术研究所 | 一种超导数字电路设计方法 |
CN110765710A (zh) * | 2019-10-22 | 2020-02-07 | 清华大学 | 基于非易失器件的通用逻辑综合方法及装置 |
CN111027267B (zh) * | 2019-11-13 | 2021-01-19 | 广东高云半导体科技股份有限公司 | Fpga逻辑综合中加法器优化的实现方法及装置、*** |
CN111027267A (zh) * | 2019-11-13 | 2020-04-17 | 广东高云半导体科技股份有限公司 | Fpga逻辑综合中加法器优化的实现方法及装置、*** |
WO2022021091A1 (zh) * | 2020-07-28 | 2022-02-03 | 华为技术有限公司 | 时钟树架构、时钟信号传输方法及设备 |
CN116108797A (zh) * | 2023-04-06 | 2023-05-12 | 中国人民解放军国防科技大学 | 基于触发器扇出数量的触发器替换方法、装置和存储介质 |
CN116595918A (zh) * | 2023-07-18 | 2023-08-15 | 奇捷科技(深圳)有限公司 | 快速逻辑等价性验证方法、装置、设备及存储介质 |
CN116595918B (zh) * | 2023-07-18 | 2023-12-08 | 奇捷科技(深圳)有限公司 | 快速逻辑等价性验证方法、装置、设备及存储介质 |
CN118278329A (zh) * | 2024-06-03 | 2024-07-02 | 沐曦科技(成都)有限公司 | 优化门级网表中触发器尺寸的方法、电子设备和介质 |
Also Published As
Publication number | Publication date |
---|---|
CN102831273B (zh) | 2015-02-04 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN102831273B (zh) | 包含双边沿触发器的数字集成电路设计方法 | |
CN102799698B (zh) | 一种用于专用集成电路的时钟树规划的方法和*** | |
US7694242B1 (en) | System and method of replacing flip-flops with pulsed latches in circuit designs | |
US7739628B2 (en) | Synchronous to asynchronous logic conversion | |
CN101539958B (zh) | 一种标准单元库和集成电路的设计方法和装置 | |
US8255845B2 (en) | System and method for generating flat layout | |
US10354042B2 (en) | Selectively reducing graph based analysis pessimism | |
CN102184148B (zh) | 一种基于fpga的at96总线控制器ip核及其构建方法 | |
CN102782651B (zh) | 硬件设计的混合式并发及串行逻辑仿真 | |
CN104331546A (zh) | 一种航天器用数字定制集成电路后端版图设计评估方法 | |
Gibiluka et al. | A bundled-data asynchronous circuit synthesis flow using a commercial EDA framework | |
US9449127B1 (en) | System for verifying timing constraints of IC design | |
CN113723045A (zh) | 数字集成电路的设计方法 | |
US20120102447A1 (en) | System and Method for Optimizing Logic Timing | |
CN201993640U (zh) | 一种基于fpga的at96总线控制器ip核 | |
Prasad et al. | Analysis, Physical Design and Power Optimization of Design Block at Lower Technology Node | |
WO2009070177A1 (en) | System and method for generating flat layout | |
Shahu | ASIC Design Implementation of UART using Synopsys EDA tools | |
Madsen | Desynchronization of digital circuits | |
Joshi | Static timing analysis of GasP | |
Saranya et al. | Design and Verification of an Asynchronous NoC Router Architecture for GALS Systems | |
Gibiluka | Analysis of voltage scaling effects in the design of resilient circuits | |
Golani et al. | Back-annotation in high-speed asynchronous design | |
Shankar et al. | Pulse Width Insensitive Design and Verification Methods | |
Suhaili et al. | Performance evaluation of verilog coding techniques for optimized md5 algorithm |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C14 | Grant of patent or utility model | ||
GR01 | Patent grant |