论文部分内容阅读
介绍了对事务级验证方法提出了一种基于事务的IP功能验证环境，加入断言技术，并应用于实际项目。实验结果表明，该验证平台具有较高的自动化程度和较快的错误定位机制，可以极大地提高验证效率。
一种基于事务的IP功能验证环境
【摘 要】
：
介绍了对事务级验证方法提出了一种基于事务的IP功能验证环境，加入断言技术，并应用于实际项目。实验结果表明，该验证平台具有较高的自动化程度和较快的错误定位机制，可以极大地提
【机 构】
：
清华大学微电子学研究所,清华大学信息技术研究院
【出 处】
：
微电子学与计算机
【发表日期】
：
2007年7期
其他文献
本文探讨了如何采用任务驱动和分模块相结合的方法进行《公安计算机应用基础》的教学，提高学生主动学习意识以及灵活运用知识的能力。
肿瘤抗原CTL表位能诱导特异性的细胞毒性T淋巴细胞（cytotoxic T lymphocyte,CTL）杀伤肿瘤细胞,但是单一表位存在分子量小、免疫原性低等缺点。表位修饰可增加其分子量,提升其免
儒家互惠原则重视人类以相互承认为前提的仁爱情感的价值，注重当事人的长远利益以及双方个体利益的均衡，蕴涵着一种较特殊的利益合作机制，它是中国传统调解模式的主轴和中心，在构
科学侦查的主要表现形式是技术性侦查。技术性侦查本质是一种以物证技术及信息为基础并以证据为中心的侦查方式。对技术性侦查的概念可从历史渊源、学理依据、诉讼法理以及实
分析了Web服务资源构架（WSRF）的规范和研究现状，探讨了制造网格的主要特征和体系结构，提出了一种基于WSRF的制造资源的封装机制．将制造资源封装为WS—Resource结构的制造网格资源，
随着新一代航空电子系统综合化程度的不断提高，航空电子系统对其数据网络传输与交换的性能需求也越来越高，不仅要满足大吞吐量、高速率、低延这等需求，还要满足容错、重构等需求
《治安管理处罚法》所体现的立法原则和精神，既突出强调了保护公民合法权利，又注重加强社会治安管理，体现了尊重和保障人权与加强社会治安管理相平衡的原则；它既扩张了警察权力，又