位置：成果数据库 > 会议 > 会议详情页
Predicate Abstraction of RTL V
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 成果类型：会议
  • 相关项目：SOC系统级功能验证关键技术研究
作者： Tun Li, Yang Guo, Si-Kun Li, G
同会议论文项目
SOC系统级功能验证关键技术研究
期刊论文 8 会议论文 11
同项目会议论文
Functional Vectors Generation
Applying Constraint Logic Prog
SoC-CBSHVE: a SoC SW/HW Co-Ver
2D Decomposition Sequential Eq
Automatic Functional Test Prog
The Use of UML Sequence Diagra
MA2TG: A Functional Test Progr
Scheduling of Transactions und
Scheduling of Transactions Bas
A Novel Collaborative Verifica