micMac自动机相关硕士博士期刊学术论文 - 搜论网

micMac自动机相关论文

面向特征的SystemC模型产品线的开发和形式化功能验证技术研究

随着芯片系统的功能日益复杂,上市时间却越来越短,越来越多的芯片系统希望实现为片上系统(SoC)。SoC是指集成有包括微处理器、存储......

学位

面向特征的编程 SystemC 事务级模型软件产品线形式化功能验证组合安全性验证 micMac自动机属性保持

看过本文同时还关注