Text this: Synthesis of combinational circuits by means of bi-decomposition of Boolean functions