Sciweavers

Share
2 search results - page 1 / 1
» Mining global constraints for improving bounded sequential e...
Sort
View
DAC
2006
ACM
10 years 5 months ago
Mining global constraints for improving bounded sequential equivalence checking
In this paper, we propose a novel technique on mining relationships in a sequential circuit to discover global constraints. In contrast to the traditional learning methods, our mi...
Weixin Wu, Michael S. Hsiao
books