AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
李峥; 杨先文;
解放军信息工程大学电子技术学院;
FreeARM7; LPC2101; 微处理器; USB;
机译:8路VLIW嵌入式微处理器及逻辑验证方法
机译:8路VLIW嵌入式微处理器和逻辑验证方法
机译:微处理器使用高效决策程序进行验证,逻辑与未解释功能的平等逻辑
机译:Web应用程序运行时验证的正式框架:范围扩展的线性时间逻辑支持的方法
机译:微流控气动逻辑电路和数字微处理器的气动综合微流体系统
机译:使用有效决策程序的微处理器验证,用于具有未解释函数的等式逻辑
机译:GR740四核LEON4FT微处理器的功能验证结果。
机译:设计电路系统,扩展现有方法以评估电路设计的可行性,执行电路设计的可行性评估,完善电路设计的第一决策规则,形成电路设计的第二决策规则的方法电路设计,用于为多个预先设计的电路块组织设计者的经验数据,提高胶粘逻辑分配效率,并在设计块之间分配胶粘的多个逻辑元素,并分配胶粘逻辑以在集成电路设备设计中执行方案,转换特定于电路块的接口,选择电路收集器,设计一种包含使能设备测试以验证a正确操作的设备,并开发行为测试台,项圈接口和接口系统
机译:在验证扩展安全性信息后重新配置执行路径,并在指令可扩展微处理器中禁用配置更改
机译:在具有多个逻辑核的微处理器中恢复应用程序执行时的存储器访问优化方法,以及用于执行该方法的计算机程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。