Writing a (signal level) micro-controller simulator
As @Elliot Alderson pointed out the comment below maybe i need to investigate IBIS models and try to implement that as proper way to acheive the mapping between the two different formulations.