DMCA

Optimizing Sequential Verification by Retiming Transformations (2000)

Cached

Download Links

by Gianpiero Cabodi , Stefano Quer , Fabio Somenzi
Venue:in Proceedings of the 37th ACM/IEEE Design Automation Conference, (Los Angeles
Citations:15 - 0 self