机译:RTL设计中的自动设计错误定位
机译:Avant!的Nova-ExploreRTL可以识别前端设计错误,并可以重复使用可预测的,经过验证的RTL代码
机译:硬件设计中的自动源级错误定位
机译:在自动RTL设计调试中利用软件配置管理
机译:基于形式故障定位的RTL-to-TLM自动化故障对应分析在基于VP的快速准确误差影响仿真中的应用:案例研究
机译:自动生成正确性条件,以对合成的RTL设计进行形式验证。
机译:设计用于在锥形束CT图像上自动定位下牙槽神经管的软件的准确性
机译:自动验证综合RTL设计并将其与高级综合工具集成的方法
机译:具有局部轴承接触和低水平传动误差的齿轮传动的计算机化设计和生成