Equivalence checking for digital circuits

Integrated circuit technology has made it possible to produce chips with several millions of transistors. However, the increasingly more complex digital circuit designs and limited time constraints only add to the pressure during the implementation process. Traditional functional verification based on simulation has, during the design creation phase, reached its limits. Thus alternatives to simulation are being used. The most important alternative is equivalence checking, known also as formal verification. With equivalence checking, the highly automated analysis of the different levels of digital circuit design is performed. A comprehensive formal verification solution at every stage in the design-flow is the main approach for today's digital circuit design. Equivalence checking uses mathematical proof algorithms, then verifies every node in the design. Thus, equivalence checking guarantees 100% verification coverage without the need for test vectors. This is the big advantage over the traditional practice of functional verification by simulation that is directed by a set of test vectors.     

电能表全自动柔性检定系统关键技术研究

针对供电企业电能表检定过程中存在的系列问题,结合互联网+计量、物联网、大数据等技术,提出了电能表全自动柔性检定系统的设计方案,对系统的架构、各工作单元的功能、系统工作流程等进行了深入研究和设计。在研究U型检定仓的基础上,设计了并行检定仓。针对电能表从纸箱到周转箱转运过程中的技术瓶颈,设计了柔性机械手及配套的自动翻转装置,实现了电能表转运流程自动化。通过将全自动柔性检定系统与人工检定台及U型自动化流水线进行性能指标分析比对,结果表明采用本设计方案进行大规模的表计检测,可以显著提高检定效率,降低劳动成本,该设计方案具有很强的实用价值和推广价值。     

基于VHDL语言的可重用焦面FPGA软件验证平台设计

FPGA凭借其设计灵活,资源丰富的特点,在航天遥感相机中的应用越来越广泛.而随着FPGA的规模越来越大,所实现的功能越来越复杂,验证工作已经占到了整个FPGA设计工作量的75％.为了提高验证效率,本文提出了一种基于VHDL语言的可重用CCD焦面FPGA软件验证平台设计方法,该方法通过模块式的分层设计,实现了FPGA验证模块的重用,运用Testio读取文本技术,使测试用例的读入更加灵活,对输出结果进行自动化比对.该方法已在多个项目中使用,结果表明该方法提高了验证效率.     

基于参考模型的ISO14443通信模块验证方法

对符合ISO/IEC14443协议的射频通信接口模块RTL（register transfer level）设计提出一种更高效的验证方法,即在传统的VMM（verification methodology manual for SystemVerilog）验证平台中加入参考模型（reference module,RM）的参考模型验证方法。介绍了参考模型的设计方法并给出了部分伪代码,将设计好的参考模型嵌入到传统验证环境中进行前端RTL仿真,仿真结果表明加入参考模型的验证方法能提高验证的覆盖率。     

数字电路IP软核任务流方法验证

提出了基于任务流的数字电路IP软核验证方法。根据数字电路IP软核的设计要求,对原有的IP核进行研究划分,将1个复杂的验证任务按照IP核所实现的功能分解为不同的子任务。再把不同的子任务进行验证,并连接起来组成1个具体的软核工作目标,形成了任务流。选择了1个复杂的IP软核中一部分进行了验证,通过分析其功能结构,划分了不同的任务,并建立了任务执行的综合模型,最后从Modelsim仿真工具下的验证结果中可以看出,基于任务流的IP核验证方法对IP模块的划分准确,避免了功能的遗漏,可以使IP核的所有功能得以验证。     

空空冷却增安型无刷励磁同步电动机的技术与探讨

空空冷却同步电动机因为在现场维护、安装比较方便,得到了用户的广泛使用,文章主要介绍了其设计思路和设计方案,经验证,符合相关标准要求,满足了用户需求。     

单相电能表自动检定库线系统建设与应用

通过建设单相电能表自动检定库线系统,提高单相电能表检定工作效率。经过功能设计、安装调试、接口完善及测试、功能验证等阶段实施,南宁供电局库线系统正式建成投产。3个多月时间的应用验证了该系统可大大减少检定工作人工数,降低劳动强度,提高了检定工作效率,真正实现为计量检定班组＂规范、减负、高效＂的目的。南宁供电局单相电能表自动检定库线系统设计科学合理,实用性强,核心技术环节有创新,提高了库线系统对接的可靠性和稳定性,具有较大的推广意义。     

直流电源系统保护元件级差配合校核软件

针对电力直流系统设计过程中保护元件如何正确选型及上下级之间选择性保护的配合校验问题,开发了一种直流电源系统保护元件级差配合校核软件,实现了对变电站/电厂直流系统线路配置设计、保护元件选型、灵敏度和选择性校验等功能。该软件不仅能够对已有的直流电源系统进行分析,同时也能够对新站的建设起到辅助设计作用,是直流系统设计人员得力的辅助设计工具。     

VLIW处理器系统级验证平台的设计与实现

本文提出了一种新的VLIW处理器验证平台的实现方法。采用寄存器跟踪技术,建立了一个与RTL模型一致的抽象功能验证模型,基于VXI总线测试技术,实现了高度集成化的系统芯片验证平台,弥补了单一验证技术的不足,设计期功能仿真满足测试覆盖率的要求,并与板级功能测试仿真保持一致,充分证明了方法的有效性。     

防爆发电机设计思路

文章简要分析了煤矿、石油等场所用防爆发电机的设计要求及需要满足的条件,在此基础上设计出了总体方案,经过验证,效果良好.     

Revit MEP软件在地下车库管线综合设计中的应用

