COSI: A Framework for the Design of Interconnection Networks
Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design