形式验证检测

检测项目

1.逻辑功能验证：包括组合逻辑等价性检查（覆盖率≥99.9%）、状态机完整性验证（状态迁移路径覆盖率100%）

2.时序特性分析：建立/保持时间余量（≥0.5ns）、时钟域交叉路径延迟（≤10%周期）

3.功耗特性测试：静态漏电流（≤1μA/cm）、动态功耗密度（≤0.5mW/MHz）

4.安全机制验证：故障注入覆盖率（≥95%）、侧信道攻击防护等级（AES-256抗差分功耗分析）

5.电磁兼容性评估：辐射发射限值（30MHz-1GHz≤40dBμV/m）、静电放电抗扰度（8kV接触放电）

检测范围

1.集成电路芯片：包括ASIC、SoC等数字/模拟混合电路设计验证

2.FPGA器件：可编程逻辑单元配置正确性及时序收敛性验证

3.嵌入式系统：实时操作系统任务调度机制与中断响应验证

4.汽车电子控制单元：符合ISO26262功能安全要求的故障模式验证

5.航空航天电子设备：DO-254认证的复杂电子硬件形式化验证

检测方法

1.模型检查法：采用NuSMV框架执行CTL时态逻辑公式验证（IEEE1850标准）

2.定理证明法：应用Coq证明助手进行高阶逻辑推导（ISO/IEC15408通用准则）

3.等价性检验：基于SynopsysFormality工具进行门级网表与RTL对比（GB/T26246-2010）

4.静态时序分析：使用PrimeTime执行多工艺角时序签核（TSMC28nm工艺库）

5.电磁兼容测试：依据CISPR25标准进行辐射发射扫描（GB/T18655-2018）

检测设备

1.KeysightDSAX96204Q示波器：100GHz带宽，支持PCIe6.0协议眼图分析

2.AdvantestV93000ATE系统：256数字通道，可执行0.5mV精度电源噪声测试

3.Rohde&SchwarzFSW67频谱仪：67GHz频率范围，具备EN55032ClassB认证测试功能

4.CadencePalladiumZ2仿真平台：支持20亿门级设计硬件加速仿真

5.ThermoFisherScientificNitonXL5手持光谱仪：实现金属材料成分现场快速验证

6.FlukeTi480红外热像仪：640480分辨率，用于功率器件热分布分析

7.TektronixAFG31000函数发生器：1μHz-120MHz频率范围，支持JESD204B接口测试

8.NationalInstrumentsPXIe-5164数字化仪：14位分辨率，500MS/s采样率信号采集

9.AgilentB1500A半导体分析仪：0.1fA-1A电流测量能力，支持HCI/NBTI可靠性测试

10.EMTESTUCS500N6脉冲群发生器：满足IEC61000-4-4标准6kV测试需求

北检(北京)检测技术研究院【简称：北检院】

报告：可出具第三方检测报告(电子版/纸质版)。

检测周期：7~15工作日，可加急。

资质：旗下实验室可出具CMA/CNAS资质报告。

标准测试：严格按国标/行标/企标/国际标准检测。

非标测试：支持定制化试验方案。

售后：报告终身可查，工程师1v1服务。

以上是与"形式验证检测"相关的简单介绍，具体试验/检测周期、检测方法和仪器选择会根据具体的检测要求和标准而有所不同。北检检测技术研究院将根据客户需求合理的制定试验方案。