CRATUS is a static low power verification and validation tool. It could checks 20+ various design problems, from power leakages to basic circuit integrity, which could accept Spice/Spectre/Verilog netlists of either the blocks level or SOC top level.
METIS
METIS is a semi-static, accurate function analysis/simulation tool for power verification and validation.
ICEE Solutions LLC provides timely support to accommodate various design styles and requests.
ICEE Solutions LLC provides short term services to save customers' budgets or meet tight design schedules.