一种新颖的基于层划分的等价验证方法

提出了一种基于SAT问题的组合电路等价验证算法，该算法特别适用于验证有着一定相似部分的两个电路。其主要创新之处为：1)基于层划分的配对点生成方法；2)基于值控制的回溯过程。ISCAS’85的实例很好地证明了该算法的有效性。     

超深亚微米集成电路串扰估计及优化

采用RLC模型来估计互连线间的耦合噪声并对模拟结果进行分析,在此基础上,提出了几种不同的算法实现了带串扰约束的集成电路布线结果调整.     

基于SRAM的FPGA的互连时延模型

本文提出现场可编程门阵列FPGA中的互连资源MOS传输管时延模型.首先从阶跃信号推导出适合50%时延的等效电阻模型,然后在斜坡输入的时候,给出斜坡输入时的时延模型,并且给出等效电容的计算方法.结果表明,本文提出的时延模型快速并且足够精确.     

计算天线相位中心的移动参考点法

通过对天线的相位中心和等相位面的计算和分析,提出了移动参考点法,并通过此法得出了角锥喇叭的相位中心、等相位面宽度以及它们与相位偏差之间的关系.由Muehldorf等人采用的求远场相位面曲率中心法只是本方法的一种特殊情况.     

山地住宅建筑设计标准化的途径

通过调查研究,我们深深地感到过去为平地所准备的住宅标准设计,用于山区有很大的局限性,特别是在坡度较陡,地形条件较复杂的情况下,更难以符合经济上和使用上的要求。根据党的八届十中全会所提出的,以农业为基础、以工业为主导的发展国民经济的总方针,在住宅建筑设计工作中,如何进一步节约用地,节约劳动力以大力支援农业;节约建筑材料、降低造价、缩短工期,是有极其重大意义的。为此,我们作了一些试探性的研究工作,并在此基础上,对山地住宅标准设计问题,提出以下三点建议。     

时延差驱动的门级功耗估算算法

提出一种基于 ROBDD图和时延差的组合电路门级平均功耗估算算法 ,该算法适用于单位延迟模型和一般的延迟模型 .算法用时匀质 Markov链模型描述信号的变化 ,电路中各节点的开关活动率用功能翻转与毛刺翻转之和来衡量 ;根据信号之间的再汇聚特性生成超门 ,构造局部的 ROBDD图 (最简有序二叉决策图 )来估算功能翻转 ;根据信号到达单元门各输入端之间的延迟差 ,构造毛刺产生模型 ,估算毛刺翻转 .该算法通过构造节点的有约束超门缩小了ROBDD的规模 ;在考虑信号再汇聚而导致的信号相关性的同时 ,还比较精确地考虑由于时延差而产生的毛刺功耗 .实验结果显示 ,与 Monte- Carlo统计模拟方法相比 ,算法的估算精度在 10 %以内 ,运行速度要快一个数量级 .     

LowTARP:低温交替改善的模拟退火布局算法

在模拟退火算法的基础上,提出一种"低温交替改善"的FPGA布局算法.在模拟退火的低温阶段,该算法不仅交换可配置逻辑单元(CLB)的位置,也改变逻辑单元(LE)所属的CLB,即同时对布局和装箱进行优化,并采用布局的目标函数来衡量装箱的优劣.实验数据表明,采用3种不同的装箱算法的结果作为布局的输入,布线通道宽度与最具代表性的VPR布局算法相比,分别提高21.3%,15.5%和10.7%,而引入的额外计算量不到20%.     

美能源部计划勘探蓄水层的贮能潜在力

美国能源部(DOE)久已注视以地下蓄水层作为贮存热能的一种适当场所。如果与各界研究人员在1980年7月1日缔交的协议已经如期办妥。那么,这种设想不久就可以付诸试验。合同上将提到四个部分已于上一个秋季把建议送到 DoE。所有建议包括加热的冷或却的     

数模混合电路仿真波形的自动比较

针对快闪存储器设计中的数模混合信号的特征,提出一种波形自动比较的方法来解决数模混合电路流片前的自动验证.采用点到点比较实现数字信号的完整性检查和模拟信号波形的自动比较;采用时间偏移匹配比较实现指令的自动检测和偏移时间的自动匹配,并对指令驱动的模拟信号进行自动比较;采用图像模式匹配比较对不同工艺条件、电源电压和温度条件下的仿真波形进行自动比较.该方法用程序实现并将其应用于英特尔技术开发(上海)有限公司快闪存储器上海事业部的设计流程中,减少了流片前验证的疏忽遗漏,提高了工作效率.     

通用的层次化FPGA划分算法

层次化FPGA（HFPGA）是目前工业主流的芯片架构.在前人关于HFPGA成果的基础上,提出了一种改进的划分算法.该算法将模拟退火算法与ratio-cut思想结合,确定多层多划分的规模后,采用数据结构进行多分优化,在将可配置逻辑块（configurable logic block,CLB）划分到各个簇的时候考虑割线数的目标函数,实现了更好的划分结果,提高了FPGA芯片的利用率,优化了整个芯片的性能.