基于System Verilog语言的设计验证技术

随着集成电路设计规模的不断增大,设计验证工作越来越困难。介绍IEEE新标准SystemVerilog语言中用于验证的随机约束、功能覆盖率、断言技术和利用面向对象思想构建验证平台的一般方法。这些方法能极大提高芯片设计的效率,降低芯片设计的风险,减轻测试工程师的负担。     

基于等级的电子政务云跨域访问控制技术

针对电子政务云跨域访问中用户资源共享访问控制细粒度不足的安全问题,提出一种基于用户等级的跨域访问控制方案。该方案采用了云计算典型访问控制机制——身份和访问控制管理(IAM),实现了基于用户等级的断言属性认证,消除了用户在资源共享中由于异构环境带来的阻碍,提供一种细粒度的跨域访问控制机制。基于Shibboleth和OpenStack的keystone安全组件,搭建了云计算跨域访问系统,通过测试对比用户的域外和域内token,证明了方案的可行性。     

春燕来去匆匆半导体设备业脚步放缓

半导体的景气自去年底回升之后,多家半导体制造厂纷纷调高资本支出,使半导体设备接单转强.好景延续不到一年,多家市调机构纷纷发出警讯,断言半导体景气因库存疑虑未消,增长后继无力.然而半导体设备龙头应用材料却于量近发布消息,坚信这波繁荣可维持到2005年.半导体的春燕到底会不会留下来,成为近来备受关注的话题.     

面向硬件仿真的SystemVerilog断言检查电路生成研究

提出了一种针对SystemVerilog断言的断言检查电路综合方法。综合而成的断言检查电路可以被用于硬件仿真中。方法基于移位寄存器链保存电路信号的历史数据,并利用断言电路间寄存器共用减少硬件资源使用。实验结果表明,与已有的断言综合方法比较,本方法具有有效性。     

SystemVerilog断言及其应用

在介绍systemVerilog断言的概念、使用断言的好处、断言的分类、断言的组成以及断言如何被插入到被测设计(DUT)的基础上,本文详细地介绍了如何使用不同的断言语句对信号之间的复杂时序关系进行严格的检查,并针对每个例子展示了在ModelSim 6.1b仿真环境中所显示的波形.本文旨在帮助读者理解如何使用断言对设计中信号间复杂时序关系进行验证的方法,并由此介绍一些基本的SystemVerilog断言、操作符、代码段和断言验证方法学.     

基于演进思想的程序断言动态发现模型研究

程序断言动态侦测技术具有很广的应用范围,如程序测试与排错、程序演进与重构、构件替换与程序容错等领域.相比于传统的程序断言侦测技术,文中介绍了一条简洁的异常排除与接纳并降低时间空间代价的实践思想,它来源于生物演进和计算机免疫技术的启发,为基于这一演进思想的程序断言侦测建立起一个演进模型.     

基于PSL断言的宽带电路交换芯片验证

利用基于PSL断言的验证方法验证了宽带电路交换芯片XYDXC160的设计。该芯片单片支持64路2.488Gb/s STM-16帧结构的SDH码流的输入/输出，实现1 024×1 024 STM-1流的无阻塞电路交换。断言技术的引入，降低了验证工作的复杂度，提高了验证的速度和效率，确保了验证工作的质量。     

针对多媒体应用的基于断言的低功耗设计流程——一项成功的设计案例

随着DVB—T在欧洲的普遍采用，地面模拟电视广播的关闭以及明年ATSC广播在美国的试验，PCTV视频采集卡也处于重要的转折点。PCTV视频采集和处理正成为PC多媒体应用的不可或缺的部分。低功耗设计对于移动电脑和基于USB的PCTV采集设备，以及长效电池和严格的USB功耗要求来说，非常关键。基于PC多媒体应用，这篇论文描述了一种独特的基于断言的低功耗设计方法。     

基于ARINC629的层次化验证平台设计

结合约束随机、覆盖率驱动及断言等多种验证方法,对层次化验证平台的搭建方法进行了研究;以对ARINC629航空数据总线接口控制器的验证过程为例,介绍了基于System Verilog的层次化验证平台的搭建过程及其使用方法;根据验证后覆盖率报告,证明各项功能均已达到其设计需求,且实现率为100%;验证结果表明该平台和传统验证方法相比极大地提高了验证效率,平台的搭建方法和结构具有一定的通用性,更改其数据生成模块即可用于其他类似设计的验证。     

Liberty的单一登录多方认证机制及其安全性分析

单一数字身份认证将为网上消费者提供很大便利的同时也为商家提供巨大的商机。目前业界出现了两种标准，微软的Passport和受Sun支持的Liberty。文章首先介绍了Liberty的工作机制，然后简要分析其安全性。