检索结果-南通市图书馆

力科推出用于PCI-Express 3.0协议分析仪的新仿真设计验证工具

在线全文

学校读者我要写书评

暂无评论

电子测试 2010年第3期21卷 94-95页

力科宣布推出新的分析工具显著扩展PCI-Express3.0协议测试。新的软件工具叫SimPASS,针对硅前期的仿真和设计验证开发阶段。SimPASS基于力科现有的用以显示和分析通信数据的用户界面，扩展了通常用在硅后期测试的仿真环境的强大通信数... 详细信息

力科宣布推出新的分析工具显著扩展PCI-Express3.0协议测试。新的软件工具叫SimPASS,针对硅前期的仿真和设计验证开发阶段。SimPASS基于力科现有的用以显示和分析通信数据的用户界面，扩展了通常用在硅后期测试的仿真环境的强大通信数据分析能力。

关键词： PCI-Express 仿真设计协议分析仪验证工具协议测试分析工具软件工具设计验证

在线全文

学校读者我要写书评

暂无评论

π-演算交互式验证工具的研究与实现

π-演算交互式验证工具的研究与实现

作者：杜旭涛国防科学技术大学

学位级别：硕士

随着计算机技术的发展，并发系统的重要性越来越显著。如何保证并发系统的正确性成为一个重要的课题。进程代数在对并发系统的分析和验证等方面获得了广泛应用。π-演算是进程代数的典型代表，它可以描述那些通信拓扑结构会动态变... 详细信息

随着计算机技术的发展，并发系统的重要性越来越显著。如何保证并发系统的正确性成为一个重要的课题。进程代数在对并发系统的分析和验证等方面获得了广泛应用。π-演算是进程代数的典型代表，它可以描述那些通信拓扑结构会动态变化的系统。作为一种形式化方法，使用π-演算对大型系统的证明过程往往很长并且容易出现错误，所以，机器的支持与协助就相当必要。我们的工作就是为π-演算设计并实现第一个交互式的验证工具PiM(the Pi-calculus Manipulator)。主要工作和成果包括如下三个方面：首先，为了处理递归，我们对Lin给出的适合于理论研究的唯一不动点归纳法进行了扩展，得到了所需要的适合于应用的一般化的版本。我们证明了原有的关于强互模拟的公理系统加上我们这个版本的唯一不动点归纳法后的可靠性和完备性。然后，以Lin的关于迟／早互模拟的证明系统和Li的关于开互模拟的证明系统为理论基础，我们实现了π-演算的第一个交互式验证工具-PiM。我们还实现了自己版本的唯一不动点归纳法。最后，我们使用PiM验证了网络AB协议。在这项工作过程中，我们发现了R.Milner的著作“Communication and Concurrency”中的一个有关AB协议的错误。上述结果中的有关唯一不动点归纳法的研究具有重要的理论意义，验证工具PiM具有明确的应用价值，而对AB协议的验证及R.Milner的著作中一个错误的发现更是我们工作的价值的体现。

关键词： π-演算验证工具唯一不动点归纳法证明系统 AB协议

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

下一代的模拟和射频设计验证工具

电子设计应用 2007年第11期 79-81页

作者： Ravi Subramanian 周俊峰 Berkeley设计自动化公司

目前最先进的模拟和射频电路,正广泛应用于消费电子产品、无线通讯设备、计算机和网络设备的SoC中。它们带来了一系列验证方面的挑战,而这些挑战往往是传统SPICE、FastSPICE和射频仿真软件无法完全解决的。本文将探讨Berkeley设计自动... 详细信息

目前最先进的模拟和射频电路,正广泛应用于消费电子产品、无线通讯设备、计算机和网络设备的SoC中。它们带来了一系列验证方面的挑战,而这些挑战往往是传统SPICE、FastSPICE和射频仿真软件无法完全解决的。本文将探讨Berkeley设计自动化公司的精确电路分析工具如何能够帮助领先的半导体公司显著降低产品验证时间,从而迅速投入批量生产。

关键词：射频设计验证工具模拟消费电子产品 CMOS工艺 SPICE 射频电路通讯设备

Panasonic选择微捷码FineSim SPICE作为大型模拟IP设计的标准验证工具

在线全文

学校读者我要写书评

暂无评论

电子与电脑 2009年第6期9卷 100-101页

芯片设计解决方案供应商微捷码（Magma）设计自动化有限公司日前宣布，全球最大的消费电子产品供应商之一——Panasonic公司采用微捷码公司的具有线性多CPU技术的FineSim^（trm）SPICE仿真器作为大型模拟IP设计的验证工具。

关键词： Panasonic公司验证工具 IP设计 SPICE 模拟标准消费电子产品设计自动化

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

模拟设计与验证工具现状

今日电子 2008年第7期 30-32页

作者： Ahsutosh Mauskar 微捷码科技有限公司

大约从20世纪80年代起，就有许多业内专家宣称模拟电路已走进死胡同，而数字应用将在电子世界中大放异彩，包括用在通信上的集成电路（integrated circuits，ICs）。在现实中，当然，现代化的通信系统同时需要将模拟及数字功能复杂地融... 详细信息

