Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips Using ArchOn Framework | IEEE Conference Publication | IEEE Xplore