慕尼黑（商业新闻网）--今天，eDataptic Computing Inc.（ECI或eDaption）和OneSpin Solutions发布了OneSpin正式验证认证计划，帮助处于IC设计前沿的组织获得必要的知识和专业知识，以便向市场提供功能正确、安全、可靠和安全的电子产品。该计划提供了形式化方法、理论、技术及其在使用OneSpin Design Verification 360解决方案的实际硬件设计中的应用的全面培训。"ECI正在整合和应用商用现货（COTS）验证工具和先进的技术和方法，为有保证和安全的微电子技术提供解决方案。"OneSpin总裁兼首席执行官雷克•布林克曼（Raik Brinkmann）评论道："当今复杂而快速发展的电子行业给企业带来了沉重的负担，无法有效地满足严格的集成电路完整性标准。"正式认证是公司验证方法的一个关键部分，每个公司都将从拥有匹配的专业知识中受益。我们很高兴能够与eDattal合作，利用我们在整个应用领域广泛采用并证明成功的独特技术来提供这方面的知识。"用于5G、物联网、人工智能、汽车、工业、国防和航空电子设备的片上系统（SoC）设计已经变得非常复杂。这些设计通常是异构的，使用可编程逻辑，并集成各种内核，如RISC-V。由于这些设计变得更加灵活和定制，导致了更大的验证挑战。公司可以努力跟上所需的验证知识，以确保他们的设备从一开始就得到充分验证，并在产品的整个生命周期内满足并继续满足IC完整性标准。"ECI正在整合和应用商用现货（COTS）验证工具和先进的技术和方法，为有保证和安全的微电子技术提供解决方案，"eDaptic总裁兼首席技术官Praveen Chawla说与OneSpin合作将使我们能够将我们的正式验证知识和专业知识传授给需要验证IC设计完整性的组织。"满足需求的课程设置这一独特的认证计划包括三个级别的培训：初级、中级和高级。硬件验证工程师，无论是新手还是在形式化方面经验丰富的工程师，都可以期望获得对形式化方法背后的理论的全面理解，以及通过实际硬件设计将形式化方法集成到自己的验证方法中的实践教育。类将使用OneSpin的DV和EC360正式验证解决方案。认证考试将在各门课程完成后进行。学生将学习：了解何时以及如何将形式化验证应用于设计验证方法，以及定向测试和仿真开发适当的约束、覆盖和断言，以获得足够的设计覆盖率应用度量驱动的验证来获得覆盖度量，以及如何将它们合并到设计验证方法中致力于各种各样的设计用例在自动化、用户友好和最先进的正式验证工作流中操作要了解有关正式认证计划的更多信息，请访问或者 training/。关于OneSpin解决方案OneSpin Solutions是一家领先的IC完整性验证解决方案提供商，用于构建功能正确、安全、可靠和可信的集成电路。这些解决方案基于OneSpin广泛使用的形式化验证技术，并确保SOC、ASIC和FPGA的完整性。OneSpin总部位于德国慕尼黑，与全球领先的汽车和工业应用、国防、航空电子、人工智能和机器学习、消费电子和通信等领域的领导者合作。其先进的解决方案非常适合开发异构计算平台、使用可编程逻辑、设计和集成处理器核心，如RISC-V。OneSpin面向客户的承诺是其成长和成功的基础。OneSpin：确保集成电路的完整性。访问网站了解更多。关于edataptic Computing，Inc。ECI将成熟的软件开发过程和高水平的技术专业知识应用于各种应用程序，以优化、确保、自动化和集成复杂的过程和系统。ECI将在多个技术领域的深入经验与丰富的商业最佳实践相结合，以评估客户需求，并精辟地开发和集成强健的应用程序，以彻底满足客户需求。ECI成立于1997年，致力于为众多国防部和商业客户开发解决方案。政府客户包括联邦机构，如美国空军、美国海军、美国陆军、导弹防御局、国防高级研究项目局、国家航空航天局、国家科学基金会以及州和地方机构。商业客户包括宝洁（Procter&Gamble）等财富500强企业、凯特林健康网络（Kettering Health Network）等医院，以及包括诺斯罗普•格鲁曼（Northrop Grumman）、波音公司（Boeing）和洛克希德•马丁（Lockheed Martin）在内的政府主承包商。ECI提供智能解决方案，支持可信和高效的系统和流程，用于：系统工程与集成，机器学习和分析，企业系统，以及网络安全和可信系统。有关ECI业务和技术能力以及职业机会的更多信息，请访问。OneSpin、OneSpin Solutions和OneSpin徽标是OneSpin Solutions GmbH的商标。ECI徽标是eData Computing，Inc.的商标。所有其他商标均为其各自所有者的财产。与OneSpin连接：推特：@OneSpinSolutionLinkedIn：https://www.linkedin.com/company/onespin-solutions脸谱网：https://www.facebook.com/OneSpinSolutions与eData连接：推特：@EdaptiveCompIncLinkedIn：https://www.linkedin.com/company/edative-computing-inc-/脸谱网：https://www.facebook.com/edoptivecomputing