论文部分内容阅读
给出了一组从Verilog HDL到可符号执行代码的转换规则，并且提出了ProcessQueue机制。通过运用符号模拟的方法和二叉决策图技术，给出了一个RTL级的符号模拟系统的实现方法。本系统能够有效地对RTL级Verilog算法进行符号模拟，并且支持带有时间延迟的If结构的符号模拟。
RTL级符号模拟系统
【摘 要】
：
给出了一组从Verilog HDL到可符号执行代码的转换规则，并且提出了ProcessQueue机制。通过运用符号模拟的方法和二叉决策图技术，给出了一个RTL级的符号模拟系统的实现方法。本系
【机 构】
：
华东理工大学计算机科学与工程系
【出 处】
：
华东理工大学学报：自然科学版
【发表日期】
：
2004年6期
其他文献
根据微动滑移振幅具有小位移的特点，设计制作了一种弓形传感装置，该装置能把小幅位移信号转换为电信号，并通过示波器实时显示出来，用这种测试装置来测量滑移式微动振幅具有测试方
用生物质裂解残炭制备活性炭,采用了水蒸气活化的方法,应用正交实验法对诸多影响因子进行考察,在筛选关键因子并优化工艺条件(活化温度770～780.C、活化时间4 h)后,可以得到碘
研究了流程工业中的Flow shop调度问题，针对免疫算法的随机性和不确定性，结合分枝定界方法的特点，提出了一种基于免疫算法和分枝定界方法的混合调度算法，仿真结果表明该算法不仅
采用内循环无梯度反应器,对FBD变换催化剂进行了宏观动力学研究.实验采用φ9.1 mm×7.7 mm圆柱状工业粒度催化剂,反应温度300～460°C,压力0.8～2.9 MPa.建立了幂函数型
在外加固定磁场作用下，使用玻璃弹簧负载型纳米TiO2作为光催化剂，对水中微量氯苯(＜10mg／L)进行光催化降解。结果表明，氯苯磁化—TiO2光催化耦合降解过程符合一级反应动力学。磁场
G是一个无K5-图子式且边数为m的简单图，ρ(G)是图G的谱半径。利用图的圆色数，得出一个关于ρ(G)的上界：ρ(G)≤（3m/2)的平方根。
测定了Gemini表面活性剂在pH值为10．86，NaBr浓度为1．0mol／L的溶液气／液界面上的表面压一分子面积的等温线。用自制的Brewster角显微镜(BAM)观察了由Gemini表面活性剂在界面上所形
简略回顾了移动通讯的发展过程以及相应的安全机制.介绍了第三代移动通讯系统中所采用的认证与密钥协商协议,并利用AUTLOG信仰逻辑给出了形式化验证过程.在假定HE和SN之间的
在小波理论的基础上,给出了Haar小波基所对应的乘积运算矩阵fm×m、元素乘积矩阵Hm×m、乘积积分运算矩阵W、微分运算矩阵D等,并给出了Haar小波逼近运算性质.将这些