消息
×
loading..
中文版 | English

个人主页

关键词云

成果统计

合作作者[TOP 5]

  • Bao, Yungang

    合作成果数：3

  • Shi, Kan

    合作成果数：3

  • Boland, David

    合作成果数：2

  • 包云岗

    合作成果数：2

  • 张子卿

    合作成果数：2

访问统计


  总访问量
 302
  访问来源
    内部： 2
    外部： 300
    国内： 265
    国外： 37

  年访问量
 79
  访问来源
    内部： 2
    外部： 77
    国内： 72
    国外： 7

  月访问量
 14
  访问来源
    内部： 0
    外部： 14
    国内： 12
    国外： 2

访问量

访问量

1. ENCORE: Efficient Architecture Verification Framework with FPGA Ac.. [366]
2. 面向处理器功能验证的硬件化SystemVerilog断言设计 [208]
3. Design of SystemVerilog Assertions Hardware Towards Efficient Proc.. [191]
4. 面向处理器功能验证的硬件化System Verilog断言设计 [135]
5. Hercules: Efficient Verification of High-Level Synthesis Designs w.. [65]

下载量

1. Hercules: Efficient Verification of High-Level Synthesis Designs w.. [2]
2. ENCORE: Efficient Architecture Verification Framework with FPGA Ac.. [1]