What the Chinese Government Asserts——Speech by Peng Peiyun, Deputy Head of the Chinese Government Delegation and State Councilor, at the Fourth World Conference on Women

First of all, I would like to express, on behalf of the Chinese Government and people, our warm welcome to those friends who have come to Beijing

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

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

断言技术在SOC验证中的应用

主要阐述了基于断言技术新硬件验证平台用于实时监测设计描述是否违反了设计目标,提出了OVA的特点及应用,并以LCD controller的sharp接口时序为实例讲解了该方法的优点。

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

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

一种基于SAML带自验证的单点登录模型

应用系统的安全问题一直备受重视,身份认证是一种常用的安全实现方式。本文分析了现有的身份认证方式的种种弊端,提出了一种基于SAML技术的带自验证单点登录模型,并对这种模型进行了安全性分析。

Multiple Factorial Analysis of Symbolic Data

This document presents an extension of the multiple factorial analysis to symbolic data and especially to space data. The analysis makes use of the characteristic coding method to obtain active individuals and the reconstitutive coding method for additional individuals in order to conserve the variability of assertion objects. Traditional analysis methods of the main components are applied to coded objects. Certain interpretation aids are presented after the coding process. This method was applied to poverty data.

SystemVerilog断言及其应用

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

断言(assert)在c\c++编程中的使用

该文主要讨论assert宏在c\c++编程中的作用、用法以及使用的原则和注意事项。

如何在先进工艺节点利用Virtuoso Check/Assertion Flow

Virtuoso和MMSIM有效结合,完整的Check/Assertion flow包含:在图形界面设置Check/Assert,通过仿真得到Check/Assert的结果,在图形界面直接显示Check/Assert的结果,对结果进行各种灵活的后处理,并在schematic直接进行反标。该流程可以覆盖电路设计常用check需求,完全不依赖脚本,图形界面让工程师更容易上手,基于瞬态仿真的Dynamic Check相比其他工具更具优势。有效利用Check/Assert flow,可以帮助避免或及早发现设计中的一些常见问题,从而减少设计迭代,该流程在TSMC 16 nm和Intel 14 nm实际项目上得到应用,很大程度地提高了设计效率。

自定义ASSERT宏

提出修改标准的ASSERT宏的方法,对断言进行改进。详细分析在某些场合, 标准断言无法发挥作用的原因,通过分析Windows下的结构化异常处理机制给出修改方案;为了方便进一步修改断言对话框的显示内容和功能,重写调用断言对话框函数。

Intelligent binary schema matching system in heterogeneity environment

For the past three decades, interoperability among heterogeneous systems had been a hard nut to crack due to the schematic and semantic perspectives that exist between objects. These systems were built under different data models. As such, levels of the local schemas are semantically very poor due to the limited expressiveness of traditional data models in which they were designed. Further more, most of the existing schema integration architectural components are inadequately equipped to handle the mapping schemas, especially when the semantics and structural conflicts are involved. This paper introduces an Intelligent Binary Schema Matching system (IBSMS), which exploits the phenomenon of making its components intelligent. That’s equipping its components such as translators and integrators with adequate knowledge about various data models. This allows the components acquire enough intelligence to maneuver or manipulate the correspondence between constructs from different models. In addition, the system has a Binary Matcher, which compares the attribute correspondences of various databases in a pairwise form, in order to establish the equivalences. With the establishment of the mappings, the users shall be able to access them (mappings) for their desired usage.

Design and Implementation of DBC Based on Dynamic AOP

Traditional approach of design by contract, due to mixing the contract code with application code, is difficult for the extensibility and reusability of software system. This paper presents a framework named JADBC for design by contract based on Aspect-Oriented Programming （AOP） to resolve these problems. By providing a new modularized element, aspect, the framework successfully separates the contracts in design by contract, from functional codes. The implementation of this framework is based on dynamic AOP which can have the contract changed at rtmtime, consequently, enhancing program flexibility. JADBC framework modularizes the contracts in a clear-cut fashion that is easier to design, implement, and maintain.

