I thought that if you have some idea about how hardware works, it is kind of more or less obvious whether something is synthesizable or not.