ATPG based functional test for data paths: application to a floating point unit | IEEE Conference Publication | IEEE Xplore