Sciweavers

2 search results - page 1 / 1
» Mining Global Constraints With Domain Knowledge for Improvin...
Sort
View
165
Voted
DAC
2006
ACM
16 years 10 days 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