基于形式验证方法的数字LTE芯片逻辑等价性分析及研究

ｍ   硕 士 学 位 论 文＇丨．參＇   基于 形式验证 方法的数字 ＬＴ Ｅ 芯 片 逻 辑等价 性 分 析及研 究＾作者姓名冀 禹 麟 指导教 师姓名企业 导师姓名申