Peer educator training program for enhancing knowledge on issues in the growth and development of adolescents and risk behavior problems in Indonesian context

Objective： This article aimed to evaluate the effects of an educational intervention programme on improving peer educator （PE） knowledge in issues around growth and development and its risk behavior problems of adolescents in Indonesia. Methods： The study was conducted in 31 of PEs to evaluate their knowledge in adolescents. The PEs received health education and were assessed by individual work during the structured three-week programme. Data were collected before and after the training programme as pre- and post-tests. Results： The PE demonstrated significant improvements in their knowledge after attending the three-week structured training programme. The post-test scores had significant effects on the dimensions of PE knowledge scores. The PE become knowledgeable to maintain and monitor adolescents health issues around growth and development and its risk behavior problems of adolescents. Conclusions： The PE become knowledgeable to respond to the adolescent problems and readiness to become PE during puberty.

The Turn of the Tide:Explaining China’s Growing Assertiveness in the South China Sea

Before the late 2000s,China employed a diplomatic“next generation”approach to its territorial disputes in the South China Sea(SCS).Beginning in the late 2000s,however,China has assumed threatening attitudes,and taken a strong stand against other disputants.Why has China recently shown its assertiveness when dealing with the South China Sea issue?This study argues that two factors-China’s growing naval capabilities and the growing presence of China’s strategic rivals around the South China Sea-led China to adopt a more assertive policy regarding the South China Sea issue.

OVA技术在接口时序验证中的应用

本文主要阐述了基于断言技术并结合动态仿真,形式测试,测试激励自动化等方法的新硬件验证平台,着重介绍了O-VA的特点及运用,并以LCD controller的sharp接口为实例讲解了该方法的优点。

Separation of Fault Tolerance and Non-Functional Concerns: Aspect Oriented Patterns and Evaluation

Dependable computer based systems employing fault tolerance and robust software development techniques demand additional error detection and recovery related tasks. This results in tangling of core functionality with these cross cutting non-functional concerns. In this regard current work identifies these dependability related non-functional and cross-cutting concerns and proposes design and implementation solutions in an aspect oriented framework that modularizes and separates them from core functionality. The degree of separation has been quantified using software metrics. A Lego NXT Robot based case study has been completed to evaluate the proposed design framework.

Literature Assertions of John Dryden Reflected in Mac Flecknoe

John Dryden’s poem Mac Flecknoe satirizes his literary enemy Thomas Shadwell by the aid of the image of Flecknoewhile it reveals some of his literature assertions.This paper tries to expound them from the following three perspectives:the attitudes towards Ben Johnson,the proposals for drama language and the selection,and the attitudes towards French classicism forthe purpose of a further understanding about John Dryden.

显示栈跟踪的断言

本文详细分析了Win32下栈的结构,使用汇编代码演示了如何进行栈跟踪,通过MAP文件来确定和显示函数名称,并在最后提出了其他的实现方法,以供参考。

Uuless等于if not吗?

通常说来,在真实条件句中,unless可与if not换用,意思为“除非”,“如果不”不同点在于:unless是书面语,而if not是口语。例如:

蕴涵、推导、断定和真命题

在演绎逻辑中常常碰到蕴涵(implication)、推导(derivation or entailment)和断定(assertion)这些词。弄清这三者的性质和关连,对演绎逻辑基本原理的理解是很重要的。有些逻辑著作没有明确区分蕴涵和推导,或者把二者混为一谈;另一些逻辑著作则过份强调蕴涵和推导的区别而没有指出二者的关连。至于断定在其间所起的作用,就更少论及了。本文并非全面论述这三个逻辑术语的含义,而只是针对上述容易忽略的情况,对这三个术语的逻辑的性质、区别和关连提出一些分析,在分析过程中又不免涉及真命题的含义问题。