ICCD '05 Proceedings of the 2005 International Conference on Computer Design
Mining global constraints for improving bounded sequential equivalence checking
Proceedings of the 43rd annual Design Automation Conference
Hi-index | 0.00 |
During the past years, due to the decrease of the minimum feature size in CMOS technology, the on-chip clock frequencies have increased dramatically ranging into the GHz domain.This increase has also pushed the need for higher data-transfer rates between ...