is there any software for linux which can load hex file of microcontroller and perform simulation? this can be done on proteous in windows. i know bit about geda and don't know whether it can do this thing or not.