退出
我的积分:
中文文献批量获取
外文文献批量获取
江有财;
英特尔亚太研发中心;
集成电路设计; SOC; RTL验证; NOC; VIP;
机译:使用高级功能和协议规范模型验证RTL设计的统一顺序等效性检查方法
机译:基于通用系统Verilog通用验证方法的可重用验证环境,可有效验证图像信号处理IPS / SOCS
机译:一种旨在更好地集成功能验证和RTL设计的方法
机译:使用不完整的RTL设计提取SoC连接规范:正式连接验证的一种方法
机译:一种检查花键筒轰击设计和操作参数对森林稀疏系统性能(动画,图形)影响的方法。
机译:校准和验证一种估计总体认知表现的创新方法
机译:基于SoC基于SOC的基于SOC的基于SOC SmoS传感器的创新设计方法
机译:一种基于规则的专家系统验证完整性和一致性的方法
机译:自动添加基于RTL的关键时序路径计数器以验证后硅软件验证工具的关键路径覆盖范围的系统和方法
机译:一种基于形式语法的可扩展标记语言文档的验证方法,包括由检查者接收文档,并通过使用检查者基于过滤器确定规则
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。