位置：成果数据库 > 会议 > 会议详情页
Assertion-Based Functional Consistency Checking between TLM and RTL Models
  • 所属机构名称：华东师范大学
  • 会议名称：VLSI Design and 2013 12th International Conference on Embedded Systems (VLSID), 2013 26th Internatio
  • 时间：2013
  • 成果类型：会议
  • 相关项目：基于高阶规约定向测试的异构系统验证研究
同会议论文项目
基于高阶规约定向测试的异构系统验证研究
期刊论文 8 会议论文 9 著作 1
同项目会议论文
Variation-aware evaluation of MPSoC task allocation and scheduling strategies using statistical mode
Bound-oriented parallel pruning approaches for efficient resource constrained scheduling of high-lev
Variation-Aware Resource Allocation Evaluation for Cloud Workflows using Statistical Model Checking
Timing Analysis of UML Activity Diagrams Using Statistical Model
ADAutomation: An Activity Diagram Based Automated GUI Testing Framework for Smartphone Applications
A novel quantitative evaluation approach for software project schedules using statistical model chec
Branch-and-bound style resource constrained scheduling using efficient structure-aware pruning
Efficient Two-Phase Approaches for Branch-and-Bound Style Resource Constrained Scheduling