Implicit functionality and multiple branch coverage (IFMB): a testability metric for RT-level | IEEE Conference Publication | IEEE Xplore