DESB, a functional abstractor for CMOS VLSI circuits | IEEE Conference Publication | IEEE Xplore