compilation/elaboration/simulation