Due to the high density and the low consumption power in the digital integrated circuits, mostly technology of CMOS is used. During the past times, the Metal oxide silicon field effect transistors (MOSFET) had been used for the design and implementation of the digital integrated circuits because they are compact and also they have the less consumption power and delay to the other transistors. B...

Due to the high density and the low consumption power in the digital integrated circuits, mostly technology of CMOS is used. During the past times, the Metal oxide silicon field effect transistors (MOSFET) had been used for the design and implementation of the digital integrated circuits because they are compact and also they have the less consumption power and delay to the other transistors. B...

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 of binary redundancy removal to perform redundancy removal for multi-valued networks. First we ...

In this paper the concept of Zamfirescu single-valued maps is extend to multi-valued maps and then we study the fixed point properties. We show that the multi-valued Zamfirescu mapping has an iteration which converges to a fixed point and give a rate of convergence. Data dependence problems on multi-valued Zamfirescu mapping are studied.

Multi-Valued Symbolic Model-Checking: Fairness, Counter-Examples, Running Time Arie Gurfinkel Master of Science Graduate Department of Computer Science University of Toronto 2003 Multi-valued model-checking is an effective technique for reasoning about systems with incomplete or inconsistent information. In particular, it is well suited for reasoning about abstract, partial, and feature-based s...

Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dynamic properties of systems where complete, agreed upon models of the system are not available. In this paper, we present an implementation of a symbolic model checker for multi-valued temporal logics. The model checker...

Cellular neural networks (CNNs) are one type of interconnected neural network and differ from the well-known Hopfield model in that each cell has a piecewise linear output function. In this paper, we present a multi-valued CNN model in which each nonlinear element consists of a multi-valued output function. The function is defined by a linear combination of piecewise linear functions. We conduc...