激励自动生成相关硕士博士期刊学术论文 - 搜论网

激励自动生成相关论文

基于功能点模型的半形式化验证关键技术研究

功能验证用以保证集成电路RTL级或更高级设计满足功能规范,从而保证集成电路设计的功能正确性。随着信息技术的深入发展,集成电路......

学位

集成电路功能验证模拟验证形式化验证半形式化验证激励自动生成功能点模型自动化验证 ATPG 行为检测功能覆盖率

GMAC桥协议转换电路的功能验证及激励自动生成方法研究

随着集成电路规模以及功能复杂度的快速发展,人们越来越关注集成电路功能验证的效率和可靠性。本文设计完成了FT-X DSP芯片中的GMA......

学位

GMAC桥总线接口类电路功能验证功能规范模型激励自动生成

看过本文同时还关注