Enhancing Behavioral-Level Design Flows with Statistical Power Estimation Capabilities (Extended Version of PATMOS 2003 Paper)