退出
我的积分:
中文文献批量获取
外文文献批量获取
谭坚; 罗巧玲; 王丽一; 胡夏晖; 范昊; 徐占;
江南计算技术研究所 江苏无锡 214083;
指令功能; 数据路径; 约束求解; SMT求解器; 验证数据; 并行加速;
机译:使用SMT求解器状态生成的微处理器模型的随机测试
机译:基于SMT求解器的程序验证综合方法的开发与研究
机译:基于SMT的约束答案集求解器EZSMT(系统描述)
机译:用于RTL验证中的SMT求解器的多线程加速度
机译:基于网络和MHealth技术支持与2型糖尿病的人的自我管理:验证糖尿病自我管理和技术问卷(DSMT-Q)
机译:使用SMT求解器在基于抽象的状态图验证中利用层次结构
机译:基于aDa的实时精简指令集计算机(RIsC)微处理器:基于RIsC的实时应用硬木支持。
机译:SMT求解器的基于匹配的模式推断
机译:基于匹配的模式推理用于SMT求解器
机译:通过使用超规模微处理器中的传输门矩阵并基于资源可用性选择性地延迟微处理器指令执行来控制指令流的设备和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。