Multi-valued don’t cares

Functional Semantics
(MV-Network)

Network of MV-nodes

Each variable xn has its own range
{0, 1,…, |pn|-1}

Values are treated uniformly

MV-literal: x{0,2}

MV-cube: x{0,2}z{0,1}

MV-relation at each node (can be non-deterministic)

0-set: F{0} = u{0} v{0} + u{0} v{1} w{0,1}

F(u,v,w): {0,1} x {0,1,2} x {0,1,2} ®{0,1,2}

2-set: F{2} = u{1} v{1,2} + u{1} v{0} w{1,2}

1-set: F{1} = <default>

Each output value is called an i-set

Latch


	1.Synchronous hardware computation model;
	2.Boolean algebra; however, it can be easily converted into a multi-valued algebra by imposing a priority ordering among the different values.
		1.Literal: Boolean function and evaluates to 1 if the variable takes on value 0, or 2;
		2.Cube: Boolean product of a set of literals and evaluates to 1 if all literals evaluate to 1.
	3.SOP and MDD