Sciweavers

DAC
2000
ACM

Optimizing sequential verification by retiming transformations

14 years 3 months ago
Optimizing sequential verification by retiming transformations
Gianpiero Cabodi, Stefano Quer, Fabio Somenzi
Added 01 Aug 2010
Updated 01 Aug 2010
Type Conference
Year 2000
Where DAC
Authors Gianpiero Cabodi, Stefano Quer, Fabio Somenzi
Comments (0)