Enabling system-level modeling of variation-induced faults in networks-on-chips