消息
×
loading..
中文版 | English

个人主页

关键词云

成果统计

合作作者[TOP 5]

  • 哈亚军

    合作成果数：8

  • 李睿

    合作成果数：5

  • 姜伟雄

    合作成果数：2

  • Heng Yu

    合作成果数：2

  • Masahiro Fujita

    合作成果数：2

访问统计


  总访问量
 547
  访问来源
    内部： 3
    外部： 544
    国内： 494
    国外： 53

  年访问量
 180
  访问来源
    内部： 2
    外部： 178
    国内： 168
    国外： 12

  月访问量
 6
  访问来源
    内部： 0
    外部： 6
    国内： 6
    国外： 0

访问量

访问量

1. 基于GPU的逻辑重写加速方法 [542]
2. Criticality-Aware Negotiation-Driven Scrubbing Scheduling for Reli.. [511]
3. A Recursion and Lock Free GPU-based Logic Rewriting Framework Expl.. [463]
4. 基于GPU的逻辑重写加速方法 [433]
5. SCA-SAT协同作用实现优化乘法器的形式化验证方法 [386]
6. 基于GPU的逻辑重写加速方法 [343]
7. RefSCAT: Formal Verification of Logic-Optimized Multipliers via Au.. [332]
8. RefSCAT-2.0: Formal Verification of Large-Scale Optimized Multipli.. [20]
9. SCA-SAT协同实现优化乘法器形式化验证的方法 [14]

下载量

1. RefSCAT: Formal Verification of Logic-Optimized Multipliers via Au.. [10]
2. 基于GPU的逻辑重写加速方法 [3]
3. A Recursion and Lock Free GPU-based Logic Rewriting Framework Expl.. [2]
4. SCA-SAT协同作用实现优化乘法器的形式化验证方法 [2]
5. 基于GPU的逻辑重写加速方法 [2]
6. Criticality-Aware Negotiation-Driven Scrubbing Scheduling for Reli.. [1]
7. 基于GPU的逻辑重写加速方法 [1]
8. SCA-SAT协同实现优化乘法器形式化验证的方法 [1]
9. RefSCAT-2.0: Formal Verification of Large-Scale Optimized Multipli.. [1]