Skip to main content

and
  1. No Access

    Chapter and Conference Paper

    ACRP: Application Customized Reconfigurable Pipeline

    Reconfigurable architectures have become popular in recent years in the high performance computing field, because of their reconfigurable characteristic and abundant computing resources. These architectures co...

    Guanwu Wang, Lei Liu, Sikun Li in Advanced Computer Architecture (2014)

  2. No Access

    Chapter and Conference Paper

    Equivalence Checking Between System-Level Descriptions by Identifying Potential Cut-Points

    Symbolic simulation is one of the most important equivalence checking method, but it can not deal with large designs due to the limited capacity of BDD and SAT/SMT. Cut-points technique is used with symbolic s...

    Jian Hu, Guanwu Wang, Guilin Chen, Yun Kang in Communications, Signal Processing, and Sys… (2020)