一种基于SystemC属性检查的验证方法

当今复杂电子系统倾向于在更高抽象级进行建模,一种基于C/C++的硬件描述语言,SystemC语言变得非常重要.在此探讨了一种基于SystemC属性检查的仿真验证方法.针对电路系统的线性时态逻辑属性,定义了属性表达的基本形式,并用SystemC代码描述系统属性,在仿真中检查系统属性从而达到验证目的.首先介绍SystemC语言及一种基于SystemC的属性检查方法,讨论了现有方法的不足之处,并给出了两种改进方案,最后通过实验证实该方案的有效性,同时实验表明该改进方案在仿真性能上有很大的提高.     

A Symmetrical Condensed Node for the TLM Method

A new symmetrical condensed node is developed for the analysis of electromagnetic waves by the transmission-line modeling (TLM) method of numerical analysis.The new node has the advantage of condensing the field components to one point in space at the node and removes the disadvantage of asymmetry in existing condensed nodes.     

SystemC在Turbo码实现和验证中的应用

在简述System C的设计方法和流程的基础上,针对SystemC在硬件芯片系统级设计和寄存器传输级设计的特点,以Turbo编码器为对象和开发目的,研究了SystemC基于寄存器传输级设计的可实现性,利用SystemC的模块化功能,通过分析Turbo编码器的结构与信号流图,进行建模仿真直到最后完成划分硬件模块与编程并在FPGA完成其实现与验证,充分证明了SystemC完全适用于基于寄存器传输级设计的IC应用.此外,此设计将系统级设计与寄存器传输级设计的工作合二为一,大大节省了开发的流程时间.     

一种标准单元库的自动仿真验证方法

提出了一种针对标准单元库中单元逻辑功能进行自动仿真验证的方法,验证了55 nm标准单元库中单元逻辑功能的正确性。该方法能自动提取设计文档中的单元逻辑,根据提取结果中输入端的数量自动生成测试向量,并以此测试向量生成参考逻辑值,整个过程只需0.708 μs。采用仿真工具对标准单元库文件进行仿真,将得到的仿真值自动与参考值对比,验证了库单元逻辑的正确性,提高了标准单元库功能验证的效率。     

一种基于SystemC的D触发器验证平台研究

当今复杂电子系统更倾向于在更高抽象级进行建模一种基于C/C＋＋的硬件描述语言,SystemC语言变得非常重要,在此介绍了SystemC语言的验证库,以及验证库的顶层设计,接口设计。文章在最后的阶段对D触发器进行了基于SystemC的验证平台搭建,进而展现了SystemC在验证上的优势。     

基于SystemC的AMBA总线模型的构建与验证

针对SoC设计中的时间瓶颈，利用SystemC设计语言根据AMBA规范建立了事务级总线模型，并将MP3解码器和控制器作为主设备接入该模型，验证本模型的可用性与有效性，试验结果表明该模型可以有效地在系统层次对SoC芯片的集成进行设计验证，加快SoC系统的设计速度，且能做到时钟精确。     

面向语义构件检索的交互式查询方案生成

 基于语义的构件检索过程中存在的一个突出问题是用户对问题域的理解以及所熟悉的自然语言表达方式与构件的规范语义描述之间存在差异,从而导致用户很难准确刻画自己的检索请求.针对这一问题,本文提出了一种交互式的查询方案生成方法.该方法通过概念映射将用户的自然语言查询转换为本体描述,从而确定用户的查询方案.其中,概念映射需要通过与用户的交互式会话过程完成.该方法可以充分挖掘潜在的用户查询语义,对于提高构件检索的查准率和查全率、减少查询努力具有十分重要的作用.     

A 3-D Miniaturization Method for Low-Impedance Designs

Microstrip interconnects with a V conductor are designed, fabricated, and measured to provide a compact solution for designs requiring low characteristic impedance lines. S-parameter curves are shown up to 35 GHz for 0.5-cm-long lines. The 308-mum-deep V structure produces a 33.8-Omega line with strong standing waves and reflections under 5 dB. To further reduce the impedance, a partial shield is added that results in 6.7 times reduction of signal line width, near elimination of open-end effect, and excellent correlation with a standard 15-Omega microstrip up to 25 GHz. A filter demonstration shows near ideal behavior in the 3 dB response and low return loss when compared to a similar conventional design.     

SystemC:一种新的系统建模语言

文章介绍了一种国外正在研究的新的系统建模语言SystemC，因其较好地结合了面向对象的设计方法和硬件建模的特点，从而有望解决系统建模和HW／SW协同设计中等一系列问题。     

基于SystemC的系统级芯片设计方法研究

