Design automation of digital circuits for partially depleted SOI-technology | IEEE Conference Publication | IEEE Xplore