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

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

试论我国驰名商标的法律保护

驰名商标法律保护制度作为一项重要的知识产权制度,已经经历了一个发展、成熟、完善的阶段。本文着重论述我国法律对驰名商标的认定、特殊保护措施,并指出我国驰名商标法律保护中的不足,以期完善我国驰名商标的立法。     

硬件电路的属性说明语言

传统的对系统功能规范说明都是采用自然语言,这种说明形式一般都是比较含糊的,并且由于缺乏标准的机器可执行代码而无法进行验证.本文介绍的属性说明语言（PSL）是一种易于读写、语法精简、语义严格清晰、表达能力强大、机器可执行的标准硬件设计属性说明语言.并对他在Modelsim SE 6.0仿真工具中的使用做了具体的介绍.     

Test Generation Based on High-Level Assertion Specification for PowerPCTM Microprocessor Embedded Arrays

Test and validation of embedded array blocks remains a major challenge in today's microprocessor design environment. The difficulty comes from twofold, the sizes of the arrays and the complexity of their timing and control. This paper describes a novel test generation methodology for test and validation of microprocessor embedded arrays. Unlike traditional ATPG methods, our test generation method is based upon the high-level assertion specification which is originally used for the purpose of formal verification. The superiority of these assertion tests over the traditional ATPG tests will be discussed and shown through various experiments on recent PowerPC microprocessor designs.     

基于断言的程序正确性检测工具

文章提出了程序断言检测工具设计方案和基于断言的程序正确性检测步骤.该工具的基本原理是Floyd提出的"用断言式方法"证明程序的正确性的方法,通过一个断言发现工兵从程序中发现该程序断言,然后与程序要求满足的断言条件比较,判明其正确性.该工具在复杂条件下对程序正确性判断和大量重复程序检测上能发挥重要的作用.     

基于SAML技术的单点登录系统

文中介绍了两种常见的单点登录技术，重点介绍了SAML技术及其实现单点登录的两种方式。基于SAML技术设计了一套单点登录系统，分别在Java和Microsoft、NET环境下实现了异构Web应用系统的单点登录。     

自定义SAML身份声明提供程序的研究与实现

目前,分布式环境中的联合身份验证越来越突显其重要性。安全声明标记语言(SAML)为这种新的认证方式提供了一个标准规范,它同时是一个基于单点登录(SSO,Single Sign-On)标准的XML框架,允许不同的实体间交换验证、授权和其他信息。文章详细介绍了制作自定义SAML身份声明提供程序的实现过程。一旦SAML令牌被信任和验证,持有者就可以登录所有的应用系统,而不用重新进行身份验证。     

基于断言的硬件功能验证技术

针对排除芯片设计流程中RTL级的错误时,需要花费大量时间看仿真波形与日志文件的问题,本文介绍了基于断言的硬件功能验证技术的基础,以及利用断言技术在黑盒验证中测试一设备输出信号时的应用,总结了断言验证的优点,以及断言与半形式化验证结合的特点,断言技术与动态仿真、形式验证、激励自动生成等技术结合,能更快更有效的发现硬件设计过程中RTL级的错误,成为验证方法学的焦点.     

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

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