• 不 限
  • 期刊论文
  • 硕博论文
  • 会议论文
  • 报 纸
  • 英文论文
硬件设计验证相关论文
    面向高级综合验证的数据流图提取技术研究
    该文主要讨论高级综合系统ＲＴＬ（ｒｅｇｉｓｔｅｒｔｒａｎｓｆｅｒｌｅｖｅｌ）级综合结果正确性验证策略的确定及验证系统设计中ＤＦＧ（ｄａｔａｆｌｏｗｇｒａｐｈ）逆向获取算法的设计与实现．算法主要包括４个处理阶段：ＦＳＭ（ｆｉｎｉｔｅｓｔａｔｅｍａｃｈｉｎｅ）动态......
    期刊
    高级综合 硬件设计验证