Electronic system level design : an open-source approach (2011)