Power estimation of behavioral descriptions