退出
我的积分:
中文文献批量获取
外文文献批量获取
文摘
英文文摘
原创性声明及关于学位论文使用授权的声明
第一章 绪论
第二章 形式化方法
第三章 HOL系统
第四章 用HOL系统进行硬件验证
第五章 形式化验证实例
第六章 总结与展望
参考文献
致谢
陈波;
兰州大学;
形式化方法; HOL系统; 硬件验证; 带复位的奇偶校验器; 算术逻辑单元;
机译:SMT求解器:HOL定理证明者的新预言
机译:使用HOL定理证明的数字滤波器误差分析
机译:使用HOL定理证明器对Yee算法进行形式化
机译:基于HOL定理证明的MDG减少技术
机译:HOL定理证明器中基于角色的访问控制的模态逻辑。
机译:fiber光纤激光器:肾结石治疗的新参与者?与Hol:YAG激光的比较
机译:验证Ft Cayuga容错微处理器系统。第1卷:基于定理证明器验证的案例研究
机译:硬件验证程序描述生成装置,高级综合装置,硬件验证程序描述生成方法,硬件验证程序生成方法,控制程序和计算机可读记录介质
机译:硬件验证程序描述生成设备,高级综合设备,硬件验证程序描述生成方法,硬件验证程序生成方法,控制程序和可读记录介质
机译:硬件验证程序描述生成设备,高级综合设备,硬件验证程序描述生成方法,硬件验证程序生成方法,控制程序和计算机可读记录介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。