8051指令集相关硕士博士期刊学术论文 - 搜论网

8051指令集相关论文

事务级形式验证技术及8051验证模型

提出一种基于事务的用于电路系统的形式验证方法 (TBFV) 应用该方法 ,验证工程师可以在行为级对系统进行验证 ,无需了解设计的细......

期刊

事务级形式验证 8051验证模型流水线处理器功能验证模型微处理器 8051指令集 transaction based formal verificatio

看过本文同时还关注