1. A method comprising: identifying a plurality of dependent multiplexers present in a circuit design; forming at least one multiplexer cluster from the plurality of dependent multiplexers; forming a binary decision diagram stored in a data structure, wherein the binary decision diagram includes a plurality of nodes and represents the at least one multiplexer cluster; arranging a location of at least one of the plurality of nodes in the binary decision diagram according to information corresponding to a multiplexer selector; transforming the binary decision diagram into a binary decision-directed acyclic hybrid diagram; and mapping the hybrid diagram to at least one circuit design element; wherein forming a binary decision diagram further comprises: forming a reduced ordered binary decision diagram for providing the hybrid diagram; determining whether multiple fanouts are present in the hybrid diagram; and cutting the hybrid diagram at fanout points responsive to presence of the multiple fanouts therein to form multiple hybrid diagrams that are less complex than the hybrid diagram.