The role of model-level transactors and UML in functional prototyping of systems-on-chip: a software-radio application | IEEE Conference Publication | IEEE Xplore