CN102542098B - 一种fpga互连线延时获取方法及其系统 - Google Patents

一种fpga互连线延时获取方法及其系统 Download PDF

Info

Publication number
CN102542098B
CN102542098B CN 201110381104 CN201110381104A CN102542098B CN 102542098 B CN102542098 B CN 102542098B CN 201110381104 CN201110381104 CN 201110381104 CN 201110381104 A CN201110381104 A CN 201110381104A CN 102542098 B CN102542098 B CN 102542098B
Authority
CN
China
Prior art keywords
delay
interconnection line
model
fpga
models
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.)
Expired - Fee Related
Application number
CN 201110381104
Other languages
English (en)
Other versions
CN102542098A (zh
Inventor
包朝伟
赵多华
袁梅
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
ShenZhen Guowei Electronics Co Ltd
Original Assignee
ShenZhen Guowei Electronics Co Ltd
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by ShenZhen Guowei Electronics Co Ltd filed Critical ShenZhen Guowei Electronics Co Ltd
Priority to CN 201110381104 priority Critical patent/CN102542098B/zh
Publication of CN102542098A publication Critical patent/CN102542098A/zh
Application granted granted Critical
Publication of CN102542098B publication Critical patent/CN102542098B/zh
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Landscapes

  • Design And Manufacture Of Integrated Circuits (AREA)

Abstract

本发明提供一种FPGA互连线延时获取方法及其系统。一种FPGA互连线延时获取方法,包括如下步骤:模型的建立与分析步骤:将FPGA的互连线划分为若干个模型,并确定每个模型负载数量变化引起路径个数变化的数量;初步处理步骤:根据负载数量的变化,通过版图提取的网表,以得到每一条路径的延时,再将这些模型的延时参数填写在库中;延时处理步骤:在进行布局布线的时候,通过查找库,得到互连线模型,然后调用相应模型的延时参数,用数值拟合方式获得整条互连线的总延时。

Description

一种FPGA互连线延时获取方法及其系统
技术领域
本发明涉及一种FPGA互连线延时获取方法及其系统。 
背景技术
在当今的现场可编程门阵列(FPGA)领域里,现有技术中芯片功能的开发应用的步骤为:用户提供设计源代码->根据设计源代码的设计思想对芯片的各个电路模块进行综合、翻译、映射和布局布线(布局布线就是将源代码的设计进行布局,使其连线到FPGA中的特定的某个电路功能模块上)->得到配置信息->将配置信息下载到对应的FPGA中,就能实现具体的功能。在此过程中,需要进行合理的布局布线,以满足逻辑与时序的要求,并根据布局布线后的结果得到芯片工作的最高频率,从而可以做后续的静态时序分析与动态时序仿真,验证布局布线后的电路是否实现了用户设计目标。为保证时序分析准确模拟了真实芯片工作情况以及获得最高工作频率,在布局布线前需要将芯片真实的延时数据提供给FPGA配套开发软件,然后软件根据一定的算法,即可准确地布局布线及产生后仿真网表。 
FPGA主要由四个基本的组件构成:输入/输出模块(I/O Block,IOB)、可编程逻辑模块(Configurable Logic Block,CLB)、可编程互连资源(Programmable Interconnect Resource,PI)以及存储器模块。IOB、CLB以及存储器模块电路较小,逻辑功能明确,因此可直接根据逻辑功能获得延时信息;在可编程互连资源方面,互连线结构复杂,电路较大,因此此部分的延时参数提取相比IOB、CLB以及存储器模块要复杂很多,并且互连资源占据了芯片的大部分面积,互连线延时的准确与否直接关系到了依托时序信息布局布线的准确与否,也关系到了根据软件判断FPGA工作频率和标准延迟格式文件(SDF文件)的准确性。 
如图1所示,目前对于互连线延时的获取,通常使用的办法是使用Elmore延时(艾莫延时)获取方法。Elmore延时获取方法主要是通过将FPGA互连线分成多段,每段等效为简化的RC(电阻电容)网络,然后每段RC网络级联,再利用Elmore延时公式将整段互连线的延时获取出来。还有一些公司是利用芯片测试的方式,不断重复使用特定的单元,实际测试得到这些单元的延时。这两种方法都有着一定的限制性,Elmore延时获取方法由于利用的是简化的RC网络,因此模拟得不够准确。测试的办法则是通过不断地写设计重复地使用某些单元和互连线,但由于互连线的种类较多,利用此办法工作量非常大。 
发明内容
本发明所要解决的技术问题是,用以给FPGA互连线建立一种更准确的技术方案,从而提取出的延时信息与真实延时更为接近。 
对此,本发明提供了一种FPGA互连线延时获取方法,包括如下步骤: 
模型的建立与分析步骤:将FPGA的互连线划分为若干个模型,并确定每个模型负载数量变化引起路径个数变化的数量;
初步处理步骤:根据负载数量的变化,通过版图提取的网表,以得到每一条路径的延时,再将这些模型的延时参数填写在库中;
延时处理步骤:在进行布局布线的时候,通过查找库,得到互连线模型,然后调用相应模型的延时参数,用数值拟合方式获得整条互连线的总延时。
优选的,所述模型的建立与分析步骤中:根据互连线结构、驱动和负载类型的不同,划分互连线的模型。 
优选的,所述初步处理步骤中,所述网表带有版图寄生参数。 
本发明还提供一种FPGA互连线延时获取系统,包括: 
模型的建立与分析模块:用于将FPGA的互连线划分为若干个模型,并确定每个模型负载数量变化引起路径个数变化的数量;
初步处理模块:用于根据负载数量的变化,通过版图提取的网表,以得到每一条路径的延时,再将这些模型的延时参数填写在库中;
延时处理模块:用于在进行布局布线的时候,通过查找库,得到互连线模型,然后调用相应模型的延时参数,用数值拟合方式获得整条互连线的总延时。
优选的,所述模型的建立与分析模块中:根据互连线结构、驱动和负载类型的不同,划分互连线的模型。 
优选的,所述初步处理模块中,所述网表带有版图寄生参数。 
与现有技术相比,本发明的优点在于,综合考虑了互连线驱动端与负载的变化,并且能根据实际布局布线的负载数量进行延时的增减,因此精准度较高,能很好地获取真实芯片的延时参数。 
附图说明
图1为现有技术中对FPGA互连线延时获取的过程示意图; 
图2为本发明FPGA互连线延时获取系统一种实施例的结构示意图;
图3为FPGA中的一种DOUBLE线的连线方式;
图4是本发明FPGA互连线延时获取方法一种实施例的流程示意图;
图5是本发明FPGA互连线延时获取方法一种实施例中互连线建模的过程。
具体实施方式
结合图2、图3、图4和图5,对本发明的实施例做进一步的说明。 
一般意义上所说的互连线包括了可编程的配置选择器(MUX)、连线上的反相器(inverter)和物理连线。大多数FPGA都是采用了层次式互连方式的可编程互连线模型,该模型通常在布线通道中存在三种连线,即相邻高速互连层次的短线(Short Line)、局部连线层次的可分割长线(Dividable Long Line)和全局层次的长线(Long Line),配置选择器作为不同的线之间连接的开关。 
互连线延时主要受到了互连线结构、驱动和负载所影响,短线、可分割长线、长线这三种类型互连线的驱动与负载都是不一样的,因此对互连线建立模型的时候,需要根据驱动与负载的不同建立不同的模型。即使对于驱动和负载都相同的线,由于在实际布局布线时,并非所有负载都同时导通,实际导通负载数量的变化也会引起延时的改变,因此需要构造一个较好的方案,用以根据布局布线实际情况获得互连线的延时。 
参见图2,为短线中的一种DOUBLE线的连线方式。 
其中,多项式模型与数值拟合方式如正文所言,负载会影响互连线延时;在实际的FPGA开发过程中,不同的用户设计会引起布局布线方式的改变,从而负载数量会发生变化,此时即使是同一根互连线,其延时也有所不同。为近似地体现出此现象导致的互连线延时的变化,本发明构思了一种新的互连线建模方式,既考虑到了驱动与负载不同影响到互连线的延时,也考虑到了负载数量的变化引起延时的变化。 
本发明的实施例中,以互连线种类为基本进行划分,利用多项式模型来建立互连线的近似延时模型,最后用数值拟合方式获取所有互连线的延时。 
以double线为例,互连线延时模型采用多项式形式,如 
Td=K0+∑KxNx
其中:
(1)Td表示互连线延时;
(2)K0是“本征延时”,即负载为0的时候该互连线的延时数据,此延时不随负载变化;
(3)Kx是该互连线上某种负载的其中一个导通时在输出端引起的延时增量(假若某互连线有U种负载,并且每个负载有 
Figure 2011103811048100002DEST_PATH_IMAGE001
级MOS管,则Kx一共有∑个);
(4)Nx是EDA工具根据布局布线后的信息,获取获得该互连线上与Kx对应的某种负载的某一级MOS管的导通数目。在FPGA配套软件对用户设计进行布局布线后,所用到的互连线的负载都已经被确定下来了,因此Nx是可以通过软件得到的,每个Kx都有其相对应的Nx.
图2即为两级Double线,左下角的CLB 为源端,其余为接收端。在本文中,设定每个方向上(水平、垂直)靠近源端的终端CLB为第一级(CLB1),远离源端的终端CLB为第二级(CLB2),这种互连线的负载为CLB内部的可编程的配置选择器(MUX)。
在图2可看到,Double线共有两级负载,但是由于CLB1和CLB2内部各有两种类型的MUX,每种MUX都有两级传输管,因此在建模时,应将CLB看作为共有四级负载,并且每一级负载都应有两个k值。可将此四级负载定义为四条路径(Path),共8个k值。 
(1)Path1:源端到CLB1的第一种MUX; 
(2)Path2:源端到CLB1的第二种MUX;
(3)Path3:源端到CLB1的第一种MUX;
(4)Path4:源端到CLB1的第二种MUX;
以Path1为例,源端经过Path1到输出,其延时估算多项式(子模型)为
Td=K0+K1*N1+K2*N2+K3*N3+K4*N4
+K5*N5+K6*N6+K7*N7+K8*N8
其中,
(1)Path1负载的第一级传输管导通数为N1,在第一级传输管导通的前提下,第二级传输管导通数为N2;
(2)Path2的第一级传输管导通数为N3,在第一级传输管导通的前提下,第二级传输管导通数为N4;
(3)Path3的第一级传输管导通数为N5,在第一级传输管导通的前提下,第二级传输管导通数为N6;
(4)Path4的第一级传输管导通数为N7,在第一级传输管导通的前提下,第二级传输管导通数为N8。
K0为本征延时,K1-K8是N1-N8对应位置的一个传输管导通时在输出端所引起的延时增量,这即本发明参数提取的主要内容,此互连线模型其他的路径与Path1用类似的方法算出。对于不同的输出路径,延时不同,有不同的K0-K8参数值,如下表,为 标准double线延时函数参数(单位ps): 
  在布局布线时,FPGA配套软件根据布局布线信息,通过库获取所用到的模型及其延时参数,利用上述多项式的公式算出每一根用到的互连线的延时,此方法即为数值拟合方式。
3.2 具体实施方式 
   为说明我们这种互连线的建模与参数提取的方式,下面分步将所有步骤列出来。
1.01   分析FPGA互连线的结构; 
1.02   根据互连线结构、驱动和负载类型的不同,划分互连线的模型;
1.03   对划分好的互连线模型确定负载个数,并确定K值的数量
1.04 在FPGA的总电路图中找到对应模型形成的电路,将其单独提取出来,并在电路中对该模型对应的电路添加必要的配置点和测量点(配置点是用来在SPICE仿真中加激励的);
1.05 对该电路提取带有版图寄生参数的网表;
1.06 利用SPICE仿真激励文件(SP文件)对电路添加激励,并利用SPICE仿真获得所有模型的全部路径的延时参数;
1.07 将SPICE仿真获得的延时参数做一定的数学处理,使之成为多项式模型方式;
1.08 根据TDL语言格式,将延时参数填写到库中;
1.09 FPGA配套软件根据数值拟合方式获取每一段互连线的延时,从而得到整条路径的延时。
以上即是此实施例的全部步骤,可见参见图4。下面将对上述9个步骤做详细的说明。 
1.FPGA互连线的建模 
在理解建模的过程之前,首先明确两个概念,一为路径的定义,本文中所说的路径即是互连线到达的一个终点,即互连线的源端到达负载的终点都是路径,负载有多少种,即有多少条路径;二为K值的个数,K值个数由路径的数量以及每条路径的MUX的级数决定,如上文所说的Double线,它有四条路径(U=4),每条路径的MUX有两级(
Figure 740073DEST_PATH_IMAGE001
=2),那么K为∑=2+2+2+2=8个。
      建模过程可见图4,由于FPGA互连线的延时与结构、驱动和负载相关,因此可将这三项内容分层次,先从结构上将互连线划分为Short Line、Dividable Long Line和Long Line三种,这三种类型的互连线由于驱动端MOS管的尺寸不一致,还可划分为几种类型的线,例如short line可划分为时钟线(clock line)、一般的短线(local line)和二线(double line),对于进一步划分的线而言,由于负载个数的不同,尚可划分成几个模型。当模型划分好,即可根据电路得到K值个数。 
1.10 如图5所示,为互连线建模的过程,对FPGA互连线建模需要熟悉整个电路结构,以便能正确划分互连线模型,并确定K的数量。 
1.11 2.SPICE仿真与数学处理 
1.12 通过SPICE仿真可得到上面划分的模型中的K0-Kx的值,K0是扇出为0时的“本征延时”,Kx是某类型负载的一个传输管导通带来的延时增量。SPICE仿真需要三个文件,一为电路对应的版图提取网表,此项是通过提取FPGA电路涉及该模型部分的电路,再提取版图数据获得的,含有RC寄生参数(互连线的等效电容电阻的寄生参数),能真实地模拟真实芯片的情况;二是仿真激励文件,此文件通过给模型的源端和配置点激励,从而使得波形能够通过互连线传输;三是其他仿真设置文件,如仿真精度设置文件等。
1.13 SPICE仿真的基本思路是在输出路径开启的前提下,分别开启不同类型的传输管,测得开启前后的延时值,相减即得延时增量。 
1.14 为了在仿真速度和精度上得到平衡,在使用nanosim(nanosim为SPICE仿真软件的一种)仿真时设置为3级精度。此外,为了减小工具误差,在仿真时同时开启多个相同类型的传输管,通过求平均值的方法得到延时增量Kx。 
1.15 以上文所说的标准double线为例,延时参数的提取过程为:首先开启N1,N2使得path1导通,测出该测试路径的延时K,然后开启path1的其他扇出的第一级传输管,可获取出第一级传输管的延时增量K1;然后再开启第二级传输管,可获取出第二级传输管的延时增量K2;用K减去K1和K2可得到本路径0扇出时的本征延时K0;同理可仿真,获取得出K3-K8。根据以上所述的方法可分别仿真、获取出每条路径的延时参数。 
1.16 以上过程中, 仿真时的扇出要始终保持在较低的情况下,可以避免延时参数过于悲观,在实际应用中,多扇出的情况也是很少的。 
1.17 3.库的填写及软件调用参数 
1.18 通过SPICE仿真获得所有模型的参数后,即可根据一定的方式将参数填写到库中,我们采用的是TDL语言格式,以上述所写的标准double线为例,可见下表,为参数库的格式:
在布局布线过后,软件通过一定的方式,将每个模型所有Nx获取出来,则每一条互连线都可用下述的多项式获得延时:
Td=K0+∑KxNx
此实施例通过合理的细分互连线延时模型,从而对FPGA互连线进行建模。并对每个互连线延时模型用SPICE仿真出其模型对应的延时参数,在获取互连线的延时时利用数值分析拟合方式调用这些模型对应的延时参数从而得到整个互连线的延时。此种建模办法很好地将FPGA可编程互连线的扇出及半开半闭的情况考虑入内,并且用了高精度的SPICE仿真软件来仿真得出每一种模型的延时,因此这样获取出的FPGA的互连线延时的精准度相对较高。
Xilinx公司的FPGA在可编程逻辑器件领域中占据了50%左右的市场份额,该公司的FPGA配套软件ISE是FPGA开发非常可靠的软件,ISE包括了综合、翻译、映射、布局布线、产生后仿真网表已经配置信息生成等FPGA开发的所有步骤,它在布局布线和后仿真网表和SDF文件(标准延迟格式文件)产生过程中,调用了相应的参数库,参数库中即包含了FPGA互连线的延时参数。 
下表是利用Xilinx的Virtex-II系列芯片实际测试所得的延时值与后仿真得到的延时值作对比所得到的结果,其中后仿真为利用ISE10.1软件获得后仿真网表和SDF文件,再利用modelsim仿真得到输入与输出的延时。 
Figure 113865DEST_PATH_IMAGE004
在上表中,互连线的长度是以逻辑块(例如CLB)在电路上的长度为单位的,ISE软件是10.1的版本,芯片测试和软件运行都是在25℃、1.5V的电压下测量的。从表中可以看出,,相对于芯片实际测量的延时值与ISE软件利用仿真库获取得到的延时,其误差大概在28%左右。因此,Xilinx公司的参数还尚待提高。 
下表为利用本文所说的方法获得的延时结果与SPICE仿真结果(SPICE仿真结果与芯片实际测试结果非常接近)的比较: 
Figure 850877DEST_PATH_IMAGE005
(单位为ns)
 Best_case是在1.65V电压、-55℃环境下的数据
 Worst_case是在1.35V电压、125℃环境下的数据
由上表可以看出,利用本方法获取得到的延时,相对于较准确的SPICE仿真延时,误差大致上在15%左右,最大也不超过21%,因此本方法准确率高,是一种非常有效的提取FPGA互连线建模及延时提取的方式。
以上所述之具体实施方式为本发明的较佳实施方式,并非以此限定本发明的具体实施范围,本发明的范围包括并不限于本具体实施方式,凡依照发明之形状、结构所作的等效变化均在本发明的保护范围内。 

Claims (6)

1.一种FPGA互连线延时获取方法,其特征在于,包括如下步骤:
模型的建立与分析步骤:将FPGA的互连线划分为若干个模型,并确定每个模型负载数量变化引起路径个数变化的数量;
初步处理步骤:根据负载数量的变化,通过版图提取的网表,以得到每一条路径的延时,再将这些模型的延时参数填写在库中;
延时处理步骤:在进行布局布线的时候,通过查找库,得到互连线模型,然后调用相应模型的延时参数,用数值拟合方式获得整条互连线的总延时;所述互连线模型采用多项式形式。
2.如权利要求1所述的FPGA互连线延时获取方法,其特征在于,所述模型的建立与分析步骤中:根据互连线结构、驱动和负载类型的不同,划分互连线的模型。
3.如权利要求1所述的FPGA互连线延时获取方法,其特征在于,所述初步处理步骤中,所述网表带有版图寄生参数。
4.一种FPGA互连线延时获取系统,其特征在于,包括:
模型的建立与分析模块:用于将FPGA的互连线划分为若干个模型,并确定每个模型负载数量变化引起路径个数变化的数量;
初步处理模块:用于根据负载数量的变化,通过版图提取的网表,以得到每一条路径的延时,再将这些模型的延时参数填写在库中;
延时处理模块:用于在进行布局布线的时候,通过查找库,得到互连线模型,然后调用相应模型的延时参数,用数值拟合方式获得整条互连线的总延时;所述互连线模型采用多项式形式。
5.如权利要求4所述的FPGA互连线延时获取系统,其特征在于,所述模型的建立与分析模块中:根据互连线结构、驱动和负载类型的不同,划分互连线的模型。
6.如权利要求4所述的FPGA互连线延时获取系统,其特征在于,所述初步处理模块中,所述网表带有版图寄生参数。
CN 201110381104 2011-11-26 2011-11-26 一种fpga互连线延时获取方法及其系统 Expired - Fee Related CN102542098B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN 201110381104 CN102542098B (zh) 2011-11-26 2011-11-26 一种fpga互连线延时获取方法及其系统

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN 201110381104 CN102542098B (zh) 2011-11-26 2011-11-26 一种fpga互连线延时获取方法及其系统

Publications (2)

Publication Number Publication Date
CN102542098A CN102542098A (zh) 2012-07-04
CN102542098B true CN102542098B (zh) 2013-10-30

Family

ID=46348974

Family Applications (1)

Application Number Title Priority Date Filing Date
CN 201110381104 Expired - Fee Related CN102542098B (zh) 2011-11-26 2011-11-26 一种fpga互连线延时获取方法及其系统

Country Status (1)

Country Link
CN (1) CN102542098B (zh)

Families Citing this family (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN111079361B (zh) * 2019-12-07 2023-05-02 复旦大学 Fpga电路的负载建模方法
CN113848455A (zh) * 2021-09-24 2021-12-28 成都华微电子科技有限公司 Fpga内部互联线延时测试方法
CN114330191B (zh) * 2022-03-08 2022-06-10 上海国微思尔芯技术股份有限公司 一种信号复用传输的方法及装置
CN117272888B (zh) * 2023-11-21 2024-04-09 杭州行芯科技有限公司 一种电路参数的求解方法、装置、电子设备及存储介质

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6167364A (en) * 1998-04-17 2000-12-26 Altera Corporation Methods and apparatus for automatically generating interconnect patterns in programmable logic devices
US7283942B1 (en) * 2002-11-26 2007-10-16 Altera Corporation High speed techniques for simulating circuits
CN101246510A (zh) * 2008-02-28 2008-08-20 复旦大学 可编程逻辑器件硬件结构通用建模方法
CN101305372A (zh) * 2005-09-16 2008-11-12 高通股份有限公司 对纳米技术中的互连作用的方法的研究

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6167364A (en) * 1998-04-17 2000-12-26 Altera Corporation Methods and apparatus for automatically generating interconnect patterns in programmable logic devices
US7283942B1 (en) * 2002-11-26 2007-10-16 Altera Corporation High speed techniques for simulating circuits
CN101305372A (zh) * 2005-09-16 2008-11-12 高通股份有限公司 对纳米技术中的互连作用的方法的研究
CN101246510A (zh) * 2008-02-28 2008-08-20 复旦大学 可编程逻辑器件硬件结构通用建模方法

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
王怡, 韩若楠, 王伶俐, 唐璞山, 童家榕.基于SRAM的FPGA的互连时延模型.《电路与系统学报》.2008,第13卷(第3期),全文. *

Also Published As

Publication number Publication date
CN102542098A (zh) 2012-07-04

Similar Documents

Publication Publication Date Title
US6324671B1 (en) Using a reduced cell library for preliminary synthesis to evaluate design
US6249901B1 (en) Memory characterization system
US9218440B2 (en) Timing verification of an integrated circuit
US6591407B1 (en) Method and apparatus for interconnect-driven optimization of integrated circuit design
US11836641B2 (en) Machine learning-based prediction of metrics at early-stage circuit design
US5367469A (en) Predictive capacitance layout method for integrated circuits
CN104376138B (zh) 集成电路芯片的时序确定方法和装置
CN101539958B (zh) 一种标准单元库和集成电路的设计方法和装置
US5946475A (en) Method for performing transistor-level static timing analysis of a logic circuit
JP2004531056A (ja) プログラム可能なコンポーネントを用いるブロックベースの設計方法論
US20140325460A1 (en) Method for simulation of partial vlsi asic design
US11461523B1 (en) Glitch analysis and glitch power estimation system
US20150199460A1 (en) Custom circuit power analysis
CN102542098B (zh) 一种fpga互连线延时获取方法及其系统
Tehrani et al. Deep sub-micron static timing analysis in presence of crosstalk
US20120166168A1 (en) Methods and systems for fault-tolerant power analysis
US20030212967A1 (en) Method and apparatus for custom design in a standard cell design environment
US7979262B1 (en) Method for verifying connectivity of electrical circuit components
US10140412B2 (en) Timing matching method of timing analyzer and method of designing integrated circuit using the same
US9582626B1 (en) Using waveform propagation for accurate delay calculation
US10460060B2 (en) Checking equivalence between changes made in a circuit definition language and changes in post-synthesis nets
US7454729B1 (en) Method and system for validating testbench
CN101794328B (zh) 针对门输出负载的快速且准确的估计
US10831954B1 (en) Technology lookup table-based default assertion generation and consumption for timing closure of VLSI designs
KR20220141489A (ko) 메모리 장치의 설계에서 클록 도메인 크로싱 위반을 검출 하는 컴퓨팅 장치 및 방법

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
C53 Correction of patent of invention or patent application
CB02 Change of applicant information

Address after: 518000 Guangdong city of Shenzhen province Nanshan District Gao Xin Road No. 015 building six layer A in micro research

Applicant after: SHENZHEN STATE MICROELECTRONICS Co.,Ltd.

Address before: 518057 Guangdong city of Shenzhen province Nanshan District high tech Industrial Park South high SSMEC 5 storey building

Applicant before: SHENZHEN STATE MICROELECTRONICS Co.,Ltd.

COR Change of bibliographic data

Free format text: CORRECT: APPLICANT; FROM: GUOWEI ELECTRONICS CO., LTD., SHENZHEN TO: SHENZHEN STATEMICRO ELECTRONICS CO., LTD.

C14 Grant of patent or utility model
GR01 Patent grant
CF01 Termination of patent right due to non-payment of annual fee

Granted publication date: 20131030

Termination date: 20211126

CF01 Termination of patent right due to non-payment of annual fee