Automatic generation of symbolic cells from a net-list description | IEEE Conference Publication | IEEE Xplore