系统芯片的混合验证方法

阐述系统芯片 (SOC)的设计验证特点。综述目前流行的验证方法 ,指出所存在的问题。论述了形式化验证方法和半形式化验证方法的发展状况及新的发展方向和趋势     

Verification of instruction set specification for an ASIP

In order to gain the great performance of ASIP, this paper discusses different aspects of an ASIP instruction set specification like syntax, encoding, constraints as welt as behaviors, and introduces our ADL model based methodology to check them. The automatic generation of test cases based on our straight-forward instruction representation is shown, and the efficient generation of them with good coverage is shown as well. The verification of the constraint checker, a very important tool for programmer, is performed. Results show that the toolkit can find some errors in previous delivery tools, and the introduced methodology verifies the feasibility of our instruction set specification.     

一种ARM指令集仿真器的实现与优化

通过对比不同仿真策略的指令集仿真器的设计,为便于调试,实现了一种基于解释型策略的指令仿真系统,并对传统的解释策略做了部分优化,使得在功能正确的前提下,速度比传统方式提高了近10倍,有效提高了嵌入式系统的软件仿真开发的速度.     

太阳辐射计检定用多维工作台的研制

针对太阳辐射计量仪表进行检定的需要,提出了一种具有四个自由度功能动作的多维检定工作台。工作台在与太阳模拟器联合,可同时对两块待栓仪表的参数误差进行检定。在对太阳高度角和方位角的研究基础上,阐述了工作台旋转机构、升降机构、俯仰机构和转臂机构的设计过程,并对工作台的控制系统进行了说明。测试结果表明多维工作台各级转动误差小于0．05°,由倾角仪和步进电机组成的台面水平控制误差在±10’以内,满足设计指标要求。     

Development and Verification of the Equilibrium Strategy for Batteries in Electric Vehicles

The inconsistency of the cells in a battery pack can affect its lifespan,safety and reliability in the electric vehicles.The balanced system is an effective technique to reduce its inconsistency and improve the operating performance.A hybrid equilibrium strategy based on decision combing battery state-of-charge (SOC) and voltage has been proposed.The battery SOC is estimated through an improved least squares method.An equalization hardware in loop (HIL) platform has been constructed.Based on this HIL platform,equilibrium strategy has been verified under the constant-current-constant-voltage (CCCV) and dynamic-stress-test (DST) conditions.Experimental results indicate that the proposed hybrid equalization strategy can achieve good balance effect and avoid the overcharge and over-discharge of the battery pack at the same time.