Sciweavers

ASPDAC
2006
ACM
114views Hardware» more  ASPDAC 2006»
13 years 9 months ago
High level equivalence symmetric input identification
Symmetric input identification is an important technique in logic synthesis. Previous approaches deal with this problem by building BDDs and developing algorithms to determine symm...
Ming-Hong Su, Chun-Yao Wang