https://alandroidnet.com/related/binary decision diagram in vlsi