Page
%P
![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
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...
-
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...