A comparative study of modelling at different levels of abstraction in system on chip designs: a case study | IEEE Conference Publication | IEEE Xplore