Design and verification methodologies for Smart Battery Cells | IEEE Conference Publication | IEEE Xplore