搜索: 形式验证 - 畅学电子网

文章资料视频课程课时学习计划项目话题小组用户

[ 资料 ] 基于携带证明的代码的垃圾收集过程验证.pdf

本文工作使用基于Hoare逻辑的汇编语言级形式程序验证框架，对垃圾收集器的安全性和正确性，以及垃圾收 ...

by 齐欣|上传于 2015-06-17 |163次下载
[ 资料 ] 《基于IP复用的数字IC设计技术》牛风举.pdf

本书主要介绍基于IP复用的数字IC设计技术。全书分3篇，共 ...

by 畅学电子|上传于 2015-04-27 |162次下载
[ 资料 ] 集成电路的逻辑等价性验证研究.pdf

集成电路规模的快速增长使得验证的难度越来越大，传统的模拟和仿真不但需要花费 ...

by 莫北北|上传于 2014-11-22 |162次下载