位置：成果数据库 > 会议 > 会议详情页
中国计算机学会文集——全国第16届计算机辅助设计与图形学学术会议
  • 所属机构名称：清华大学
  • 会议名称：国内学术会议论文集，清华大学出版社，2010年7月，ISBN 978-7-302-23189
  • 成果类型：会议
  • 相关项目：基于下一代验证引擎的事务级形式验证方法的研究
同会议论文项目
基于下一代验证引擎的事务级形式验证方法的研究
期刊论文 6 会议论文 13
同项目会议论文
Mutation-based Diagnostic Test Generation for Hardware Design Error Diagnosis.
Self-Adjusting Constrained Random Stimulus Generation Using Splitting Evenness Evaluation and XOR Co
Random Stimulus Generation with Self-tuning.
Peeling Algorithm for Custom Instruction Identification.
Instruction-level hardware/software partition through DFG exploration
Proceedings 2010 International Conference on Field-Programmable Technology
Runtime Basic Block Based Design Flow in Reconfigurable Computation
PDPR: Fine-grained Placement for Dynamic Partially Reconfigurable FPGAs
Hierarchical Formal Verification Methodology based on Transactions.
Semi-Confliction Guided Problem Partitioning Algorithm in FPGA-based SAT Solver.
An Assertion-Based Verification Method for SystemC TLM.
Pruning-based trace signal selection algorithm