论文部分内容阅读
本书对基于C／C＋＋的芯片验证方法进行了深入研究。主要讲述利用Test Builder和SystemC验证库验证芯片的方法。
现代验证技术：基于System C的成功流片方法
【摘 要】
：
本书对基于C／C＋＋的芯片验证方法进行了深入研究。主要讲述利用Test Builder和SystemC验证库验证芯片的方法。
【机 构】
：
中国科学院力学研究所
【出 处】
：
国外科技新书评介
【发表日期】
：
2006年6期
其他文献
在过渡金属催化反应的循环中，碳-金属键的形成是最重要的一个环节。在可能的异构体中，有机金属化合物的异构体必定是有机物的选择性生成物，其中，金属将被立体地或区位选择地附加
大大的脑袋、大大的眼睛、光秃秃的头、小小的身体，有点滑稽有点可爱，又本领高强，神通广大，这是科幻电影中经常出现的外星人形象。而实际上，我们还从未见过真实的外星人。
这是一本自成系统的指南，内容有关下一代蜂窝式无线系统协同通讯和网络化技术的发展水平。这一涉及广泛内容的书籍提供了在蜂窝式无线网络中实现有效协同无线通讯所需要的理论
2005年6月在葡萄牙Caparica的计量中心举行了第7届以“计量学中的高级数学和计算工具”为主题的专业会议，本书是其论文集。该会议的一贯宗旨是以欧洲计量学界为主要对象，提供有
由于信息通讯技术以及现实生活中整个社会力求合作的愿望，使得合作计算（CC）及其应用成为可能，甚至是必须的。典型的CC包括多方军事行动、远程会议、远程诊断、交互与合作决策、网
2007年4月6日，政府间气候变化专门委员会（IPCC）第二工作组公布了第四次评估报告《气候变化2007：影响、适应和脆弱性》，给出了对气候变化影响的新认识，肯定了气候变化影响、适应与脆
应用力学有三个分支：刚体的静力学和动力学、材料力学和流体力学一直是作为两个重要的专门领域发展的。统一固体力学和流体力学也已经逐渐发展成为一个重要的领域了。近来创造
生理学是医学领域最重要的基础学科之一，任何医学相关科研工作的进行都离不开生理学基础知识，任何医学研究人员必须掌握扎实的生理学基础知识。本书的写作目的绝不是成为一本面