大约从20世纪80年代起，就有许多业内专家宣称模拟电路已走进死胡同，而数字应用将在电子世界中大放异彩，包括用在通信上的集成电路（integrated circuits，ICs）。在现实中，当然，现代化的通信系统同时需要将模拟及数字功能复杂地融合在一起。

关键词：模拟设计验证工具通信系统模拟电路电子世界集成电路数字功能现代化

在线全文

学校读者我要写书评

暂无评论

仿真系统模型验证方法和工具研究

仿真系统模型验证方法和工具研究

作者：李亚男哈尔滨工业大学

学位级别：硕士

随着系统仿真技术在各个领域日益广泛的应用,仿真模型及其产生结果的有效性备受模型用户的关注。模型的验证是确定模型有效性的有效途径。模型验证需要模型验证理论和验证工具的支持,本文从这点出发,对模型验证方法和验证工具进行了深... 详细信息

随着系统仿真技术在各个领域日益广泛的应用,仿真模型及其产生结果的有效性备受模型用户的关注。模型的验证是确定模型有效性的有效途径。模型验证需要模型验证理论和验证工具的支持,本文从这点出发,对模型验证方法和验证工具进行了深入的研究,主要内容如下: 首先,阐述了课题的背景和目的,分析了模型验证工作中存在的困难。对模型验证方法和验证工具的国内外发展历史和现状进行了综合说明,并给出了本文的组织结构。其次,从模型静态性能验证和动态性能验证的角度对模型验证方法进行了总结,概括介绍了每类方法的原理、优缺点和适用范围,为模型验证方法的选择与使用提供了指导。再次,对知识工程在模型验证中的应用进行了研究。针对动态性能验证时缺少真实数据的情况,充分利用经验知识,提出了基于特征提取与匹配的验证方法,并详细介绍了该方法的原理和验证步骤。利用原理知识设计了静态性能验证中的验证方法选择规则。然后,在上述理论研究的基础上,对验证工具进行了设计。搭建了验证工具的总体框架,对其中的关键组件进行了简要介绍。构建了验证数据库、专家知识库、验证方法知识库和验证规则知识库。针对待验证性能的特点和数据的可获得情况,设计了六个验证流程,并对各验证流程进行了详细的说明。最后,用Visual C++6.0对模型验证工具进行了实现,并通过实验证明了该验证工具的有效性。总之,本文分析了模型验证方法的原理,总结了每类方法的优缺点和适用范围,同时研究了知识工程在模型验证中的应用。在理论研究的基础上设计并实现了模型验证工具。本文的研究成果为仿真系统模型验证工作提供了方法指导与工具支持。

关键词：仿真系统仿真模型验证方法验证工具

现代产品研发技术之一机械设计人员的设计验证工具

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

CAD/CAM与制造业信息化 2007年第4期 16-19页

作者：陈超祥 SolidWorks公司

分析和仿真软件是开发大型机械设备不可或缺的工具。通过这些工具,开发人员可以在产品开发的早期对设计进行评估,查投产品在使用中有可能过早发生故障的部分,快速做出旨在减少成本和重量的设计变更,并确定产品的安全系数。本文描述了机... 详细信息

分析和仿真软件是开发大型机械设备不可或缺的工具。通过这些工具,开发人员可以在产品开发的早期对设计进行评估,查投产品在使用中有可能过早发生故障的部分,快速做出旨在减少成本和重量的设计变更,并确定产品的安全系数。本文描述了机械设计人员和制造商面临的关键设计性能问题,并阐述了在产品开发前期使用分析工具的好处。

关键词：大型机械设备设计人员验证工具产品开发仿真软件设计变更安全系数性能问题

Simulink验证工具符合ISO26262标准

在线全文

学校读者我要写书评

暂无评论

电信科学 2011年第4期27卷 78-78页

MathWorks日前宣布,Simulink Design Verifier和Simulink Verification and Validation已通过T譈V S譈D认证,允许在符合ISO 26262标准的开发流程中使用。这一独立评估结果可以帮助开发高完整性嵌入式系统的汽车工程师们树立必要的信心,

关键词： Simulink 验证工具 Verification 标准汽车工程师嵌入式系统 ISO 开发

SolidWorks设计验证工具催生CAE年会论文大奖

在线全文

学校读者我要写书评

暂无评论

制造业自动化 2007年第12期29卷 77-77页

在近日闭幕的“第三届中国CAE工程分析技术年会暨2007全国计算机辅助工程（CAE）技术与应用高级研讨会”上，由来自中国科学院等离子体物理研究所宋云涛博士撰写的名为“EAST超导托卡马克核聚变装置关键部件的CAE工程分析与研究”的学... 详细信息

在近日闭幕的“第三届中国CAE工程分析技术年会暨2007全国计算机辅助工程（CAE）技术与应用高级研讨会”上，由来自中国科学院等离子体物理研究所宋云涛博士撰写的名为“EAST超导托卡马克核聚变装置关键部件的CAE工程分析与研究”的学术论文获得本年度CAE年会论文大赛的一等奖。这篇论文利用了SolidWorks的COSMOS分析软件进行了一系列CAE设计验证。

关键词： SolidWorks 学术论文设计验证 CAE 年会验证工具超导托卡马克核聚变装置计算机辅助工程