Search Sciweavers | Sciweavers

2 search results - page 1 / 1

» Mining global constraints for improving bounded sequential e...

click to vote

DAC
2006
ACM

120views Computer Architecture» more DAC 2006»

Mining global constraints for improving bounded sequential equivalence checking

14 years 1 months ago

Download www.eecs.umich.edu

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

claim paper

Read More »

click to vote

TCAD
2008

66views more TCAD 2008»

Mining Global Constraints With Domain Knowledge for Improving Bounded Sequential Equivalence Checking

13 years 7 months ago

Download www.cesca.centers.vt.edu

Weixin Wu, Michael S. Hsiao

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers