still struggling to grasp the full end to end process for an example such as https://github.com/efabless/clear/blob/main/firmware/and_gate_LA/and_gate_LA.c. I gathered that the bitstream is a generated header and there is a process to generate that header. I am getting there, but still don't have it.