亚波长设计中的可制造性验证方法

描述了一种采用分辨率提高技术后用于可制造性设计的验证方法.该方法的目的是验证设计功能与设计目的是否一致,更精确地说,使刻印出来的图像与设计一致.还描述了这种基于模型的验证方法的过程建模,实例说明这种方法的性能.     

超深亚微米与纳米级标准单元的可制造性设计与验证技术

当半导体工业进入到超深亚微米时代后,标准单元的设计面临着新的挑战.由于亚波长光刻的使用,图形转移质量将严重下降.在这种情况下,以集成电路的可制造性作为目标的"可制造性设计"方法在标准单元设计中变得至关重要.本文分析了超深亚微米与纳米工艺条件下标准单元设计中遇到的一些典型可制造性问题,提出了相应的新设计规则和解决方案,完成了实际90nm工艺下标准单元的可制造性设计工作.同时,文中提出了包括光刻模拟、测试电路组等技术在内的单元可制造性设计和验证的流程.     

基于断言的验证方法在UART模块中的应用研究

介绍了一种易于实现的基于断言的验证(ABV)方法,即经过5个步骤在设计文件中插入断言,使仿真器在仿真过程中监视设计中的关键功能点.该方法在UART的寄存器传输级(RTL)模型功能验证中的应用,实验中使用SVA描述设计属性.实验证明,这一方法提高了设计的可观察性,适用于数字集成电路功能验证.     

面向产品生命周期的电子产品可制造性设计

介绍DFX的基本概念,阐述基于并行设计思想的电子产品可制造性设计的含义,分析在电子产品开发中应用DFM技术的背景和意义,对DFM技术对电子产品设计进程、成本、质量、加工效率和产品上市时间的积极作用进行深入讨论,重点介绍电子产品DFM设计的主要内容和关注点,分析电子产品研发中实施DFM的流程、方法与平台,最后给出通过DFM设计优化来提高板材利用率和解决工艺缺陷的两个案例,验证电子产品开发中进行DFM设计的重要性和意义.     

Kostal Ireland公司应用Valor DFM软件方案

2007年7月31曰，华尔莱科技获得Kostal Ireland公司指定提供该公司DFM（可制造性设计）软件，运用于设计验证流程。Kostal公司是一家高科技电子及机电产品的设计与制造公司。[第一段]     

基于SystemC和Verilog软硬件协同验证

针对当前专用数字集成电路设计中的验证瓶颈,为了在更高的抽象级别对设计对象进行描述和验证,提出一种软硬件协同验证方法.该方法基于SystemC的交易级处理器内核模型和基于Verilog的内核之外的硬件模型.该方法被应用到东南大学研发的微处理器芯片GIV的具体验证中.实验数据表明,由于采用软硬件协同验证模型在芯片生产之前对系统功能、结构设计等进行验证,缩短了开发周期,降低了开发成本,提高了验证可靠性.     

RTL到门级网表的等价性验证方法

等价性验证在ASIC设计中的应用愈发广泛。等价性验证不需要测试向量,能够判断修改前后两个设计功能是否一致,还可以发现设计中的缺陷。针对等价性验证出现的问题,本文重点分析了验证失败的原因以及对应的解决办法,消除了网表使用寄存器QN端以及RTL冗余寄存器引起的验证问题。项目实践表明上述方法在等价性验证中是行之有效的。     

通信系统中SystemC可重用验证平台的设计

文章以SystemC为验证语言的通信系统的可重用验证平台的设计思路,通过层次化设计,将验证平台划分为4个层次:用户层、配置管理层、总线功能模型层和待测设计层.介绍了各层接口的通信方式,着重介绍了用户层模块、算法模块、端口模块、激励产生模块、总线功能模块以及结果比较模块重用设计方法,依照此方法能快速高效地搭建可重用的验证平台.     

软硬件协同验证方法的研究

摘要：本文是基于做项目实践时,对SOC的各个模块的验证中采用的软硬件协同验证方法进行研究,与传统的验证方法进行对比,得出这种验证方法的优点。SOC芯片不仅在规模上与传统的芯片有着很大的差别,而且在设计验证方法上也有着本质的不同。在SOC的设计中,大量的采用IP复用技术^[1],不仅包含大量的硬件电路设计,而且包含了相当部分运行在嵌入式处理器上的软件需要设计,也就是说为了确保软件和硬件能够很好的协同工作,SOC验证中要同时考虑硬件和软件的验证。这种情况促进了SOC设计方法和验证方法产生了巨大的变更,软硬件协同设计和验证的技术应运而生。     

等价性验证在Soc设计中的应用

本文介绍了仿真验证与形式验证的功能,重点讨论了等价性验证在soc设计中的应用及基本流程,分析了等价性验证过程中常遇到的一些问题并给出了解决方案,实验显示,该验证方法可准确快速的发现设计的错误,提高验证效率。     

SoC中多层AHB总线的断言验证应用

