三模冗余技术在ASIC设计中的应用及实现

1、三模冗余技术在asic设计中的应用及实现假如减小时钟间的延迟，电路可能会浮现不定态，缘由也是因为组合规律的提前输出，这里就不再研究了。2 三模冗余的实现21 修改网表二次综合dc综合的功能是读取设计的rtl代码并且按照时序约束，综合rtl代码到结构级，从而产生一个映射后的门级网表，其中一个重要的步骤是指定综合所用法的综合库，综合库普通由流片厂商提供，库中包含了引脚到引脚的时序，面积，引脚类型和功耗等信息，综合后的门级网表中的单元也就是库中所定义的单元。三模冗余的加固过程事实上就是为设计中的每个触发器生成2个冗余触发器并加上表决规律，而rtl代码中无法反应出这点，因此可以对原设计综合后的门级网表

2、举行修改，把触发器改为三模冗余触发器，用门级描述编写三模冗余触发器模块，然后和修改的网表一起再次综合就可得到三模冗余加固后的网表文件。值得解释的是dc综合库里面有多种类型的触发器，比如sdff，edff，sedff，jk，dff，即使在综合脚本中限定只用dff触发器，也会有好几种，所以对于不同的单元要编写相应的三模冗余触发器模块(其结构1所示)。此外因为有3路时钟信号，所以要编写时钟生成模块，其功能是由clk产生互有延迟的2路时钟信号。首先在synopsys的综合工具dsigncompiler下对原设计的rtl代码举行综合，得到电路的门级网表。门级网表中的电路事实上就是通过例化综合库的单元来描

3、述电路的结构，可以用法形式验证工具formality来验证rtl代码和综合后的门级网表在功能上是否全都。然后修改门级网表，在网表中增强线网类型ck2：0，并且实例化clkgen模块，再把网表里面的触发器改为三模冗余触发器，并修改其时钟端口为clk，ck1：0，因为综合库中不含有这两个模块，这时网表中就浮现了两个综合工具没有处理的模块，时钟生成模块和三模冗余触发器模块，修改后的网表就不是彻低映射后的门级网表。最后对修改后的网表，时钟生成模块及三模冗余触发器模块举行再次综合，这次综合事实上就是对时钟生成模块和三模冗余触发器的综合，把它们映射为综合库中的单元，得到的门级网表即是三模冗余加固后设计的门

4、级网表。22 建立三模冗余触发器的库单元因为三模冗余触发器单元的时钟端口有3位，即使在库中加入三模冗余触发器的单元，综合器也无法把设计挺直映射成该单元，因此可以把时钟生成模块放到tmr_dff内部，这样三模冗余触发器时钟端口就惟独1位，在库文件中把触发器单元用对应的三模冗余触发器单元替换掉，dc就可以把电路中的触发器挺直映射成tmr_dff，一次综合就可以完成设计了，但是这样一来囫囵芯片的面积又会增大无数(时钟生成模块不在共用)，除此之外也可以借助上面的办法在原设计综合后修改网表。前面已经提到库文件里面有无数种类型的触发器，所以应对不同的dff触发器建立相应的库单元，下面是一种建立库单元的办法

5、，主要分为2步：版图设计和仿真特性提取。单元库的建立首先要完成单元的版图设计，在确定单元库所包含的单元种类和单元电路后，按照加工厂家的工艺参数，设计规章等完成单元的版图设计，并导出电路网表，此时网表中不仅有电路结构，还有，参数。然后就可以举行单元的参数提取工作。参数提取需要挑选一种用于参数提取的工具，这里挑选siliconsmart，第二要确定模拟仿真工具，如hspice。主要步骤包括创建工作名目配置仿真环境，引入参考库，产生仿真文件，运行仿真特性提取，生成库文件。创建工作名目是指创建一个用于siliconsmart运行的名目，此时会自动生成一个名为configtcl的脚本文件，需要手动对其举

6、行一些关键配置，主要包括模拟工具的挑选(这里挑选hspice)，模拟模型的指定，环境温度等变量的设置等。引入参考库是为工具指定一个参考的库单元，工具将参考单元的信息摘取出来，并为该单元生成一个控制文件，该文件具体描述了需要提取的单元的信息。包括单元网表文件，管脚信息，规律功能，输入信号的升高下降时光，输出管脚负载状况等。假如没有参考的库文件，则需要手动编写该文件。产生仿真文件是告知工具对单元的哪些方面举行特性提取，比如时序，功耗，ccs模型等。运行仿真提取是对单元举行模拟仿真特性提取工作。生成库文件会产生2个库单元，其中v是仿真工具用的仿真库，lib是可读的综合库，可以在dc中用read_lib *lib指令读入lib文件，然后用write_ lib* *db指令可以生成db综合库(*代表库单元的名字)。对于抗辐射加固来说，除了用电路加固外可能还需要挑选越发牢靠的工艺，soi工艺就具有很好的抗辐射性能，它消退了闩锁效应，有效地降低了单粒子效应，而此时就需要建立自己的单元库了，库中的触发器单元就可以挺直建成三模冗余触发器的库单元。3 结语航天系统中芯片的抗辐射能力是一个重要的指标，对于抗辐射的处理器和存储器来说，辐如实验是测试中的一个重要环节。三模冗余加固技术只是众多抗辐照加固技术的一种，比较常用的还有检错纠错码e，soi工艺加固，其中采纳so