Sept. 19, 2002
Workshop on
Boolean Problems
Partial Encoding (Value Reducing)
•R2 is a wire, a cube, or a given function
•e.g. a library
element (technology mapping)
•Transformation
is accepted if
Øélog2 |v2|ù + élog2 |v1|ù £ élog2 |v|ù or
Ø|v2|+
|v1|£ |v|
R
X
v
R1
R2
X
v1
v2
partial
encoding