I want to multiply the number $(9)_{10} \rightarrow (1001)_{2}$ by a 3 digit binary number.
1) How I can extract the boolean equations?
2) Make a circuit of it.
so what I did is just see what happen if I multiply it, for example:
$$(1001)_{2}* (A_{1}B_{1}C_{1})_{2}$$
$$A_{1}*1 A_{1}*0 A_{1}*0 A_{1}*0$$
$$B_{1}*1 B_{1}*0 B_{1}*0 B_{1}*0$$
$$C_{1}*1 C_{1}*0 C_{1}*0 C_{1}*0$$
after I do that I need to sum them. so what I choose to user Ripple Carry Adder for that:

I would like to get some comments if its ok or I need to do it in another way.
thanks!