CACTUS: a symbolic CMOS two-dimensional compactor | IEEE Conference Publication | IEEE Xplore