added bootstrap_a and synthesis.hdlist