论文部分内容阅读
提出一种Verilog程序切片算法 ,给出了该算法的正确性证明的理论框架 ;并利用提出的Verilog程序切片算法对VerilogRTL级设计进行化简 ,实现模拟矢量自动生成状态化简目的 实验结果表明 :该算法对状态化简效果非常明显 ,可以有效地解决状态空间爆炸问题
RTL级模拟矢量自动生成设计化简方法研究
【摘 要】
：
提出一种Verilog程序切片算法 ,给出了该算法的正确性证明的理论框架 ;并利用提出的Verilog程序切片算法对VerilogRTL级设计进行化简 ,实现模拟矢量自动生成状态化简目的 实验结果表明 :该算法对状态化简效果非常明显 ,可以有效地解决状态空间爆炸问题
【机 构】
：
国防科学技术大学计算机科学与技术学院
【出 处】
：
计算机辅助设计与图形学学报
【发表日期】
：
2004年05期
其他文献
华东六省一市商业经济学会第22次协作会,于5月11日——13日在上海举行。来自江苏、浙江、安徽、福建、山东、江西、上海商经学会的代表共27人出席了会议,各地向会议提供的论
利用CATIA软件的互动性实现新型变刚度隔振器的计算机辅助 3D结构设计 ,并对零部件的加工过程和隔振器的运动过程进行了动态仿真 仿真效果表明 :此隔振器的设计是令人满意的 ,提高了隔振器的精度 ,降低了成本 ,缩短了设计与试制的周期
简述文东油田气举系统工艺状况，分析认为遇有供气系统突发事件时，采用手动关井存在执行速度慢，且无法避免气举系统压力波动的问题；介绍了气举采油系统注气外输压力调节技术的组成
分布式电池储能系统(BESS)的协调控制是储能应用中的关键问题。针对聚合多样性BESS参与自动发电控制的应用场景,文中首先提出了基于BESS集群荷电状态(SOC)的集群能量平衡反馈
针对倾斜摄影应用在大比例尺地形图、地籍测量中存在的粗差多、误差分布不均匀等问题,本文以生成高精度的二维矢量作为切入点,对倾斜摄影的相关原理深入研究,并以此作为理论
城市肌理是对城市空间形态和特征的描述，表现在可以目睹触摸的方面，如街坊、道路、树木、花草，以及房舍所展示的色彩、高度、立面、体量，建筑的尺度比例等；蕴含在城市无形的又可以
报纸