论文部分内容阅读
Magma推出功能验证工具Quartz Formal
【出 处】
：
中国集成电路
【发表日期】
：
2004年6期
其他文献
提出了一种在构建形式化的软件演化过程模型（formal sottware evolution process model，FSEPM）中使用X-S图来度量开发人员的统计控制方法。开发人员是构建模型的核心角色，度量其
根据知识向量和不同的主体策略，构建了知识共享网络的基于知识交易的知识共享仿真过程模型。通过仿真分析，发现主体采用利他交易策略的知识共享系统的整体效率要高于采用互惠交
本文应用ALOKa SSD—256型实时灰阶超声显象仪,诊断乏特氏壶腹癌20例,准确率12/20(60％),经手术,病理和ERCP证实,失误8例,其中乏特氏壶腹部结石4例,乳头癌2例,胰头癌2例。本文
通过对天津地区395名留学归国人员的问卷调查,研究了留学归国人员的国内嵌入程度(在回国前与国内或来自于国内的组织和个人的互动联结程度)与其回国之后知识分享意愿和行为的
闵昊:国家863集成电路设计专家组专家,复旦大学专用集成电路与系统国家重点实验室主任、教授,上海华虹集成电路有限责任公司总经理。曾担任美国斯坦福大学访问副教授。自1991
随着社会发展,人们环保意识的增强,对绿色环保涂料的需求日益增长,传统的溶剂型涂料向水性涂料的转变受到研究者的广泛关注。石墨烯作为综合性能优良的纳米填充材料,在复合材
各位领导、各位专家、各位代表: 今天我们在这里召开中国半导体行业协会集成电路设计分会2002年会,这是我国集成电路设计业界的一次盛会,目的是为了加强行业交流、促进我国集
现在网上传播的数字内容存在着大量的盗版和侵权问题,对数字内容的网上交易进行版权保护,成为一个迫切需要解决的问题.系统采用了一种新的许可证密钥产生、分配和认证的方法,