Modeling combinational logic for synthesis