An improved register-transfer level functional partitioning approach for testability | IEEE Conference Publication | IEEE Xplore