BDDs are extensively used in CAD software to synthesize circuits (logic synthesis) and in formal verification.
Every arbitrary BDD (even if it is not reduced or ordered) can be directly implemented in hardware by replacing each node with a 2 to 1 multiplexer; each multiplexer can be directly implemented by a 4-LUT in a FPGA.