Mining global constraints for improving bounded sequential equivalence checking

Weixin Wu, Hsiao, M.S.

2006 43rd ACM/IEEE Design Automation Conference Design Automation Conference Design Automation Conference, 2006 43rd ACM/IEEE. :743-748 2006

Saved in:

Bibliographic Details
Title	Mining global constraints for improving bounded sequential equivalence checking
Authors	Weixin Wu, Hsiao, M.S.
Source	2006 43rd ACM/IEEE Design Automation Conference Design Automation Conference Design Automation Conference, 2006 43rd ACM/IEEE. :743-748 2006

Get it