在分析当前系统级芯片设计方法的基础上，提出了目前新型系统级IC设计语言SystemC及其平台的设计思想及设计流程，并以具体项目RS编码器来实现和验证。实验结果表明，SystemC是一种很好的软硬件联合设计语言，它不仅可以帮助设计人员完成一个复杂的系统设计，还可以避免传统设计中的各种弊端，并提高设计效率。当然，如何更好地利用SystemC设计也将是EDA领域当前探索的一个重要方向。     

Method for modelling free space boundaries in TLM situations

Introduces an absorbing boundary condition for use with TLM simulations of open region field problems. The method is based on the wave impedance of a plane wave crossing an observation plane at an arbitrary angle, and is coupled to an algorithm to predict this angle. The impedance applied to the mesh boundary varies with the changing field distribution and is therefore referred to as a variable impedance boundary condition. Initial results indicate the proposed condition is an accurate method of modelling free space boundaries.<>     

一种验证非否认协议的新方法

为了描述非否认协议中的各种不确定因素,在Kailar逻辑系统中引入了表示缺省信息的否定词,以及相应的推理机制。提出了安全协议验证的新方法,主要特点是：可以直接对协议的动态运行过程进行推理;推理具有非单调性;避免过多的理想化假设;可以分析含有多个子协议的非否认协议,以及协议的可追究性和公平性。文中以一种基于离线TTP方式的非否认协议为例,验证了该协议在运行一次时具有可追究性,但多次运行时存在攻击。     

TLM方法在电磁散射问题应用中的一种新的平面波照射模型

本文就TLM方法在电磁散射问题中的应用，给出了一种具有辅助平面波源的新的计算模型，该模型具有简化计算过程并且占用较少内存的优点。     

A Framework for Automated Detection of Power-related Software Errors in Industrial Verification Processes

The complexity of cell phones is continually increasing, with regards to both hardware and software parts. As many complex devices, their components are usually designed and verified separately by specialized teams of engineers and programmers. However, even if each isolated part is working flawlessly, it often happens that bugs in one software application arise due to the interaction with other modules. Those software misbehaviors become particularly critical when they affect the residual battery life, causing power dissipation. An automatic approach to detect power-affecting software defects is proposed. The approach is intended to be part of a qualifying verification plan and complete human expertise. Motorola, always at the forefront of researching innovations in the product development chain, experimented the approach on a mobile phone prototype during a partnership with Politecnico di Torino. Software errors unrevealed by all human-designed tests have been detected by the proposed framework, two out of three critical from the power consumption point of view, thus enabling Motorola to further improve its verification plans. Details of the tests and experimental results are presented.     

换能器阵列的传输线矩阵方法分析

介绍将传输线矩阵方法应用于声光换能器阵列的辐射特性分析，给出了与解析方法一致的数值结果。表明传输线矩阵方法可以用于对声学器件的工作过程进行时域数值模拟。     

Verification of Complex Analog and RF IC Designs

Meeting performance specifications in the design of analog and RF (A/RF) blocks and integrated circuits (IC) continues to require a high degree of skill, creativity, and expertise. However, today's A/RF designers are increasingly faced with a new challenge. Functional complexity in terms modes of operation, extensive digital calibration, and architectural algorithms is now overwhelming traditional A/RF design methodologies. Functionally verifying A/RF designs is a daunting task requiring a rigorous methodology. As occurred in digital design, analog verification is becoming a separate and critical task. This paper describes the verification issues faced by the A/RF designer and presents a verification methodology to address these challenges. It presents a systematic approach to A/RF verification, the concept of an analog verification engineer, how to establish the methodology, and concludes with an example     

亚波长结构的抗反射特性三维TLM方法模拟

传输线矩阵(Transmission line matrix,以下简称TLM)方法,根据场方程和传输线方程之间的相似性,用等效分布传输线网络模拟给定结构,在时间和空间上进行离散化,是一种强有力的三维时域电磁场数值仿真算法.简要介绍三维扩展型结点TLM方法的模型、激励源和边界条件,并使用该方法对亚波长结构的抗反射特性进行模拟研究,为进一步深入探讨该结构的抗反射特性、进行优化设计提供依据.     

一种新颖的集成电路版图验证方法

版图验证是集成电路设计的瓶颈之一。文章全面系统地阐述了超大规模集成电路LVS版图验证的原理、方法和基本的流程，着重介绍了基于Dracula开发的CMOS、Bipolar和ABCD(Advanced Bipolar CMOS DMOS)工艺的LVS命令文件，在解决以上工艺的电路LVS的过程中，取得了令人满意的效果。