Estimating worst-case power consumption of CMOS circuits modeled as symbolic neural networks | IEEE Conference Publication | IEEE Xplore