will do for each circuit 2 forsyde descriptions: one high-level, and the other to be synthesized