AutoSteve: electrical design analysis | IET Conference Publication | IEEE Xplore