related documents Approximation and decomposition of binary decision diagrams Conference Proceeding In-place power optimization for LUT-based FPGAs Conference Proceeding