Skip to main content

1 Result(s)

within Chapter Remove this filter Guanwu Wang Remove this filter Communications Engineering, Networks Remove this filter

and

  1. 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)