Documents similaires: Contribution to system-level design and verification of low-power digital systems