退出
我的积分:
中文文献批量获取
外文文献批量获取
周文涛; 樊晓桠; 黄小平;
西北工业大学航空微电子中心;
微处理器验证; Verilog; PLI; Simics;
机译:交响乐:一种新型协同纳米技术为基于激光间质热疗的基于协同纳米技术的平台
机译:一种协同抗菌平台:基于van-MOS2-AU纳米复合材料结合机械和光热效应
机译:自动化的硬件/软件协同验证,微处理器测试和仿真平台
机译:一种基于平台的线性时序逻辑规范验证和综合方法
机译:通过基于Web的平台评估MRI断层扫描产生的梯度磁场的评估:测量方法通过基于Web的平台验证限制和清除区域
机译:基于基于逻辑的环境的硬件/软件片上系统协同验证平台,用于应用程序编程接口
机译:验证Ft Cayuga容错微处理器系统。第1卷:基于定理证明器验证的案例研究
机译:硬件仿真器中基于ISS的验证系统的无PLI协同仿真
机译:一种基于生物数据识别的电子文档验证方法和一种基于生物数据完整性的电子签名方法,该方法将电子文档的原始文本与标记,验证码和标记一起使用,并以此为目的进行验证,验证,确认服务器和计算机
机译:基于组件模型的虚拟软件平台生成方法和装置,并基于该平台验证软件平台架构
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。