随着SoC设计复杂程度的不断提高,芯片的功能验证面临的挑战越来越大。断言作为一种描述属性的方法,可以快速地验证设计代码是否满足系统要求。基于断言的验证方法学近年来发展极为迅速,应用也越来越广泛。在基于Multi-layer AHB总线架构上的SoC系统验证过程中,采用System Verilog Assertion验证方法,证明SVA是SoC设计过程中功能验证的一种有效的验证方法。     

认知无线电中随机解调器压缩采样重构确认的改进方法

随机解调器压缩采样用于认知无线电宽带频谱感知的一个前提是要保证频谱的稀疏性,当频谱不满足稀疏条件时,根据重构所得频谱进行频谱空穴判决将得到错误的频谱空穴信息。提出了一种随机解调器压缩采样重构成败判定的改进方法。该方法利用多次重构所得稀疏信号的支撑来判断本次重构是否成功。仿真结果表明,相比于利用两次重构的方法,所提出的改进方法能够进一步提高判断准确率。     

Synthesis of lowpass lc ladder networks

A simple verification of the continued-fraction expansion method for the synthesis of simple lowpass LC ladder networks is given. A subroutine to calculate filter components by this method has been written; the subroutine can also be used for testing whether a polynomial is of Hurwitz type or not.     

Face verification based on deep Bayesian convolutional neural network in unconstrained environment

Unconstrained face verification aims to verify whether two specify images contain the same person. In this paper, we propose a deep Bayesian convolutional neural network (DBCNN) framework to extract facial features and measure their similarity for face verification in unconstrained conditions. Specifically, we design a deep convolutional neural network and construct a Bayesian probabilistic model by transferring the Bayesian likelihood ratio function into linear decision function. By training a decision line rather than finding a suitable threshold, we further enlarge the distances between inter-class and intra-class in unconstrained environment. Finally, we comprehensively evaluate our method on LFW, CACD-VS and MegaFace datasets. The test results on LFW and CACD-VS datasets show that our method can shrink intra-class variations significantly. The performance of our DBCNN model on MegaFace dataset proves that our model can achieve comparable performance to state-of-the-art methods on face verification with relative small training data and only one single network.     

Provable data possession scheme based on public verification and private verification

More and more users choose to transfer their applications and data into the cloud.Data security is a key issue for cloud storage systems.To ensure the integrity and validity of the data stored in the cloud,provable data possession (PDP) scheme is particularly important.In order to verify whether the cloud storage service provider had stored the data of the user completely,a scheme on the basis of NRPDP (non-repudiable PDP) was improved and extended,and a data retention scheme based on public authentication and private authentication was proposed.The scheme can verify the trustworthiness of the service provider and the user in the cloud storage at the same time,which satisfies the non-repudiation of the verification.The theory proves the non-repudiation of the proposed scheme.The experiment proves that the efficiency of each stage is better than that of the existing single public verification method or private authentication method.     

以DNA为载体的线性时序逻辑模型检测

线性时序逻辑模型检测被广泛应用于处理器设计与验证、网络协议验证、安全协议验证等领域.然而到目前为止,该技术只能在电子计算的平台上实现.为了以脱氧核糖核酸(Deoxyribo Nucleic Acid,DNA)为载体对线性时序逻辑(Linear Temporal Logic,LTL)实施模型检测,给出了使用粘贴自动机实现Until算子模型检测的方法.首先,使用粘贴自动机对Until公式的有穷状态自动机(Finite State Automata,FSA)模型进行编码;然后,将系统模型转换为粘贴自动机的输入字符串;最后,用粘贴自动机验证系统是否满足公式.仿真实验结果证实,新方法可实现对LTL逻辑时序算子的检测.     

FPGA硬核处理器系统加速数字电路功能验证的方法

为了缩短专用集成电路和片上系统的功能验证周期,该文提出FPGA硬核处理器系统加速数字电路功能验证的方法。所提方法综合软件仿真功能验证和现场可编程门阵列原型验证的优点,利用集成在片上系统现场可编程门阵列器件中的硬核处理器系统作为验证激励发生单元和功能验证覆盖率分析单元,解决了验证速度和灵活性不能统一的问题。与软件仿真验证相比,所提方法可以有效缩短数字电路的功能验证时间;在功能验证效率和验证知识产权可重用方面表现优于现有的FPGA原型验证技术。     

测试性技术分析与试验验证刍议

测试性质量特性是武器装备试验考核内容之一,攸关武器装备能否快速地检测故障并隔离故障。文中阐述了装备测试技术设计、测试性试验需求和靶场验证方法,着重研究了测试性定性检查、定量检查的基本准则和实施途径。并指出故障特征的分析提取和样本集的有效生成是测试验证的关键,旨在为提升武器装备测试性试验能力提供参考。     

指针式仪表自动检定系统图像识别技术

将机器视觉技术应用到指针式仪表的检定系统中,可以改变传统的靠人工读数进行检定的方法,提高了指针式仪表检定的效率与精度。指针式仪表的识别与检定,关键就是通过指针示值的动态识别,来实现仪器仪表的读数和自动检定。针对指针式仪表示值的自动判读,提出了一种新的图像识别方法。该方法适合实际应用,检定精度高,准确性好。经实验数据证明,该识别方法简单、稳定且识别误差小。