Our Transformation Into ITEs

• We don't do simple pattern substitutions

• We have adapted logic circuit analysis and minimization technology to optimize bit-serial nanocontroller programs

• Thus far, 4 M.S. worth of work on this

• Our techniques primarily extend those of Bryant and Karplus involving normalization of Binary Decision Diagrams (BDDs)...