AMIQ -
Anaglobe -
ARM -
Onespin -
Magwel -
PowerBaum -
Solido -
Sonics -
Cast -
PowerBaum
PowerBaum automatically generates fast yet very accurate power models, which plug easily into various 3rd party RTL or ESL simulators. PowerBaum enables system-level power analysis for an entire SoC with a variety of scenarios, which is impossible with other solutions in the market.