ASIP体系结构形式化建模与验证方法研究

【作者】 高妍妍

【导师】 熊焰; 李曦;

【作者基本信息】 中国科学技术大学 , 计算机系统结构, 2009, 博士