A case study in design space exploration: the Tosca environment applied to a telecommunication link controller | IEEE Journals & Magazine | IEEE Xplore