寄存器传送语言相关硕士博士期刊学术论文 - 信丰网

寄存器传送语言相关论文

RTL数字系统的形式化描述

本文提出对寄存器传送语言（RTL）描述的数字系统运用投影时序逻辑进行形式化描述并验证的方法。通过使用投影时序逻辑对RTL的形式语义......

期刊

投影时序逻辑形式化描述寄存器传送语言 Projection temporal logic Formal description Register tra

基于RTL的函数调用图生成工具CG-RTL

为了分析操作系统内核等大型软件的模块间函数调用关系,针对传统的函数调用关系生成工具不适用于模块间调用关系分析以及其依赖编......

期刊

操作系统内核函数调用图寄存器传送语言模块间函数调用关系源代码分析

看过本文同时还关注