How synthesis turns code into circuits | Zoonk