We introduce a scheme to simplify a multi-valued network using redundancy removal techniques. Recent methods [1], [2] for binary redundancy removal avoid the use of state traversal. Additionally, [2] finds multiple compatible redundancies simultaneously. We extend these powerful advances in the field ofbinary redundancy removal to perform redundancy removal for multi-valued networks. First we perform a one-hot encoding of all the multi-valued variables of the design. Multi-valued variables are written out as binary variables, using this one-hot encoding. At the end of this step, we have a binary network which is equivalent to the multi-valued network modulo encoding. Next, binary redundancy removal is invoked on the resulting network. In case a binary signal Siis determined to be stuck-at-0 redundant, this means that the multi-valued signal s can never take on a value i. Further, if the binary signal Si is determined to be stuck-at-1 redundant, this means that the multi-valued signal s takes on a constant value i. All redundant binary signals are recorded in a file. The original multi-valued network is modified based on the binary redundancies thus computed. *CAD Research Group, Department of Electrical Engineering and Computer Sciences, University of Califomia, Berkeley, CA 94720. This research was funded under the Semiconductor Research Corporation Grant SRC-324-040. Initial experiments using this technique show a10-20% reduction in the size of the multi-valued description.
分享
引用
