芯片设计服务

FPGA/SOC验证难度呈指数增长

SiP设计在完成一个复杂SOC或FPGA的设计前，对所有的功能做完整的验证，SiP设计是设计流程中工作量占比非常大的一个环节，也是对质量、开发周期和成本影响非常大的一个因素。今天，随着越来越多的功能被集成到设计中，验证的难度越来越高，验证周期越来越长。所以，功能验证已经成为整个设计流程中的瓶颈。

带约束随机仿真激励”的验证方法学

功能验证的复杂性迫使业界不断提出新技术和新工具来应对挑战，如：以SystemVerilog为代表的新一代硬件验证语言逐渐普及；从VMM，OVM到UVM的各种验证方法学对验证平台架构的创新；验证IP的出现到成熟；仿真，形式验证，模拟器，在线模拟等新工具和新手段的出现这一切使设计验证已成为一名复杂的学科。

传统的验证方法编写、调试和维护测试用例，每个项目需要花费若干人年的人力和时间，这在很多开发项目中是难以承受的。为了解决验证复杂性问题，产生了基于“带约束随机仿真激励”的验证方法，建立能自动产生测试用例的验证平台，使用功能覆盖率检查驱动，来完善测试用例的生成，将功能测试的覆盖率提升到100%。优秀的测试平台架构设计使验证组件可重用，更适合复杂SOC和FPGA设计的功能验证，由此产生了UVM通用验证方法学。

验证服务外包的优势

从验证工作的特点来看，也要求验证工程师独立于设计工程师完成验证平台的设计。所以“验证团队必须独立于设计团队”已是现代研发项目团队建设的共识。但是，在项目或公司内单独维护一个验证团队有成本高、难度大、工作周期明显等缺点，所以，有越来越多的企业通过外聘（Outsourcing）或将验证工作外包（Offshoring）来降低项目的成本和风险。

通过外包验证服务，企业可以获得许多好处：

将资源集中于核心技术的开发；
按需随时获得知识技能；
提高项目效率，降低研发成本；
加快项目进度，降低上市时间；
好的产品质量；
更可控的项目成本。
使用到更多的验证专家；
迅速提升团队研发能力。

图元验证服务流程

建立验证计划。客户可以提供完整独立的设计规范，我们可以在此基础上建立验证计划。如果用户的设计要求是不明确的，我们会在与客户充分沟通的基础上收集足够的设计要求信息，然后建立完整验证计划。
建立验证平台。验证平台采用业界先进的验证方法学的验证技术，包括带约束的伪随机测试生成、覆盖率的收集与分析、高级形式属性检查技术、以及基于断言的验证，最终能获得100%的测试覆盖率。
完成客户设计的验证，输出规范的验证结果。
在充分理解客户设计的基础上，进一步分析验证结果数据，编写针对性的测试，找出可能的设计缺陷，生成的报告可作为客户修改设计的依据。

验证服务提供的内容

1、验证IP

TopBrain可以为客户提供适合UVM/OVM/eRM的验证IP，这些VIP已经经过流片验证，并且具有高度灵活和可配置的设计，实用的用户指南，以及灵活的授权方式，用户可以放心的将它们集成到SoC的验证环境中。

TopBrain也可为客户定制开发的验证IP。

已有的VIP家族：

VIP家族	UVM	OVM	eRM
MIPI
RFFE	Y	Y	-
DSI	Y	-	-
Memories
SDCARD2.0	Y	Y	-
Universal Serial IO
I2C_MASTER	Y	Y	-
I2C_SLAVE	Y	Y	-
I2S_MASTER	Y	Y	-
I2S_SLAVE	Y	Y	-
SPI_MASTER	Y	Y	-
SPI_SLAVE	Y	Y	-
UART	Y	-	-
High Speed IO
ETHERNET_10_100_1000Mbps	Y	-	Y
ETHERNET_100Gbps	Y	-	Y
PCIE_VIP_EP	Y	-	-
PCIE_VIP_RC	Y	-	-
USB3.0_Device	Y	Y	-
USB3.0_HOST	Y	Y	-
Networking
CSIX	Y	-	-
SPI4.2	Y	-	-
ARM-based
AHB 3.0 Lite	Y	Y	-
APB 4.0/3.0	Y	Y	-
AXI 4.0/3.0	Y	Y	-
AXI 4.0-Lite	Y	Y	-

2、DO-254验证

航空电子设计领域，DO-254设计标准体系成为了美国FAA认可采用的设计保障体系规范，并要求所有应用于民用航空器机载设备的电子设计项目都需要通过该规范的认证。DO-254规范的一个重要概念就是在设计的每个阶段，都需要有相应的验证保障该阶段的设计输出完全满足输入的要求。

图元提供的DO-254验证解决方案包含了系统级验证、模块级验证、电路级验证和物理级验证的完整验证方案，帮助客户建立从系统设计验证到物理设计验证的完整的设计验证体系，各个阶段的设计验证结果通过GuideDog®需求追踪工具进行记录和追溯。当设计要求发生变化时，GuideDog®追踪工具能帮助用户及时发现受影响的设计与需要重做的验证工作，避免设计错误和冗余代码，满足DO-254体系标准对验证的要求。

3、软件测试

软件测试能帮助客户检验软件是否完成了设计规范中的各项要求。由于软件的复杂性，客户自己建立一个完整有效的测试团队需要花费大量时间和成本，而且投入并不能保证立即在新项目中获得收益。

软件测试服务，能帮助客户建立高性价比的软件测试能力，有效地提高客户的软件质量，缩短上市时间。我们的软件测试方案采用了覆盖率驱动方法，为客户提供下列服务：