地下车库工程中各专业设备管线系统繁多、布局复杂.基于Revit MEP软件,运用建筑信息模型技术进行地下车库管线综合的设计校核、碰撞检查、工程量统计等.在图审阶段避免了二维图纸中的常见错误,实现了图纸的深度优化,使设计、施工、监理、评价、审核、验收等过程更易于沟通及操作,可为相关工程应用提供参考.     

能力验证比对用高稳定性的LED球泡灯的设计和制作

本文介绍了一种能力验证比对用高稳定性的LED球泡灯的研制过程,包括主要元器件参数的确定和老化筛选过程以及整灯参数的确定和按照CNAS—GL03：2006能力验证样品均匀性和稳定性评价指南进行的老化、测量筛选、对比计算过程。文章通过实例证明了设计和制造控制均好的LED球泡灯,其稳定性明显优于自镇流荧光灯,并且能完全达到的能力验证样品稳定性评价指南的要求。     

针对JTAG调试的RTL验证环境设计原理

以ARM7TDMI为例提出了一种在RTL仿真时即可进行JTAG调试的方法。利用该方法在RTL仿真时即可进行ARM的JTAG调试。首先详细分析了JTAG的边界扫描标准及工作原理,而后以ARM7TDMI为例分析了ARM的扫描链的设计原理及控制方法,从中给出了如何利用JTAG控制ARM7TDMI扫描链来完成ARM的行为控制。该方法还可以通过ARM的控制进而完成对SoC中其他模块的验证。通过该原理建立JTAG接口软仿真验证平台,可以在RTL仿真时验证ARM的JTAG调试功能以及SoC的初步测试。     

雷达可靠性设计与试验验证

随着科学技术的发展,系统可靠性越来越受到重视,雷达作为一个大规模的电子产品,性能日益提高、功能日益全面,设备集成度越来越高,结构越来越复杂,导致影响雷达可靠性的因素越来越多。从优选高可靠器材、降额设计、简化设计、冗余设计等提高雷达系统可靠性的设计措施出发,并在此基础上分析了可靠性设计的步骤以及试验验证计算,对提高雷达系统可靠性设计水平、合理安排验证可靠性达到指标的试验项目都具有一定的参考意义,充分保证了雷达的设计性能的发挥,降低雷达的使用成本。     

基于断言的SoC设计验证方法

本文针对SoC设计方法学中如何有效、充分的功能验证问题,首先介绍了基于断言的验证方法学的定义及其所带来的好处,然后以一种断言验证语言--OVA作为具体的应用实例,通过仿真说明了断言验证是SoC设计功能验证的一种有效的方法,能够有效地提高验证效率.     

继电线路的自动化设计系统

本文介绍了一种全新的继电线路自动化设计系统。继电控制系统是应用最为广泛的控制系统这一,继电线路是继电控制系统的基础,是设计的主要任务,继电线路的自动化设计成为一个迫切需要解决的实际问题。本文从设计的并行化,基于描述语言,设计的智能化,功能验证,基于知识库五个方面对自动化设计系统进行了规划,并给出了系统的硬件和软件结构。     

A technology and software toolset for design and verification of real-time control algorithms

This paper presents a methodology and a specially developed software toolset for design and verification of real-time control algorithms and programs. The real-time control algorithm must timely execute required actions in accordance with the current situation reflected by the parameters checked. This kind of algorithm is an example of a mission-critical application. Unfortunately, these algorithms suffer from mistakes and errors resulting in disasters, large material losses, etc. That is why the process of design, development, and verification of real-time control algorithms is rather time- and labor-consuming. Verification usually involves many-staged debugging on special testbeds. Some errors in control algorithms are due to misunderstandings between the participants of the control-system development process: specialists in particular subsystems, system engineers, and programmers. The proposed methodology makes it possible to exclude programmers from the process of control-software development, thereby reducing the number of errors and the labor cost. The main idea is to design and use a special visual notation intuitively understandable for system engineers. This feature should reduce the number of errors in control algorithms due to eliminating the “broken phone effect” when the programmer can misunderstand a program specification and implement it in the wrong software. The toolset consists of special software modules, including modules for visualization, construction, and verification of onboard real-time control algorithms. All modules are executed from an integrated development environment.     

The subcircuit extraction problem

The steady down scaling of CMOS device dimensions has been the main stimulus to the growth of microelectronics and computer aided very large scale integration (VLSI) design. But the more an integrated circuit (IC) is scaled, the higher its packing density becomes. The increasing size of chips, measured in either area or number of transistors, and the waste of the large capital investment involved in fabricating and testing circuits that do not work, make layout analysis and verification an important part of physical design automation. The most efficient way to overcome these difficulties is to identify a related collection of interconnected primitive devices in a circuit as a gate-level component. This is usually called the subcircuit extraction problem. The paper presents some background on subcircuit extraction. Subcircuit extraction is becoming a more critical issue with the increasing design sizes of very large scale integrated circuits (VLSICs). In the future, one of the most important tasks is to convert current stand-alone subcircuit extraction algorithms into economic benefits. We should make every effort to find those companies who would like to incorporate these algorithms into their VLSI layout verification software to speed up the process.     

建筑物防雷工程施工图设计审核思路和要点

新建建筑物的防雷设计日益复杂,审核工作也面临着新的挑战。分别对施工图中的总平图、设计依据、屋面平面图防雷、基础接地平面图、配电系统图等加以分析。针对其中的防雷设计问题。提出了系统审核时的思路、方法与注意要点。以对类似工程设计审核提供思路。