A new functional fault model for system-level descriptions | IEEE Conference Publication | IEEE Xplore