中文版 | English

个人主页

关键词云

成果统计

合作作者[TOP 5]

  • 哈亚军

    合作成果数：9

  • 李睿

    合作成果数：6

  • 姜伟雄

    合作成果数：2

  • Heng Yu

    合作成果数：2

  • Masahiro Fujita

    合作成果数：2

访问统计


  总访问量
 551
  访问来源
    内部： 3
    外部： 548
    国内： 495
    国外： 56

  年访问量
 184
  访问来源
    内部： 2
    外部： 182
    国内： 169
    国外： 15

  月访问量
 10
  访问来源
    内部： 0
    外部： 11
    国内： 7
    国外： 4

访问量

访问量

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

下载量

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]