静态验证相关论文
本文以多媒体处理数字芯片W99711为例,详细描述了静态验证在W99711中的应用。
In this paper, multimedia processing chip W9971......
本文对湿法烟气脱硫塔数学模型进行了研究。文章采用模块化思想和分段模型处理方法,建立了石灰石-石膏湿法烟气脱硫(WFGD)系统脱硫......
目的调试T800／H2／C3型层流式隧道机械设备，确认其机械性能。方法在层流式隧道空载、不加热、只开风机条件下检测各工段的风速、压差、......
基于对Java编译器的扩展和静态验证技术提出了VeriJava项目,与相关工作相比,它的优点在于从语言层面扩展了Ja-va,并且全面支持动态......
时间管理是工作流管理软件的重要部分，针对目前工作流系统对时间管理的需求，通过对传统Petri网扩展时间信息来描述时间模型，提出了一......
抗干扰性能是衡量红外空空导弹作战效能高低的重要指标之一,如何有效地进行测试与验证是当前研究的重点。提出了一系列包括静态验......
文章简要描述了静态时序分析的原理,并在一款音频处理SoC芯片的验证过程中,详细介绍了针对时钟定义、多时钟域、端口信号等关键问......
随着计算机技术应用的日益广泛，目前在国内外航天飞行器上采用软件实现的功能越来越多，软件的规模也越来越大。通过对航天计算机系统......
基于0.35μm SiGe CMOS工艺，本文设计了一款通用异步接收／发送器(UART：Universal asynchronous receiver／transmitter)的硬IP(Intellec......
