OpenCoho是一个通过可达性分析及计算对集成电路设计进行形式化验证的软件工具。它可以验证由非线性常微分方程建模的电路系统的正......

PCIe接口是System on Chip(SoC)芯片上使用非常广泛的一种高速接口。因此,在SoC芯片的Register Transfer Level(RTL)级设计开发阶......

针对集成电路功能验证中覆盖率收敛较慢的问题,通过分析简单遗传算法(SGA)中精英个体的特征,提出了一种应用于功能验证的精英策略......

模拟和混合信号电路已经广泛应用于电子消费、电通讯、电子医疗等很多领域。但是,在深亚微米设计中,物理效应可能会破坏常见的数字......

随着集成电路产业的快速发展,保证仿真验证中芯片的功能定义与寄存器传输级(RTL)的描述一致,已成为当前芯片仿真验证过程中的关键......