Hazard-non Increasing Transformations
20/4/2014
CE-653 - Indicating Logic
60
}Set of transformations that preserve MBN:
}De Morgan’s laws.
}Dual global and global flow.
}Tree decomposition.
}Gate replication.
}Collapsing.
}Kernel-factoring.
}Cube-factoring.
}
fu3anhma[1]
Global flow (p411 De’Micheli): collect information about circuit using data-flow style analysis and optimize circuit using gathered information.
Tree decomposition (p522 De’Micheli): library binding problem. Beginning with a circuit tree, determine the best matches (area, delay) for locally routed subtrees.
Kernel Factoring (p365 De’Micheli): kernel is a cube-free quotient of the expression divided by a cube (called the co-kernel).