Comments on: Formal Verification Of Power-Aware Designs Making Semiconductor Architectures More Efficient Feed: http://chipdesignmag.com/lpd/blog/2013/05/09/formal-verification-of-power-aware-designs/feed/
