论文部分内容阅读
分析了使用SystemC的基于事务的验证方法。它应用于一个具体项目的开发,并与传统的验证方法作了对比,证明它在验证效率和验证环境设计效率上均有明显优势。
使用SystemC进行基于事务的验证
【摘 要】
：
分析了使用SystemC的基于事务的验证方法。它应用于一个具体项目的开发,并与传统的验证方法作了对比,证明它在验证效率和验证环境设计效率上均有明显优势。
【机 构】
：
华中科技大学电子与信息工程系
【出 处】
：
计算机应用
【发表日期】
：
2006年03期
其他文献
文本图像在扫描输入时产生的倾斜现象会对后续的页面分割及光学字符识别(OCR)处理产生很大的影响,而传统的标准Hough变换虽然具有对噪声不敏感,不依赖于直线连续性的优点,但由于计算量偏大,速度慢,在实用时有较大的局限性。提出一种基于改进的Hough变换的文本图像倾斜校正方法,通过在变分辨率图像中采用不同的文本方向提取算法,及选择合理投票门限等改进Hough变换的措施,减小了由图像区域及文字笔画粗细
2016年10月份以来,湟源地区某规模化猪场暴发以妊娠母猪流产,产死胎,哺乳仔猪大批死亡为主要特征的疾病,根据流行病学,临床症状,尸体剖检及实验室综合性检查,诊断为猪伪狂犬
舞水河流域深处大西南山区，远离海滨，但却普遍存在着发源于莆田海滨、被沿海人民奉为海神的妈祖信仰。在梳理和考证相关文献的基础上，舞水河流域妈祖信仰至迟是在明末清初由福建
m28℃和37℃条件下分别培养弱毒株鼠疫菌EV76,稀释为50亿/m L、100亿/m L、200亿/m L三个剂量组对成体小白鼠经皮下感染,解剖感染后死亡的小白鼠进行细菌培养同时做反向血凝
食品安全问题的存在是企业个体利益和公共利益冲突、“市场失灵”的表现。中国目前的食品安全问题单纯依靠市场机制短期内难以解决，实行政府规制是必然和必要的选择。河北省政
服务业是指除第一、第二产业以外的其他各业，亦称第三产业。服务业是市场经济的基础产业和经济国际化的先导产业，其发展水平是衡量一个国家或地区经济发展水平和现代化程度的重
本文对建筑物防雷接地在施工中有关的注意事项进行阐述，随着经济的快速发展，人民的生活水平不断提高，工厂的机械化程度也越来越高，大功率的用电设备也越来越多，在这样的前提下，我们
作为新生代华裔美国作家群中的一位杰出代表,伍惠明凭借其处女作《骨》获得了国内外读者及批评界的广泛关注。她的新作《望岩》承接上一部的逃离主题,塑造了许多出逃者。文章